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.
Type de document :
Communication dans un congrès
International Conference on Embedded Systems and Software, ICESS'09, May 2009, Hangzhou, China. IEEE, pp.3--10, 2009, 〈10.1109/ICESS.2009.36〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00753526
Contributeur : Alain Girault <>
Soumis le : lundi 19 novembre 2012 - 12:20:26
Dernière modification le : vendredi 6 juillet 2018 - 10:08:02
Document(s) archivé(s) le : jeudi 21 février 2013 - 11:25:23

Fichier

icess09-final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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. IEEE, pp.3--10, 2009, 〈10.1109/ICESS.2009.36〉. 〈hal-00753526〉

Partager

Métriques

Consultations de la notice

463

Téléchargements de fichiers

514