A proposal of an example and experiments repository to foster industrial adoption of formal methods
A proposal of an example and experiments repository to foster industrial adoption of formal methods
Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the potential benefits. We take a look at possible reasons and give candidate explanations for this effect. To address the issue, we propose a repository of industry-relevant example problems with an accompanying open data storage for experiment results in order to document, disseminate and compare exemplary solutions from formal model based methods. This would allow potential users from industry to better understand the available solutions and to more easily select and adopt a formal method that fits their needs. At the same time, it would foster the adoption of open data and good scientific practice in this research field.
Benchmarks, Formal methods, Formal models, Industrial adoption
249-272
Schlick, Rupert
dbd21213-7d1e-47c6-afe5-9bd7e228c847
Felderer, Michael
cec5b8d9-cda7-464e-939e-c3eafe5b61ab
Majzik, Istvan
6a6e6c97-1a73-45ab-ae23-546d81631daa
Nardone, Roberto
4d6cd216-65dd-41ee-8a91-f24da6905349
Raschke, Alexander
2d2e5b60-107f-4cbe-a870-f87675c09f77
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Vittorini, Valeria
e20f6d2a-e8ef-44a3-8934-ae226c962631
Schlick, Rupert
dbd21213-7d1e-47c6-afe5-9bd7e228c847
Felderer, Michael
cec5b8d9-cda7-464e-939e-c3eafe5b61ab
Majzik, Istvan
6a6e6c97-1a73-45ab-ae23-546d81631daa
Nardone, Roberto
4d6cd216-65dd-41ee-8a91-f24da6905349
Raschke, Alexander
2d2e5b60-107f-4cbe-a870-f87675c09f77
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Vittorini, Valeria
e20f6d2a-e8ef-44a3-8934-ae226c962631
Schlick, Rupert, Felderer, Michael, Majzik, Istvan, Nardone, Roberto, Raschke, Alexander, Snook, Colin and Vittorini, Valeria
(2018)
A proposal of an example and experiments repository to foster industrial adoption of formal methods.
In Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings.
vol. 11247 LNCS,
Springer.
.
(doi:10.1007/978-3-030-03427-6_20).
Record type:
Conference or Workshop Item
(Paper)
Abstract
Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the potential benefits. We take a look at possible reasons and give candidate explanations for this effect. To address the issue, we propose a repository of industry-relevant example problems with an accompanying open data storage for experiment results in order to document, disseminate and compare exemplary solutions from formal model based methods. This would allow potential users from industry to better understand the available solutions and to more easily select and adopt a formal method that fits their needs. At the same time, it would foster the adoption of open data and good scientific practice in this research field.
This record has no associated files available for download.
More information
e-pub ahead of print date: 30 October 2018
Venue - Dates:
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, , Limassol, Cyprus, 2018-11-05 - 2018-11-09
Keywords:
Benchmarks, Formal methods, Formal models, Industrial adoption
Identifiers
Local EPrints ID: 426545
URI: http://eprints.soton.ac.uk/id/eprint/426545
ISSN: 0302-9743
PURE UUID: 01b87f00-6189-4b62-bc17-0010369dfad0
Catalogue record
Date deposited: 30 Nov 2018 17:30
Last modified: 06 Jun 2024 01:40
Export record
Altmetrics
Contributors
Author:
Rupert Schlick
Author:
Michael Felderer
Author:
Istvan Majzik
Author:
Roberto Nardone
Author:
Alexander Raschke
Author:
Colin Snook
Author:
Valeria Vittorini
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
Loading...
View more statistics