onr:"swepub:oai:DiVA.org:kth-247483"
Search: onr:"swepub:oai:DiVA.org:kth-247483" > Formal verification...
- 1 of 1
- Previous record
- Next record
- To hitlist
- Nyberg, MattiasKTH,Mekatronik (author)
Formal verification in automotive industry : Enablers and obstacles
- Article/chapterEnglish2018
Publisher, publication year, extent ...
- 2018-10-30
- Cham :Springer,2018
- printrdacarrier
Numbers
- LIBRIS-ID:oai:DiVA.org:kth-247483
- https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-247483URI
- https://doi.org/10.1007/978-3-030-03427-6_14DOI
Supplementary language notes
- Language:English
- Summary in:English
Part of subdatabase
- SwePubSwePub
Classification
Notes
- QC20190405
- 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.
Subject headings and genre
- NATURVETENSKAP Data- och informationsvetenskap Programvaruteknik hsv//swe
- NATURAL SCIENCES Computer and Information Sciences Software Engineering hsv//eng
- Accident prevention
- Automotive industry
- Quality assurance
- Software design
- Critical codes
- Formal techniques
- Industrial case study
- Quality assurance process
- Verification techniques
- Formal verification
Added entries (persons, corporate bodies, meetings, titles ...)
- Gurov, Dilian,1964-KTH,Teoretisk datalogi, TCS(Swepub:kth)u1jmacmb (author)
- Lidström, C. (author)
- Rasmusson, A. (author)
- Westman, Jonas,1986-KTH,Mekatronik,Inbyggda styrsystem(Swepub:kth)u12asleh (author)
- KTHMekatronik (creator_code:org_t)
Related titles
- In:8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018Cham : Springer, s. 139-1589783030034269
Internet link
Find in a library
- 8th International Symposium on Leveraging Applications of Formal Methods, Verifi... (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Nyberg, Mattias
- Gurov, Dilian, 1 ...
- Lidström, C.
- Rasmusson, A.
- Westman, Jonas, ...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Software Enginee ...
- Articles in the publication
- 8th Internationa ...
- By the university
- Royal Institute of Technology
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
