Séminaire de Pr Anne-Lise Courbis, Ecole des Mines d'Alès (France) - Date : jeudi 28 avril, 14h00 - Lieu : "seminar room", Institut MICA, Hanoi University of Science and Technology

Intervenant :
Mme Anne-Lise Courbis, Maître de conférences de l'Ecole des Mines d'Alès (France), Laboratoire LGI2P (Génie Informatique & Ingénierie de la Production)

Date : jeudi 28 avril 2016, 14h00
Lieu : "seminar room", 9ème étage, bâtiment B1, Institut MICA, Hanoi University of Science and Technology
Langue : le séminaire sera présenté en anglais

Résumé/Abstract:
Modelling component behaviour and system architectures of software intensive systems is widely recognised as a complex task during the specification and design phases, especially for critical and reactive systems. In order to tackle these issues, we propose an incremental development framework which supports designers to model and verify behavioural models step by step. A set of behavioural verification techniques is associated to the development of models in order to guarantee that the current model conforms to the model obtained during the previous step and thus conforms to the specification. Furthermore, the verification techniques detect dead-locks and non-interoperability of components which are expected to be assembled to set up a system. Conformance relations are based on the analysis of liveness properties and are calculated on LTS (Labelled Transition Systems). They have been implemented in a tool named IDCM (Incremental Development of Compliant Models). A profile of UML, named FINE, has been defined to support the incremental development and verification of UML models.