Affordable Access

From UML to B - a level crossing case study

Authors
Source
Portail Documentaire MADIS
Keywords
License
Unknown
External links

Abstract

The goal of this paper is to show how it is possible to combine the advantages of Unified Modelling Language (UML) and of the B method in order to design safety application.We investigate how the Unified Modeling Langage (UML), can be used to formally specify and verify critical railways systems. A benefit of using UML is it status as an international standard (OMG) and its widespread use in the software industries.B is a formalmethod for the incremental development of specifications and their refinements down to an implementation. In the railway critical software domain, safety requirements are obviously severe. It is very important to keep requirements traceability during software development process even if the different used models are informal, semi formal or formal.

Report this publication

Statistics

Seen <100 times