Experimenting with diversity in the model driven development of a railway signalling system (Contributo in atti di convegno)

Type

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

Label

• Experimenting with diversity in the model driven development of a railway signalling system (Contributo in atti di convegno) (literal)

Anno

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

Alternative label

• Banci M.; Fantechi A.; Gnesi S.; Lombardi G. (2007)
  Experimenting with diversity in the model driven development of a railway signalling system
  in 2nd Workshop on Engineering Fault Tolerant Systems. EFTS, Dubrovnich
  (literal)

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

• Banci M.; Fantechi A.; Gnesi S.; Lombardi G. (literal)

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

• In: 2nd Workshop on Engineering Fault Tolerant Systems. EFTS (Dubrovnich, September 03 - 07 2007). Proceedings, pp. Proceedings - online. Nicolas Guelfi et al. (ed.). ACM Digital Library, 2007. (literal)

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

• ABSTRACT: In this paper we discuss how we have introduced elements of diversity in the experimental model driven development process of a railway signalling system. The experience has been done inside a larger industrial project undertaken to evaluate the feasibility of employing formal modelling and automatic code generation in the development of a new generation of railway signalling systems hosted by a new fault-tolerant platform. The diversity is introduced at the level of the compilation of the generated code, and is aimed to discover possible faults due to the compilation environment or to the underlying operating system. Other forms of diversity will be then experimented in a step by step fashion. (literal)

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

• ISTI DSI UNIV. Firenze (literal)

Titolo

• Experimenting with diversity in the model driven development of a railway signalling system (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)
• STEFANIA GNESI (Persona)

Insieme di parole chiave

• Parole chiave di "Experimenting with diversity in the model driven development of a railway signalling system" (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)

Insieme di parole chiave di

• Parole chiave di "Experimenting with diversity in the model driven development of a railway signalling system" (Insieme di parole chiave)