Results
author = "Bacherini S."
1
Found 2 documents, displaying page 1 of 1
Formal modeling for railway signaling using commercial tools
Description :
Modeling guidelines constitute one of the fundamental cornerstones for Model Based Development. Their relevance is essential when dealing with code generation in the safety-critical domain. This article presents the experience of a railway signaling systems manufacturer on this issue.
Repository :
National Research Council Pisa - ISTI Repository
Language(s) :
English
Formal development for railway signaling using commercial tools
Description :
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.
Repository :
National Research Council Pisa - ISTI Repository
Language(s) :
English
1
Found 2 documents, displaying page 1 of 1