CNR Institutional Research Information System

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
Inglese
Margaria, Tiziana; Steffen, Bernhard
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium
261
265
978-3-319-47168-6
https://link.springer.com/chapter/10.1007%2F978-3-319-47169-3_18
Sì, ma tipo non specificato
10-14 October 2016
Corfu, Greece
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
2-s2.0-84994000124
WOS:000389942800018
2
mixed
Fantechi A.; Ferrari A.; Gnesi S.
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_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
  Visualizza/Apri   Richiedi una copia
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
  Visualizza/Apri   Richiedi una copia
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??? 13
social impact