Abstract-Model-based design is a powerful design technique for cyber-physical systems, but too often literature assumes knowledge of a methodology without reference to an explicit design process, instead focusing on isolated steps such as simulation, software synthesis, or verification. We combine these steps into an explicit and holistic methodology for model-based design of cyber-physical systems from abstraction to architecture, and from concept to realization. We decompose model-based design into ten fundamental steps, describe and evaluate an iterative design methodology, and evaluate this methodology in the development of a cyber-physical system.
In REF , a general model-based design methodology for CPSs was proposed.
A model-based design methodology for cyber-physical systems
2011 7th International Wireless Communications and Mobile Computing Conference
2011 7th International Wireless Communications and Mobile Computing Conference
Computer Science