Abstract
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. © 2008 Springer Berlin Heidelberg.
Cite
CITATION STYLE
Sha, L., & Meseguer, J. (2008). Design of complex cyber physical systems with formalized architectural patterns. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5380 LNCS, pp. 92–100). Springer Verlag. https://doi.org/10.1007/978-3-540-89437-7_5
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
