TY - GEN
T1 - Mode-based reconfiguration of critical software component architectures
AU - Borde, Etienne
AU - Haïk, Grégory
AU - Pautet, Laurent
PY - 2009/1/1
Y1 - 2009/1/1
N2 - Designing reconfigurable yet critical embedded and complex systems (i.e. systems composed of different subsystems) requires making these systems adaptable while guaranteeing that they operate with respect to predefined safety properties. When it comes to complex systems, component-based software engineering methods provide solutions to master this complexity ("divide to conquer"). In addition, architecture description languages provide solutions to design and analyze critical and reconfigurable embedded systems. In this paper we propose a methodology that combines the benefits of these two approaches by leaning on both AADL and Lightweigth CCM standards. This methodology is materialized through a complete design process and an associated framework, MyCCM-HI, dedicated to designing reconfigurable, critical, and complex embedded systems.1
AB - Designing reconfigurable yet critical embedded and complex systems (i.e. systems composed of different subsystems) requires making these systems adaptable while guaranteeing that they operate with respect to predefined safety properties. When it comes to complex systems, component-based software engineering methods provide solutions to master this complexity ("divide to conquer"). In addition, architecture description languages provide solutions to design and analyze critical and reconfigurable embedded systems. In this paper we propose a methodology that combines the benefits of these two approaches by leaning on both AADL and Lightweigth CCM standards. This methodology is materialized through a complete design process and an associated framework, MyCCM-HI, dedicated to designing reconfigurable, critical, and complex embedded systems.1
U2 - 10.1109/date.2009.5090838
DO - 10.1109/date.2009.5090838
M3 - Conference contribution
AN - SCOPUS:70350075812
SN - 9783981080155
T3 - Proceedings -Design, Automation and Test in Europe, DATE
SP - 1160
EP - 1165
BT - Proceedings - 2009 Design, Automation and Test in Europe Conference and Exhibition, DATE '09
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2009 Design, Automation and Test in Europe Conference and Exhibition, DATE '09
Y2 - 20 April 2009 through 24 April 2009
ER -