by Atif Mashkoor, Felix Kossak, Alexander Egyed
Abstract:
After a number of success stories in safety-critical domains, we are starting to witness applications of formal methods in contemporary systems and software engineering. However, one thing that is still missing is the evaluation criteria that help software practitioners choose the right formal method for the problem at hand. In this paper, we present the criteria for evaluating and comparing different formal methods. The criteria were chosen through a literature review, discussions with experts from academia and practitioners from industry, and decade-long personal experience with the application of formal methods in industrial and academic projects. The criteria were then evaluated on several model-oriented state-based formal methods. Our research shows that besides technical grounds (eg, modeling capabilities and supported development phases), formal methods should also be evaluated from social and industrial perspectives. We also found out that it is not possible to generate a matrix that renders the selection of the right formal method an automatic process. However, we can generate several pointers, which make this selection process a lot less cumbersome.
Reference:
Evaluating the suitability of state-based formal methods for industrial deployment (Atif Mashkoor, Felix Kossak, Alexander Egyed), In Software Practice and Experience, volume 48, 2018.
Bibtex Entry:
@Article{DBLP:journals/spe/MashkoorKE18,
author = {Atif Mashkoor and Felix Kossak and Alexander Egyed},
journal = {Software Practice and Experience},
title = {Evaluating the suitability of state-based formal methods for industrial deployment},
year = {2018},
number = {12},
pages = {2350--2379},
volume = {48},
abstract = {After a number of success stories in safety-critical domains, we are starting to witness applications of formal methods in contemporary systems and software engineering. However, one thing that is still missing is the evaluation criteria that help software practitioners choose the right formal method for the problem at hand. In this paper, we present the criteria for evaluating and comparing different formal methods. The criteria were chosen through a literature review, discussions with experts from academia and practitioners from industry, and decade-long personal experience with the application of formal methods in industrial and academic projects. The criteria were then evaluated on several model-oriented state-based formal methods. Our research shows that besides technical grounds (eg, modeling capabilities and supported development phases), formal methods should also be evaluated from social and industrial perspectives. We also found out that it is not possible to generate a matrix that renders the selection of the right formal method an automatic process. However, we can generate several pointers, which make this selection process a lot less cumbersome.},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/bib/journals/spe/MashkoorKE18},
doi = {10.1002/spe.2634},
file = {:Journals\\SPE 2018 - Evaluating the Suitability of State-based Formal Methods for Industrial Deployment\\Evaluating the Suitability of State-based Formal Methods for Industrial Deployment-preprint.pdf:PDF},
keywords = {SCCH},
timestamp = {Mon, 19 Nov 2018 14:10:28 +0100},
url = {https://doi.org/10.1002/spe.2634},
}