Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Formal verification in automotive industry: Enablers and obstacles
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.
KTH, School of Electrical Engineering and Computer Science (EECS), Theoretical Computer Science, TCS.ORCID iD: 0000-0002-0074-8786
Show 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

Available from: 2019-04-05 Created: 2019-04-05 Last updated: 2019-05-22Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopushttp://www.isola-conference.org/isola2018/

Authority records BETA

Nyberg, MattiasGurov, DilianWestman, Jonas

Search in DiVA

By author/editor
Nyberg, MattiasGurov, DilianWestman, Jonas
By organisation
MechatronicsTheoretical Computer Science, TCSEmbedded Control Systems
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 7 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf