TY - GEN
T1 - Design of complex cyber physical systems with formalized architectural patterns
AU - Sha, Lui
AU - Meseguer, José
PY - 2008
Y1 - 2008
N2 - The design of cyber physical systems (CPS) presents many challenges because of their complexity, strong safety requirements, distribution, and real-time nature. We propose a novel paradigm, based on the idea of using simplicity to control complexity, to achieve highly reliable CPS designs. The goal is to embody design rules of this complexity-control nature in highly reusable, very robust, and formally verified architectural patterns. We discuss some preliminary work and experiments illustrating how this can be done for CPS systems.
AB - The design of cyber physical systems (CPS) presents many challenges because of their complexity, strong safety requirements, distribution, and real-time nature. We propose a novel paradigm, based on the idea of using simplicity to control complexity, to achieve highly reliable CPS designs. The goal is to embody design rules of this complexity-control nature in highly reusable, very robust, and formally verified architectural patterns. We discuss some preliminary work and experiments illustrating how this can be done for CPS systems.
UR - http://www.scopus.com/inward/record.url?scp=58049133301&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=58049133301&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-89437-7_5
DO - 10.1007/978-3-540-89437-7_5
M3 - Conference contribution
AN - SCOPUS:58049133301
SN - 3540894365
SN - 9783540894360
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 92
EP - 100
BT - Software-Intensive Systems and New Computing Paradigms
PB - Springer
ER -