Maintaining Node Consistency in the Face of Dynamic Change
ICCDS '96 Proceedings of the 3rd International Conference on Configurable Distributed Systems
Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal
Real-Time Systems
Towards Automatic Middleware Generation
ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
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
From AADL Architectural Models to Petri Nets: Checking Model Viability
ISORC '09 Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Mode-based reconfiguration of critical software component architectures
Proceedings of the Conference on Design, Automation and Test in Europe
Mode-automata based methodology for scade
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Towards verified synthesis of ProCom, a component model for real-time embedded systems
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
| Hi-index | 0.00 |
Implementing adaptative systems requires to make the trade off of (i) the adaptation promptness, (ii) the amount of interferences due to adaptation, and (iii) the guarantee of data ows consistency. Furthermore, implementing critical systems requires to respect design constraints that enable to improve its determinism. In this paper, we propose a design methodology that helps to make the adaptation trade off while respecting the critical systems design specificities. We then illustrate the usage of this methodology on an industrial use-case, using a component-based framework that generates the adaptation code. Lastly, we present and discuss the associated experimental results, and show the relative benefits of using the one or the other mode switch protocol.