Models Oriented Approach for Developing Railway Safety-Critical Systems with UML

View Sample PDF

Author(s): Jean-Louis Boulanger (CERTIFER, France), Alban Rasse (MIPS, France)and Akram Idani (LIG / VASCO, France)
Copyright: 2010
Pages: 26
Source title: Handbook of Research on Software Engineering and Productivity Technologies: Implications of Globalization
Source Author(s)/Editor(s): Muthu Ramachandran (Leeds Metropolitan University, UK)and Rogério Atem de Carvalho (Instituto Federal Fluminense, Brazil)
DOI: 10.4018/978-1-60566-731-7.ch019

Keywords: Computer Science & IT / Information Science Reference / Systems & Software Design / Systems and Software Engineering

Purchase

View Models Oriented Approach for Developing Railway Safety-Critical Systems with UML on the publisher's website for pricing and purchasing information.

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.

The IRMA Community

Research IRM

Models Oriented Approach for Developing Railway Safety-Critical Systems with UML

Purchase

Abstract

Related Content

IRMA Sponsors