An industrial application of formal model based development: the Metro Rio ATP case (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• An industrial application of formal model based development: the Metro Rio ATP case (Contributo in atti di convegno) (literal)

Anno

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

Alternative label

• Ferrari A.; Fantechi A.; Papini M.; Grasso D. (2010)
  An industrial application of formal model based development: the Metro Rio ATP case
  in 2nd International Workshop on Software Engineering for Resilient Systems, London, UK
  (literal)

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

• Ferrari A.; Fantechi A.; Papini M.; Grasso D. (literal)

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

• In: SERENE 2010 - 2nd International Workshop on Software Engineering for Resilient Systems (London, UK, 13-16 April 2010). Proceedings, pp. 71 - 76. ACM, 2010. (literal)

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

• ABSTRACT: The railway and metro signaling industries are currently investigating strategies for the introduction of formal model based development within their development processes. Among the various platforms supporting this technology, the Simulink/Stateflow tool-suite has been adopted in various safety-critical domains for modeling and code generation of controlsystems. Despite their flexibility and ease of use, introduction of these tools for developing dependable software, and in particular signaling applications, has been often hampered by the lack of a rigorous formal semantic sand by the absence of a certifi?ed code generator. This paper reports on the Simulink/Stateflow based development of the on-board equipment of the Metro Rio Automatic Train Protection system, describing the design strategy and the approach followed in addressing weaknesses and certifi?cation issues related to the adopted tool-suite. (literal)

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

• General Electric Transportation Systems, Università degli Studi di Firenze (literal)

Titolo

• An industrial application of formal model based development: the Metro Rio ATP case (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 (Unità di personale esterno)

Insieme di parole chiave

• Parole chiave di "An industrial application of formal model based development: the Metro Rio ATP case" (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 (Unità di personale esterno)

Insieme di parole chiave di

• Parole chiave di "An industrial application of formal model based development: the Metro Rio ATP case" (Insieme di parole chiave)