Section: New Results

Formal Model-Based, Platform-Based System Engineering for CPS heterogeneous systems

Participants : Julien Deantoni, Robert de Simone, Frédéric Mallet, Marie-Agnès Peraldi-Frati, Ales Mishchenko.

The proper inclusion of our models and techniques into a realistic or proto-industrial design flow is a topic of discussion with partners, which brings back a number of fundamental issues about the nature of modeling itself, specially to allow and promote further analysis. The modeling of execution platforms, which may seem primarily architectural, is itself in fact subject to combined physical model interplay with functionality (as in power consumption and heat dissipation in processors); Internet of Things and industrial embedded systems are new specific focuses for us here. In this context we have been concentrating in the course of the PIA Clarity project (see 7.1) on the CAPELLA system engineering language, and its multi-view aspects; in the new IRT Saint-Exupery ATIPPIC collaboration we intend to focus on a realistic-scale use-case modeled with CAPELLA and proper formal annotations for the design of micro-satellite systems with COTS processor architectures.