CNR Institutional Research Information System

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.

Formal development for railway signaling using commercial tools

Ferrari A;Fantechi A;
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.
2009
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Inglese
Formal Methods for Industrial Critical Systems. 14th International Workshop
5825
197
198
https://link.springer.com/book/10.1007%2F978-3-642-04570-7
Sì, ma tipo non specificato
2-3 November 2009
Eindhoven, The Netherlands
Software/Program Verification. Formal Methods
Formal Methods for Industrial Critical Systems
Formal modeling
4
open
Ferrari, A; Fantechi, A; Bacherini, S; Zingoni, N
273
info:eu-repo/semantics/conferenceObject
04 Contributo in convegno::04.01 Contributo in Atti di convegno
04.01 Contributo in Atti di convegno
File in questo prodotto:
File Dimensione Formato  
prod_44247-doc_130411.pdf

accesso aperto

Descrizione: Formal development for railway signaling using commercial tools
Tipologia: Versione Editoriale (PDF)
Dimensione 544.89 kB
Formato Adobe PDF
Visualizza/Apri
544.89 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/52040
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact