Implications of Globalisation

Abstract : This chapter presents an approach for certified design of railway critical systems. This approach, which realizes the software development cycle, relies on metamodeling architecture and model-transformations. It combines semi-formal UML models and formal models in order to check, proof and generate code by refinement; we use the process algebra FSP to check the dynamic behavior and B to generate proved code. Initially, the authors select an UML subset, which could be uses to model the key aspects of critical systems. Then, from this subset, the authors perform projections to obtain B and FSP models which are exploited by tools for checking, refinement and proof.
Type de document :
Chapitre d'ouvrage
IGI Global. Handbook of Software Engineering Research and Productivity Technologies :Implications of Globalisation,, Models Oriented Approach for developing railway safety-critical systems with UML, Information Science Reference, pp.305-330, 2009, 〈10.4018/978-1-60566-731-7〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00953594
Contributeur : Catherine Oriat <>
Soumis le : vendredi 28 février 2014 - 13:54:38
Dernière modification le : mercredi 4 juillet 2018 - 16:44:02

Identifiants

Citation

Jean-Louis Boulanger, Alban Rasse, Akram Idani. Implications of Globalisation. IGI Global. Handbook of Software Engineering Research and Productivity Technologies :Implications of Globalisation,, Models Oriented Approach for developing railway safety-critical systems with UML, Information Science Reference, pp.305-330, 2009, 〈10.4018/978-1-60566-731-7〉. 〈hal-00953594〉

Partager

Métriques

Consultations de la notice

313