Formal verification in automotive industry: Enablers and obstaclesShow others and affiliations
2018 (English)In: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, Springer, 2018, Vol. 11247, p. 139-158Conference paper, Published paper (Refereed)
Abstract [en]
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.
Place, publisher, year, edition, pages
Springer, 2018. Vol. 11247, p. 139-158
Series
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743 ; 11247
Keywords [en]
Accident prevention, Automotive industry, Quality assurance, Software design, Critical codes, Formal techniques, Industrial case study, Quality assurance process, Verification techniques, Formal verification
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:kth:diva-247483DOI: 10.1007/978-3-030-03427-6_14Scopus ID: 2-s2.0-85056454420ISBN: 9783030034269 (print)OAI: oai:DiVA.org:kth-247483DiVA, id: diva2:1302644
Conference
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018; Limassol; Cyprus; 5 November 2018 through 9 November 2018
Note
QC20190405
2019-04-052019-04-052022-09-13Bibliographically approved