Community Research and Development Information Service - CORDIS

FP5

MATISSE Report Summary

Project ID: IST-1999-11435
Funded under: FP5-IST
Country: France

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