Skip to Main content Skip to Navigation
New interface
Conference papers

Model-Based Design of Embeded Control Systems by means of a Synchronous Intermediate Model

M. Alras 1, 2 Paul Caspi 2 Alain Girault 1 Pascal Raymond 2 
1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Model-based design (MBD) involves designing a model of a control system, simulating and debugging it with dedicated tools, and finally generating automatically code corresponding to this model. In the domain of embedded systems, it offers the huge advantage of avoiding the time-consuming and error-prone final coding phase. The main issue raised by MBD is the faithfulness of the generated code with respect to the initial model, the latter being defined by the simulation semantics. To bridge the gap between the high-level model and the low-level implementation, we use the synchronous programming language Lustre as an intermediate formal model. Concretely, starting from a high-level model specified in the de-facto standard Simulink, we first generate Lustre code along with some structured "glue code", and then we generate embedded real-time code for the Xenomai RTOS. Thanks to Lustre's clean mathematical semantics, we are able to guarantee the faithfulness of the generated multi-tasked real-time code.
Document type :
Conference papers
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Alain Girault Connect in order to contact the contributor
Submitted on : Monday, November 19, 2012 - 12:20:26 PM
Last modification on : Wednesday, July 6, 2022 - 4:20:22 AM
Long-term archiving on: : Thursday, February 21, 2013 - 11:25:23 AM


Files produced by the author(s)




M. Alras, Paul Caspi, Alain Girault, Pascal Raymond. Model-Based Design of Embeded Control Systems by means of a Synchronous Intermediate Model. International Conference on Embedded Systems and Software, ICESS'09, May 2009, Hangzhou, China. pp.3--10, ⟨10.1109/ICESS.2009.36⟩. ⟨hal-00753526⟩



Record views


Files downloads