| 1. |
- Felderer, Michael, 1978-, et al.
(författare)
-
Formal methods in industrial practice - Bridging the gap (track summary)
- 2018
-
Ingår i: Lect. Notes Comput. Sci.. - Cham : Springer Verlag. - 9783030034269 ; , s. 77-81
-
Konferensbidrag (refereegranskat)abstract
- Already for many decades, formal methods are considered to be the way forward to help the software industry to make more reliable and trustworthy software. However, despite this strong belief, and many individual success stories, no real change in industrial software development seems to happen. In fact, the software industry is moving fast forward itself, and the gap between what formal methods can achieve, and the daily software development practice does not seem to get smaller (and might even be growing).
|
|
| 2. |
- Nyberg, Mattias, et al.
(författare)
-
Formal verification in automotive industry : Enablers and obstacles
- 2018
-
Ingår i: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018. - Cham : Springer. - 9783030034269 ; , s. 139-158
-
Konferensbidrag (refereegranskat)abstract
- We describe and summarize our experiences from six industrial case studies in applying formal verification techniques to embedded, safety-critical code. The studies were conducted at Scania over the period of eight years. Despite certain successes, we have so far failed to introduce formal techniques on a larger scale. Based on our experiences, we identify and discuss some key obstacles to, and enabling factors for the successful incorporation of formal verification techniques into the software development and quality assurance process.
|
|
| 3. |
- Schlick, Rupert, et al.
(författare)
-
A proposal of an example and experiments repository to foster industrial adoption of formal methods
- 2018
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Cham : Springer Verlag. - 9783030034269 ; , s. 249-272
-
Konferensbidrag (refereegranskat)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. © Springer Nature Switzerland AG 2018.
|
|
