Formal development for railway signaling using commercial tools

Contributo in Atti di convegno
Data di Pubblicazione:
2009
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.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Software/Program Verification. Formal Methods; Formal Methods for Industrial Critical Systems; Formal modeling
Elenco autori:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/52040
Link al Full Text: