Search: (WFRF:(Gurov Dilian 1964 )) srt2:(2018) >
Formal verification...
Formal verification in automotive industry : Enablers and obstacles
-
- Nyberg, Mattias (author)
- KTH,Mekatronik
-
- Gurov, Dilian, 1964- (author)
- KTH,Teoretisk datalogi, TCS
-
Lidström, C. (author)
-
show more...
-
Rasmusson, A. (author)
-
- Westman, Jonas, 1986- (author)
- KTH,Mekatronik,Inbyggda styrsystem
-
show less...
-
(creator_code:org_t)
- 2018-10-30
- 2018
- English.
-
In: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018. - Cham : Springer. - 9783030034269 ; , s. 139-158
- Related links:
-
http://www.isola-con...
-
show more...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- 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
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
Keyword
- Accident prevention
- Automotive industry
- Quality assurance
- Software design
- Critical codes
- Formal techniques
- Industrial case study
- Quality assurance process
- Verification techniques
- Formal verification
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database