MBSE Colloquium: Albert Benveniste, INRIA-IRISA
Monday, November 7, 2016
1146 AV Williams Building
Physical Model-Based Design
For Cyber Physical Systems having a strong "physics" aspect, Physical Model Based Design is the natural paradigm. In the first part of my presentation I will develop how different aspects of systems design -- e.g., requirement capture, safety analysis, monitoring and diagnosis -- can be tightly linked to physical modeling, from a semantic point of view. To handle physical models as components for assembly and reuse, component-based physical modeling paradigms must be used. Such modeling paradigms rely on Differential Algebraic Equations (DAE), not ODE; the most popular representative is Modelica. In the second part of my presentation I shall discuss difficulties related to the compilation of models in this class, mathematically characterized as multi-mode DAE systems. I will review some difficulties encountered in existing tools and provide a sound approach to this compilation. Our approach builds on top of the backgrounds of synchronous languages and nonstandard analysis.
Authors: Albert Benveniste, INRIA emeritus; joint work with Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, and Marc Pouzet.
Learn more about Dr. Benveniste at his website: people.rennes.inria.fr/Albert.Benveniste/