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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Formal Methods Applied to Complex Systems: Implementation of the B Method s. 83 - 127
Hlavní autor: Dolle, Daniel
Médium: Kapitola
Jazyk:angličtina
Vydáno: Hoboken, NJ, USA John Wiley & Sons, Inc 26.06.2014
Témata:
abstract model
automatic refinement
B models
monitoring
Siemens
ISBN:1848217099, 9781848217096
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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