Contract-Based Virtual Integration and CPS Analyses

Models and analyses are heavily and routinely used during the development of today’s cyber-physical systems (CPS). This trend is expected to strengthen. Models enable the creation of a design-time description of a CPS before any of the parts are physically built. This also allows different groups to create parts of the model independently to be integrated into the full model at a later time. Analyses enable verifying (and modifying) the models at design time to guarantee important quality attributes, such as control stability, schedulability, power consumption, safety and security [Astrom 2011, Buttazzo 2011, Klein 1994, Dagle 2012, Moreno 2012, Tang 2008, de Niz 2011, Nam 2011]