Safe Incremental Development of UML Architectures

Anne-Lise Courbis (1) , Thomas Lambolais (1) , Nguyen Thanh-Hung (2)

1 LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production
2 HUST - Hanoi University of Science and Technology

IDF is an Incremental Development Framework which supports the development and the verification of UML models for reactive systems. IDF offers refinement and extension techniques allowing liveness properties to be preserved during the model developments. Here, we improve the framework in order to analyze models from a safety point of view. For this purpose, we associate IDF with the experienced tools of safety analysis based on the BIP language by translating UML models into BIP. We demonstrate on a basic example the complementarity of liveness and safety analyses.

Mots clés: UML composite components; BIP architectures; conformance analysis; safety analysis; refinement; incremental development

Domaines: Génie logiciel [cs.SE]; Systèmes embarqués; Performance et fiabilité [cs.PF]

Anne-Lise Courbis, Thomas Lambolais, Nguyen Thanh-Hung. Safe Incremental Development of UML Architectures. 29th international conference on Software Engineering and Knowledge Engineering, Jul 2017, Pittsburgh, United States. ⟨10.18293/SEKE2017-033⟩. ⟨hal-01563328⟩