Community Research and Development Information Service - CORDIS

MATISSE transportation case study

The transportation case study results provided a methodology to formally develop and validate a large system, using B method and the AtelierB tool. The railway system has been then formally decomposed into subsystem, each of them has been refined, and B software was formally developed for one of these subsystems.

Reported by

Siemens Transportation Systems
Rue Barbes 48-56
92542 Montrouge
France
See on map
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top