research-article

Mode-based reconfiguration of critical software component architectures

Authors:

Etienne Borde,

Grégory Haïk,

Laurent PautetAuthors Info & Claims

DATE '09: Proceedings of the Conference on Design, Automation and Test in Europe

Pages 1160 - 1165

Published: 20 April 2009 Publication History

Get Access

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.

References

[1]

L. Apvrille, P. de Saqui-Sannes, P. Sénac, and C. Lohr. Verifying service continuity in a dynamic reconfiguration procedure: Application to a satellite system. Software Engineering, Vol. 11, No. 2, April 2004.

Digital Library

Google Scholar

[2]

H. Balp, E. Borde, G. Haïk, and J.-F. Tilman. Automatic composition of aadl models for the verification of critical component-based embedded systems. 13th IEEE International Conference on Engineering of Complex Computer Systems, April 2008.

Digital Library

Google Scholar

[3]

D. Bertrand, A.-M. Déplanche, S. Faucou, and O.-H. Roux. A study of the aadl mode change protocol. 13th IEEE International Conference on Engineering of Complex Computer Systems, April 2008.

Digital Library

Google Scholar

[4]

E. Borde, G. Haïk, V. Watine, and L. Pautet. Really hard time developing hard real time. National Workshop on Control Architectures of Robots, 2007.

Google Scholar

[5]

G. Grondin, N. Bouraqadi, and L. Vercouter. Assemblage automatique de composants pour la construction dagents avec madcar. 2e Journe Multi-Agent et Composant (JMAC06), March 2006.

Google Scholar

[6]

O. M. Group. Light weight corba component model revised submission. OMG Document realtime/03-05-05 edn, May 2003.

Google Scholar

[7]

J. Kramer and J. Magee. The evolving philosophers' problem: Dynamic change management. IEEE Transactions on Software Engineering, November 1990.

Digital Library

Google Scholar

[8]

J. Polakovic, A.-E. Ozcan, and J.-B. Stefani. Building reconfigurable component-based os with think. Software Engineering and Advanced Applications. 32nd EUROMICRO Conference, August 2006.

Digital Library

Google Scholar

[9]

J. Real and A. Crespo. Mode change protocols for real-time systems: A survey and a new protocol. Real-time systems 26(2), 2004.

Digital Library

Google Scholar

[10]

J.-F. Rolland, J.-P. Bodeveix, M. Filali, D. Chemouil, and D. Thomas. Modes in asynchronous systems. 13th IEEE International Conference on Engineering of Complex Computer Systems, April 2008.

Digital Library

Google Scholar

[11]

SAE. Architecture analysis and design language. Technical Report SAE AS5506, SAE, 2004.

Google Scholar

[12]

F. Singhoff, J. Legrand, L. Nana, and L. Marcé. Scheduling and memory requirements analysis with aadl. Proceedings of the 2005 annual ACM SIGAda international conference on Ada, November 2005.

Digital Library

Google Scholar

[13]

U. Brinkschulte, E. Schneider, and F. Picioroaga. Dynamic real-time reconfiguration in distributed systems: Timming issues and solutions. International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 05), May 2005.

Digital Library

Google Scholar

[14]

B. Zalila, L. Pautet, and J. Hugues. Towards automatic middleware generation. 11th IEEE International Conference on Object-oriented Realtime distributed Computing (ISORC'08), May 2008.

Digital Library

Google Scholar

Cited By

View all

Cheng BClark RFleck JLangford MMcKinley PSyriani ESahraoui H(2020)AC-ROSProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3365438.3410952(102-113)Online publication date: 16-Oct-2020
https://dl.acm.org/doi/10.1145/3365438.3410952
Bures THnetynka PPlasil FSeinturier LAlmeida ECarlson J(2014)Strengthening architectures of smart CPS by modeling them as runtime product-linesProceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering10.1145/2602458.2602478(91-96)Online publication date: 27-Jun-2014
https://dl.acm.org/doi/10.1145/2602458.2602478
Yin HQin HCarlson JHansson HKruchten PGiannakopoulou DTivoli M(2013)Mode switch handling for the ProCom component modelProceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering10.1145/2465449.2465451(13-22)Online publication date: 17-Jun-2013
https://dl.acm.org/doi/10.1145/2465449.2465451
Show More Cited By

Recommendations

Dynamic reconfiguration of software architectures through aspects
ECSA'07: Proceedings of the First European conference on Software Architecture

Currently, most software systems have a dynamic nature and evolve at run-time. The dynamic reconfiguration of software architectures has to be supported in order to enable their architectural element instances and their links to be created and destroyed ...
Dynamic Reconfiguration of Component-based Real-time Software
WORDS '05: Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems

Increasing capabilities of modern microcontrollers greatly increase their applicability to more and more complex scenarios. However, unstable and ever-changing environmental settings require embedded systems permanently to adapt to new situations. ...
Component-Based Hardware/Software Co-Simulation
DSD '07: Proceedings of the 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools

Developing highly efficient and reliable embedded systems demands hardware/software (HW/SW) co-design and, therefore, co-simulation. In order to be highly configurable, embedded systems are increasingly component-based in both hardware and software. In ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

DATE '09: Proceedings of the Conference on Design, Automation and Test in Europe

April 2009

1776 pages

ISBN:9783981080155

General Chairs:
Luca Benini
University of Bologna, IT
,
Giovanni De Micheli
EPFL, CH
,
Program Chairs:
Bashir Al-Hashimi
University of Southampton, UK
,
Wolfgang Mueller
University of Paderborn, DE

Publisher

European Design and Automation Association

Leuven, Belgium

Publication History

Published: 20 April 2009

Check for updates

Qualifiers

Research-article

Conference

DATE '09

Sponsor:

EDAA
EDAC
SIGDA
The Russian Academy of Sciences

DATE '09: Design, Automation and Test in Europe

April 20 - 24, 2009

Nice, France

Acceptance Rates

Overall Acceptance Rate 518 of 1,794 submissions, 29%

Upcoming Conference

DATE '25

Sponsor:
sigda

Design, Automation and Test in Europe

March 31 - April 2, 2025

Lyon , France

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
87
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 18 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Cheng BClark RFleck JLangford MMcKinley PSyriani ESahraoui H(2020)AC-ROSProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3365438.3410952(102-113)Online publication date: 16-Oct-2020
https://dl.acm.org/doi/10.1145/3365438.3410952
Bures THnetynka PPlasil FSeinturier LAlmeida ECarlson J(2014)Strengthening architectures of smart CPS by modeling them as runtime product-linesProceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering10.1145/2602458.2602478(91-96)Online publication date: 27-Jun-2014
https://dl.acm.org/doi/10.1145/2602458.2602478
Yin HQin HCarlson JHansson HKruchten PGiannakopoulou DTivoli M(2013)Mode switch handling for the ProCom component modelProceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering10.1145/2465449.2465451(13-22)Online publication date: 17-Jun-2013
https://dl.acm.org/doi/10.1145/2465449.2465451
Yin HCarlson JHansson HGrassi VMirandola RMedvidovic NLarsson M(2012)Towards mode switch handling in component-based multi-mode systemsProceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering10.1145/2304736.2304766(183-188)Online publication date: 25-Jun-2012
https://dl.acm.org/doi/10.1145/2304736.2304766
Pop TPlasil FOutly MMalohlava MBures TGrassi VMirandola RMedvidovic NLarsson M(2012)Property networks allowing oracle-based mode-change propagation in hierarchical componentsProceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering10.1145/2304736.2304753(93-102)Online publication date: 25-Jun-2012
https://dl.acm.org/doi/10.1145/2304736.2304753
Hang YHansson H(2011)Timing analysis for a composable mode switchACM SIGBED Review10.1145/2038617.20386208:3(15-18)Online publication date: 1-Sep-2011
https://dl.acm.org/doi/10.1145/2038617.2038620
Navas JBabau JPulou J(2010)A component-based run-time evolution infrastructure for resource-constrained embedded systemsACM SIGPLAN Notices10.1145/1942788.186830646:2(73-82)Online publication date: 10-Oct-2010
https://dl.acm.org/doi/10.1145/1942788.1868306
Navas JBabau JPulou JVisser EJärvi J(2010)A component-based run-time evolution infrastructure for resource-constrained embedded systemsProceedings of the ninth international conference on Generative programming and component engineering10.1145/1868294.1868306(73-82)Online publication date: 10-Oct-2010
https://dl.acm.org/doi/10.1145/1868294.1868306
Borde EFeiler PHaïk GPautet L(2009)Model driven code generation for critical and adaptative embedded systemsACM SIGBED Review10.1145/1851340.18513526:3(1-5)Online publication date: 1-Oct-2009
https://dl.acm.org/doi/10.1145/1851340.1851352

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Dynamic reconfiguration of software architectures through aspects

Dynamic Reconfiguration of Component-based Real-time Software

Component-Based Hardware/Software Co-Simulation