Mode-based reconfiguration of critical software component architectures

Authors:
Etienne Borde;Grégory Haïk;Laurent Pautet
Affiliations:
THALES Land and Joint Systems, Massy cedex, France and TelecomParisTech, Paris, France;THALES Land and Joint Systems, Massy cedex, France;TelecomParisTech, Paris, France
Venue:
Proceedings of the Conference on Design, Automation and Test in Europe
Year:
2009

Citing 10
Cited 9

The Evolving Philosophers Problem: Dynamic Change Management

IEEE Transactions on Software Engineering
Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal

Real-Time Systems
Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System

Automated Software Engineering
Dynamic Real-time Reconfiguration in Distributed Systems: Timing Issues and Solutions

ISORC '05 Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Scheduling and memory requirements analysis with AADL

Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
Building Reconfigurable Component-Based OS with THINK

EUROMICRO '06 Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications
Towards Automatic Middleware Generation

ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems

ICECCS '08 Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems
Modes in Asynchronous Systems

ICECCS '08 Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems
A Study of the AADL Mode Change Protocol

ICECCS '08 Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems

Model driven code generation for critical and adaptative embedded systems

ACM SIGBED Review - Special Issue on the 2nd International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES'09)
A component-based run-time evolution infrastructure for resource-constrained embedded systems

GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Timing analysis for a composable mode switch

ACM SIGBED Review - Work-in-Progress (WiP) Session of the 23rd Euromicro Conference on Real-Time Systems (ECRTS 2011)
Property networks allowing oracle-based mode-change propagation in hierarchical components

Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Towards mode switch handling in component-based multi-mode systems

Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Mode switch handling for the ProCom component model

Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Reconciling run-time evolution and resource-constrained embedded systems through a component-based development framework

Science of Computer Programming
Mode switch timing analysis for component-based multi-mode systems

Journal of Systems Architecture: the EUROMICRO Journal
Decentralized control for dynamically reconfigurable FPGA systems

Microprocessors & Microsystems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.