Safe Incremental Design of UML Architectures
Résumé
IDF is an Incremental Development Framework which supports the development and the verification of UML models for concurrent and reactive systems. IDF offers refinement and extension techniques the goal of which is to check the preservation of liveness properties during the model developments. Here, we improve the framework in order to analyze models from a safety point of view. Some techniques such as refinement maintain safety properties, however, extension does not maintain such properties. 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 comple-mentarity of liveness and safety analyses.
Origine : Fichiers produits par l'(les) auteur(s)