A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems

We introduce a platform-based design methodology that uses contracts to specifyand abstract the components of a cyber-physical system (CPS), and provide formalsupport to the entire CPS design flow.The design is carried out as a sequence of refinement steps from a high-levelspecification to an implementation built out of a library of components at thelower level.We review formalisms and tools that can be used to specify, analyze orsynthesize the design at different levels of abstractions.For each level, we highlight how the contract operations can be concretelycomputed as well as the research challenges that should be faced to fullyimplement them