The railway signalling sector has historically been a source of success stories about the adoption of formal methods in the certification of software safety of computer-based control equipment.

Formal methods and safety certification: Challenges in the railways domain

Ferrari A;Gnesi S
2016

Abstract

The railway signalling sector has historically been a source of success stories about the adoption of formal methods in the certification of software safety of computer-based control equipment.
2016
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
978-3-319-47168-6
Model checking
Railway applications
Formal methods
Interlocking
Automatic train protection
D.2 SOFTWARE ENGINEERING
D.2.4 SOFTWARE ENGINEERING. Software/Program Verification
D.
D.2.2 SOFTWARE ENGINEERING. Design Tools and Techniques
File in questo prodotto:
File Dimensione Formato  
prod_362796-doc_119512.pdf

solo utenti autorizzati

Descrizione: Formal methods and safety certification: Challenges in the railways domain
Tipologia: Versione Editoriale (PDF)
Dimensione 133.16 kB
Formato Adobe PDF
133.16 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
prod_362796-doc_119513.pdf

non disponibili

Descrizione: Formal methods and safety certification: Challenges in the railways domain_1
Tipologia: Versione Editoriale (PDF)
Dimensione 84.85 kB
Formato Adobe PDF
84.85 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/319988
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? 8
social impact