Model driven development of railway systems using diversity (Articolo in rivista)

Type
Label
  • Model driven development of railway systems using diversity (Articolo in rivista) (literal)
Anno
  • 2008-01-01T00:00:00+01:00 (literal)
Alternative label
  • Banci M.; Gnesi S.; Fantechi A.; Lombardi G. (2008)
    Model driven development of railway systems using diversity
    in Computer systems science and engineering
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Banci M.; Gnesi S.; Fantechi A.; Lombardi G. (literal)
Pagina inizio
  • 329 (literal)
Pagina fine
  • 335 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • S.S.D. ING-INF/05 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 23 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: Computer Systems Science and Engineering, vol. 23 (5) pp. 329 - 335. Special issue: Engineering Fault Tolerant Systems. Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky (eds.). CRL Publishing LTD, 2008. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
  • 5 (literal)
Note
  • Scopu (literal)
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa, - CNR-ISTI, Pisa - Dipartimento di Sistemi e Informatica, Universita' di Firenze - CNR-ISTI, Pisa (literal)
Titolo
  • Model driven development of railway systems using diversity (literal)
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 an innovative fault-tolerant platform. Diversity has been introduced where an analysis of the safety measures employed against design faults has revealed possible weakness of the development process. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it