The B Method at Siemens

Siemens SAS Industry Mobility is an international center of excellence for the creation of fully automatic subway systems and is a world leader in automated urban transport systems. The classic software development cycle involves specification, design, coding, testing and maintenance phases. These d...

Full description

Saved in:
Bibliographic Details
Published in:Formal Methods Applied to Complex Systems: Implementation of the B Method pp. 83 - 127
Main Author: Dolle, Daniel
Format: Book Chapter
Language:English
Published: Hoboken, NJ, USA John Wiley & Sons, Inc 26.06.2014
Subjects:
abstract model
automatic refinement
B models
monitoring
Siemens
ISBN:1848217099, 9781848217096
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Siemens SAS Industry Mobility is an international center of excellence for the creation of fully automatic subway systems and is a world leader in automated urban transport systems. The classic software development cycle involves specification, design, coding, testing and maintenance phases. These documents are translated into a formal model using B [ABR 96], known as the abstract model. The purpose of reviews is to identify faults in B models and their documentation as early as possible. Monitoring and analysis activities are also carried out with each evolution of Atelier B and the relevant transcoding tools. The implementation of automatic refinement has allowed us to multiply the size and complexity of our applications by 4, while reducing the size of development teams and the time needed to create our systems.
ISBN:1848217099
9781848217096
DOI:10.1002/9781119002727.ch4