The University of Southampton
University of Southampton Institutional Repository
Warning ePrints Soton is experiencing an issue with some file downloads not being available. We are working hard to fix this. Please bear with us.

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
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
0302-9743
249-272
Springer Verlag
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 Verlag. pp. 249-272 . (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
ORCID for Colin Snook: ORCID iD orcid.org/0000-0002-0210-0983

Catalogue record

Date deposited: 30 Nov 2018 17:30
Last modified: 26 Nov 2021 02:45

Export record

Altmetrics

Contributors

Author: Rupert Schlick
Author: Michael Felderer
Author: Istvan Majzik
Author: Roberto Nardone
Author: Alexander Raschke
Author: Colin Snook ORCID iD
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.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×