Skip to Main content Skip to Navigation
Conference papers

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

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

https://hal.inria.fr/hal-00753526
Contributor : Alain Girault <>
Submitted on : Monday, November 19, 2012 - 12:20:26 PM
Last modification on : Tuesday, February 9, 2021 - 3:24:16 PM
Long-term archiving on: : Thursday, February 21, 2013 - 11:25:23 AM

File

icess09-final.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

761

Files downloads

1355