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.

On the Adoption of Model Checking in Safety-Related Software Industry / A. Fantechi; S. Gnesi. - STAMPA. - 6894:(2011), pp. 383-396. (Intervento presentato al convegno SAFECOMP) [10.1007/978-3-642-24270-0_28].

On the Adoption of Model Checking in Safety-Related Software Industry

FANTECHI, ALESSANDRO;GNESI, STEFANIA
2011

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.
2011
Computer Safety, Reliability, and Security
SAFECOMP
A. Fantechi; S. Gnesi
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/606290
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 11
  • ???jsp.display-item.citation.isi??? ND
social impact