From UML to B – a Level Crossing Case Study

The objective of this paper is to show how it is possible to combine the advantages of Unified Modeling Language (UML) and of the B method in order to design safety applications. The paper investigates how the Unified Modeling Language (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 industry. B is a formal method 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.

• Availability:
  • Find a library where document is available. Order URL: http://worldcat.org/isbn/1845641779
• Corporate Authors:

  WIT Press

  Ashurst Lodge
  Ashurst, Southampton  United Kingdom  SO40 7AA
• Authors:
  • Boulanger, J-L
  • Bon, P
  • Mariano, G
• Conference:
  • Computers in Railways X. The Tenth International Conference
  • Location: Prague , Czech Republic
  • Date: 2006-7-10 to 2006-7-12
• Publication Date: 2006

Language

• English

Media Info

• Media Type: Print
• Features: Figures; References;
• Pagination: pp 351-359
• Monograph Title: Computers in Railways X. Computer System Design and Operation in the Railway and Other Transit Systems

Subject/Index Terms

• TRT Terms: Case studies; Development; International; Railroad grade crossings; Railroads; Safety; Software; Software packages; Specifications; Standards; Validation
• Identifier Terms: Unified Modeling Language (UML)
• Uncontrolled Terms: Verification
• Subject Areas: Operations and Traffic Management; Railroads; Safety and Human Factors;

Filing Info

• Accession Number: 01035715
• Record Type: Publication
• ISBN: 1845641779
• Files: TRIS
• Created Date: Oct 20 2006 1:49PM