Model-based development and formal methods in the railway industry (Articolo in rivista)

Type

• Articolo in rivista (Classe)
• Prodotto della ricerca (Classe)

Label

• Model-based development and formal methods in the railway industry (Articolo in rivista) (literal)

Anno

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

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

• 10.1109/MS.2013.44 (literal)

Alternative label

• Ferrari A., Fantechi A., Gnesi S., Magnani G. (2013)
  Model-based development and formal methods in the railway industry
  in IEEE software
  (literal)

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

• Ferrari A., Fantechi A., Gnesi S., Magnani G. (literal)

Pagina inizio

• 28 (literal)

Pagina fine

• 34 (literal)

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

• Train Control Enhancement via Information Technology Acronimo: TRACE-IT Grant agreement PAR FAS 2007--2013 (literal)

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

• http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6475930&sortType%3Dasc_p_S (literal)

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

• 30 (literal)

Rivista

• IEEE software (Rivista)

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

• 3 (literal)

Note

• ISI Web of Science (WOS) (literal)
• PuMa (literal)
• Scopu (literal)

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

• CNR-ISTI, Pisa, Italy; Univ. of Firenze, Italy; CNR-ISTI, Pisa, Italy; General Electric Transportation Systems, Firenze, Italy (literal)

Titolo

• Model-based development and formal methods in the railway industry (literal)

Abstract

• The transition from a code-based process to a model- based one isn't easy, particularly for companies that operate in the safety-critical sector. A railway signaling manufacturer adopted general-purpose, model-based tools aided by formal methods to develop its products, facing challenges and learning lessons along the way. (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

• STEFANIA GNESI (Persona)
• ALESSANDRO FANTECHI (Persona)
• ALESSIO FERRARI (Unità di personale interno)

Insieme di parole chiave

• Parole chiave di "Model-based development and formal methods in the railway industry" (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

• STEFANIA GNESI (Persona)
• ALESSANDRO FANTECHI (Persona)
• ALESSIO FERRARI (Unità di personale interno)

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

• IEEE software (Rivista)

Insieme di parole chiave di

• Parole chiave di "Model-based development and formal methods in the railway industry" (Insieme di parole chiave)