Exploration of the Cyber-Physical Design Space

Abstract:

The overall objective of this project is to create a general CPS design-science that makes design of every CPS simpler, faster and more dependable, while at the same time reducing the cost and the required expertise level. In order to master this challenge, we address four fundamental and closely related issues:

Challenge 1: A unified theory (design-science) for CPSs must be invented that will allow specification, modeling, design and optimization, and verification of a CPS on different levels of design abstraction.

Challenge 2: A design methodology for CPS is required that builds on the above unified theory. The design methodology is expressed as a sequence of necessary and sufficient models, design decisions, and tools that systematically lead from a specification to the design of the final product.

Challenge 3: A fundamental change in the target platform is required in order to overcome major issues in current platforms for implementation of embedded computing systems.

Challenge 4: A new strategy and technology for CPS education in academia and industry is needed. The combination of necessary knowledge and educational programs for CPS design does not exist in academia or industry. There is an urgent need for abstracting and integrating CPS knowledge for efficient CPS design.