Compositional System Modeling with Interfaces (COSMOI)
Abstract:
Design of cyber-physical systems today relies on executable models. Designers develop models, simulate them, nd defects, and improve their designs before the system is built, thus greatly reducing the design costs. However, current model-based design methods lack support for model libraries (creating and exchanging models as black boxes), tool interoperability (allowing models to be co-simulated by multiple tools), and multi-view modeling (allowing to combine models that "live in different worlds", for instance, a control-logic model with an energy-consumption model). This project seeks to remedy this by developing a compositional modeling framework based on interfaces. Interfaces allow submodels to be treated as black boxes, exposing relevant information while hiding internal details. The project develops: (1) A formal and executable interface framework supporting major CPS modeling paradigms (discrete, continuous, dataow, dynamic, acausal), as well as views. (2) Techniques for automatic interface checking and synthesis. Interface checking allows to check errors similarly to type-checking in programs, but it is more powerful as interfaces are dynamic, behavioral types. Interface synthesis allows to automatically generate the interface of a model from the interfaces of its submodels. (3) A formal framework for view composition. Views in this project are models, and particularly abstractions of other models. Recent results of the project include:
- A renement calculus for reactive systems, which allows to reason about serial, parallel and feedback composition of a hierarchical block diagram language and a prototype implementation for Simulink.
- A rigorous co-simulation framework based on the FMI (Functional Mockup Interface) standard and a prototype implementation in Ptolemy.
- A formal framework for multi-view modeling which allows to formulate problems such as view consistency, and algorithms to solve such problems for the case of regular and irregular languages.