On the adoption of model checking in safety-related software industry (Contributo in atti di convegno)

Type

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

Label

• On the adoption of model checking in safety-related software industry (Contributo in atti di convegno) (literal)

Anno

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

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

• 10.1007/978-3-642-24270-0_28 (literal)

Alternative label

• Fantechi, Alessandro; Gnesi, Stefania (2011)
  On the adoption of model checking in safety-related software industry
  in Computer Safety, Reliability, and Security. 30th International Conference, SAFECOMP 2011, Naples, Italy, 19-22 September 2011
  (literal)

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

• Fantechi, Alessandro; Gnesi, Stefania (literal)

Pagina inizio

• 383 (literal)

Pagina fine

• 396 (literal)

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

• ID_PUMA: /cnr.isti/2011-A2-082. - Area di valutazione 09 - Ingegneria industriale e informatica (literal)

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

• http://www.springerlink.com/content/3030628134507122/ (literal)

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

• 6894 (literal)

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

• Dipartimento di Sistemi e Informatica, Florence University, Italy - CNR-ISTI, Pisa; CNR-ISTI, Pisa (literal)

Titolo

• On the adoption of model checking in safety-related software industry (literal)

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

• 978-3-642-24269-4 (literal)

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

• Francesco Flammini, Sandro Bologna, Valeria Vittorini (literal)

Abstract

• In the last fifteen years, model checking has been applied successfully in the design and verification of many safety related software systems. However, it is not yet routinely adopted in the industry of safety-critical systems. In this paper we introduce the model checking technique and its relations to safety; then we survey the sensible areas of research related to the current and potential industrial application of this technique, exploring the current trends, that in our opinion will bring to a wider adoption of model checking in the next years. (literal)

Prodotto di

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

Autore CNR

• STEFANIA GNESI (Persona)
• ALESSANDRO FANTECHI (Persona)

Insieme di parole chiave

• Parole chiave di "On the adoption of model checking in safety-related software 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)

Insieme di parole chiave di

• Parole chiave di "On the adoption of model checking in safety-related software industry" (Insieme di parole chiave)