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.I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.