TY - GEN
T1 - Design and development methodology for resilient cyber-physical systems
AU - Woo, Honguk
AU - Yi, Jianliang
AU - Browne, James C.
AU - Mok, Aloysius K.
AU - Atkins, Ella
AU - Xie, Fei
PY - 2008
Y1 - 2008
N2 - Mission-critical cyber-physical systems must be resilient to all classes of failures, both hardware and software components. Failures affecting a system's ability to accurately control its physical actions are of special concern, requiring a meta-level monitoring and reaction ability to enable high-performance nominal and safe post-failure operation. This paper addresses these challenges by unifying formal software engineering with a suite of feedback control laws and efficient resource monitoring within a comprehensive design and development methodology.
AB - Mission-critical cyber-physical systems must be resilient to all classes of failures, both hardware and software components. Failures affecting a system's ability to accurately control its physical actions are of special concern, requiring a meta-level monitoring and reaction ability to enable high-performance nominal and safe post-failure operation. This paper addresses these challenges by unifying formal software engineering with a suite of feedback control laws and efficient resource monitoring within a comprehensive design and development methodology.
UR - https://www.scopus.com/pages/publications/51849152398
U2 - 10.1109/ICDCS.Workshops.2008.62
DO - 10.1109/ICDCS.Workshops.2008.62
M3 - Conference contribution
AN - SCOPUS:51849152398
SN - 9780769531731
T3 - Proceedings - International Conference on Distributed Computing Systems
SP - 525
EP - 528
BT - Proceedings - The 28th International Conference on Distributed Computing Systems Workshops, ICDCS Workshops 2008
T2 - 28th International Conference on Distributed Computing Systems Workshops, ICDCS Workshops 2008
Y2 - 17 June 2008 through 20 June 2008
ER -