Model driven code generation for critical and adaptative embedded systems
Étienne Borde, Peter H. Feiler, Grégory Haïk, Laurent Pautet · ACM SIGBED Review · 2009
Implementing adaptative systems requires to make the trade off of (i) the adaptation promptness, (ii) the amount of interferences due to adaptation, and (iii) the guarantee of data ows consistency. Furthermore, implementing critical systems requires to respect design constraints that enable to improve its determinism. In this paper, we propose a design methodology that helps to make the adaptation trade off while respecting the critical systems design specificities. We then illustrate the usage of this methodology on an industrial use-case, using a component-based framework that generates the adaptation code. Lastly, we present and discuss the associated experimental results, and show the relative benefits of using the one or the other mode switch protocol.