Abstract: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 exam… Show more
Set email alert for when this publication receives citations?
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.