|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
2012 IEEE 17th International Conference on Engineering of Complex Computer Systems
Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models
Paris, France France
July 18-July 20
ISBN: 978-1-4673-2156-3
| ASCII Text | x | ||
| Fabien Cadoret, Etienne Borde, Sebastien Gardoll, Laurent Pautet, "Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 67-76, 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, 2012. | |||
| BibTex | x | ||
| @article{ 10.1109/ICECCS.2012.15, author = {Fabien Cadoret and Etienne Borde and Sebastien Gardoll and Laurent Pautet}, title = {Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models}, journal ={Engineering of Complex Computer Systems, IEEE International Conference on}, volume = {0}, year = {2012}, isbn = {978-1-4673-2156-3}, pages = {67-76}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.15}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Engineering of Complex Computer Systems, IEEE International Conference on TI - Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models SN - 978-1-4673-2156-3 SP67 EP76 A1 - Fabien Cadoret, A1 - Etienne Borde, A1 - Sebastien Gardoll, A1 - Laurent Pautet, PY - 2012 KW - Adaptation models KW - Analytical models KW - Middleware KW - Safety KW - Object oriented modeling KW - Optimization KW - DSL KW - safety critical embedded systems KW - MDA KW - rule-based model transformation KW - design patterns VL - 0 JA - Engineering of Complex Computer Systems, IEEE International Conference on ER - | |||
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.
Index Terms:
Adaptation models,Analytical models,Middleware,Safety,Object oriented modeling,Optimization,DSL,safety critical embedded systems,MDA,rule-based model transformation,design patterns
Citation:
Fabien Cadoret, Etienne Borde, Sebastien Gardoll, Laurent Pautet, "Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models," iceccs, pp.67-76, 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, 2012
Usage of this product signifies your acceptance of the Terms of Use.
