Formal Development for Railway Signaling Using Commercial Tools

Authors:
Alessio Ferrari;Alessandro Fantechi;Stefano Bacherini;Niccoló Zingoni
Affiliations:
General Electric Transportation Systems (GETS), Firenze, Italy;Universitá di Firenze, DSI, Firenze, Italy;General Electric Transportation Systems (GETS), Firenze, Italy;General Electric Transportation Systems (GETS), Firenze, Italy
Venue:
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Year:
2009

Citing 1
Cited 0

A story about formal methods adoption by a railway signaling manufacturer

FM'06 Proceedings of the 14th international conference on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

This report presents the approach experimented by a railway signaling manufacturer for the development of applications through Simulink/Stateflow in a standard---regulated industrial framework.