TURTLE: A real-time UML profile supported by a formal validation toolkit
L Apvrille, JP Courtiat, C Lohr… - IEEE transactions on …, 2004 - ieeexplore.ieee.org
We present a UML 1.5 profile named TURTLE (Timed UML and RT-LOTOS Environment)
endowed with a formal semantics given in terms of RT-LOTOS. TURTLE relies on UML's …
endowed with a formal semantics given in terms of RT-LOTOS. TURTLE relies on UML's …
Mode-based reconfiguration of critical software component architectures
Designing reconfigurable yet critical embedded and complex systems (ie systems
composed of different subsystems) requires making these systems adaptable while …
composed of different subsystems) requires making these systems adaptable while …
Safe reconfiguration of Coqcots and Pycots components
Software systems have to face evolutions of their running context and users. Therefore, the
so-called dynamic reconfiguration has been commonly adopted for modifying some …
so-called dynamic reconfiguration has been commonly adopted for modifying some …
Cross lifecycle variability analysis: Utilizing requirements and testing artifacts
Variability analysis is an essential activity that supports increasing and systemizing reuse
across similar software products. Current studies use different types of artifacts for analyzing …
across similar software products. Current studies use different types of artifacts for analyzing …
A quantitative model-based selection of web service reconfiguration
H Gao, H Miao - 2013 14th ACIS International Conference on …, 2013 - ieeexplore.ieee.org
Web service reconfiguration plays a critical role in Service-Oriented Software (SOS), which
provides a self-adaptation technique to ensure the business-critical application can be …
provides a self-adaptation technique to ensure the business-critical application can be …
Graph based verification of software evolution requirements
S Ciraci - 2009 - research.utwente.nl
Due to market demands and changes in the environment, software systems have to evolve.
However, the size and complexity of the current software systems make it time consuming to …
However, the size and complexity of the current software systems make it time consuming to …
Configuration et reconfiguration des systemes temps-reél répartis embarqués critiques et adaptatifs
E Borde - 2009 - pastel.hal.science
Aujourd'hui, de plus en plus de systèmes industriels s' appuient sur des applications
logicielles temps-réel réparties embarquées (TR2E). La réalisation de ces applications …
logicielles temps-réel réparties embarquées (TR2E). La réalisation de ces applications …
Verifying Runtime Reconfiguration Requirements on UML Models
Runtime reconfiguration is a method used for changing the structure and the call pattern
such that the software can adapt itself to the client's computing environment. The current …
such that the software can adapt itself to the client's computing environment. The current …
[PDF][PDF] TURTLE: un pont entre UML et RT-LOTOS
Le profil UML TURTLE étend les diagrammes de classes et les diagrammes d'activités par
des opérateurs de composition et des opérateurs temporels. La sémantique formelle du …
des opérateurs de composition et des opérateurs temporels. La sémantique formelle du …
Transport multipoint fiable à très grande échelle: intégration de critères de coût en environnement Internet hybride satellite/terrestre
F De Belleville - 2004 - theses.hal.science
Le travail effectué aborde la problématique des services de communication multipoints
fiables à grande échelle. Dans ce contexte, la possibilité de déployer un tel service au …
fiables à grande échelle. Dans ce contexte, la possibilité de déployer un tel service au …