Some trends in formal methods applications to railway signaling (Contributo in volume (capitolo o saggio))

Type

• Prodotto della ricerca (Classe)
• Contributo in volume (capitolo o saggio) (Classe)

Label

• Some trends in formal methods applications to railway signaling (Contributo in volume (capitolo o saggio)) (literal)

Anno

• 2013-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1002/9781118459898.ch4 (literal)

Alternative label

• Fantechi A., Fokkink W., Morzenti A. (2013)
  Some trends in formal methods applications to railway signaling
  in Formal Methods for Industrial Critical Systems: A Survey of Applications, 2013
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Fantechi A., Fokkink W., Morzenti A. (literal)

Pagina inizio

• 61 (literal)

Pagina fine

• 84 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://onlinelibrary.wiley.com/doi/10.1002/9781118459898.ch4/summary (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume

• Formal Methods for Industrial Critical Systems: A Survey of Applications (literal)

Note

• PuMa (literal)
• Scopu (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• Department of Information Engineering, University of Florence, Italy - CNR-ISTI, Pisa, Italy; CentrumWiskunde & Informatica, Amsterdam; Politecnico di Milano, Italy (literal)

Titolo

• Some trends in formal methods applications to railway signaling (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 978-0-470-87618-3 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume

• Stefania Gnesi, Tiziana Margaria (literal)

Abstract

• Railway signaling is often considered as one of the most fruitful areas of intervention by formal methods. This chapter offers insight into the actual industrial usage of formal methods in this field, which does not yet meet the promises of the aforementioned success stories, but is steadily increasing. The external conditions that are driving industrial choices are also discussed. The EN50128 guidelines by the European Committee for Electrotechnical Standardization (CENELEC) regarding the development of software for railway signaling are discussed. The chapter reports on a comparative case study of the applicability of different formal methods to railway signaling. It talks about the applications in the railway domain of one such formal method, namely B. The chapter focuses on formal methods applications to railway signaling equipment, which is divided into train control systems and interlocking systems. (literal)

Prodotto di

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Autore CNR

• ALESSANDRO FANTECHI (Persona)

Insieme di parole chiave

• Keywords of "Some trends in formal methods applications to railway signaling" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Autore CNR di

• ALESSANDRO FANTECHI (Persona)

Insieme di parole chiave di

• Keywords of "Some trends in formal methods applications to railway signaling" (Insieme di parole chiave)