TY - GEN
T1 - Design patterns for rule-based refinement of safety critical embedded systems models
AU - Cadoret, Fabien
AU - Borde, Etienne
AU - Gardoll, Sebastien
AU - Pautet, Laurent
PY - 2012/1/1
Y1 - 2012/1/1
N2 - Safety critical embedded systems must be verified and optimized. Their production process, which includes both automatic code generation and middleware implementation, depends on the the target execution platform and must be adapted accordingly. In such a context, Model Driven Architecture provides several approaches to transform user models into programming code but these solutions lack of flexibility to address simultaneously the three issues of verification, optimization and adaptation. To overcome this limitation, we propose a method to structure the production process with design patterns for model transformations. Our approach allows to adapt the workflow of rule-based refinements according to the user input models, the targeted execution platform, and the analysis performed on intermediate transformed models.
AB - Safety critical embedded systems must be verified and optimized. Their production process, which includes both automatic code generation and middleware implementation, depends on the the target execution platform and must be adapted accordingly. In such a context, Model Driven Architecture provides several approaches to transform user models into programming code but these solutions lack of flexibility to address simultaneously the three issues of verification, optimization and adaptation. To overcome this limitation, we propose a method to structure the production process with design patterns for model transformations. Our approach allows to adapt the workflow of rule-based refinements according to the user input models, the targeted execution platform, and the analysis performed on intermediate transformed models.
KW - MDA
KW - design patterns
KW - rule-based model transformation
KW - safety critical embedded systems
U2 - 10.1109/ICECCS.2012.15
DO - 10.1109/ICECCS.2012.15
M3 - Conference contribution
AN - SCOPUS:84867941056
SN - 9782954181004
T3 - Proceedings - 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, ICECCS 2012
SP - 67
EP - 76
BT - Proceedings - 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, ICECCS 2012
PB - IEEE Computer Society
T2 - 17th International Conference on Engineering of Complex Computer Systems, ICECCS 2012
Y2 - 18 July 2012 through 20 July 2012
ER -