Communicating sequential processes
Communicating sequential processes
Dynamic Configuration for Distributed Systems
IEEE Transactions on Software Engineering
The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Formal Framework for On-line Software Version Change
IEEE Transactions on Software Engineering
Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects
IEEE Transactions on Software Engineering
Architecture-based runtime software evolution
Proceedings of the 20th international conference on Software engineering
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Development of Veda, a Prototyping Tool for Distributed Algorithms
IEEE Transactions on Software Engineering
Using the Model Paradigm for Real-Time Systems Development: ACCORD/UML
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
UML/PNO: A Way to Merge UML and Petri Net Objects for the Analysis of Real-Time Systems
ECOOP '98 Workshop ion on Object-Oriented Technology
A New UML Profile for Real-Time System Formal Design and Validation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich
Architectural Support for Dynamic Reconfiguration of Large Scale Distributed Applications
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
Consistency in Dynamic Reconfiguration
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
A formal approach to software architecture
A formal approach to software architecture
Evolution to the programmable Internet
IEEE Communications Magazine
A survey of future broadband multimedia satellite systems, issues and trends
IEEE Communications Magazine
Satellite onboard processing for multimedia applications
IEEE Communications Magazine
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
Computer Communications
Resource management in software-programmable router operating systems
IEEE Journal on Selected Areas in Communications
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit
IEEE Transactions on Software Engineering
Mode-based reconfiguration of critical software component architectures
Proceedings of the Conference on Design, Automation and Test in Europe
Hi-index | 0.00 |
The paper discusses the use of the TURTLE UML profile to model and verify service continuity during dynamic reconfiguration of embedded software, and space-based telecommunication software in particular. TURTLE extends UML class diagrams with composition operators, and activity diagrams with temporal operators. Translating TURTLE to the formal description technique RT-LOTOS gives the profile a formal semantics and makes it possible to reuse verification techniques implemented by the RTL, the RT-LOTOS toolkit developed at LAAS-CNRS. The paper proposes a modeling and formal validation methodology based on TURTLE and RTL, and discusses its application to a payload software application in charge of an embedded packet switch. The paper demonstrates the benefits of using TURTLE to prove service continuity for dynamic reconfiguration of embedded software.