Formal verification in automotive industry: Enablers and obstacles

Formal verification in automotive industry : Enablers and obstacles

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.

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

Gurov, Dilian,1964-KTH,Teoretisk datalogi, TCS(Swepub:kth)u1jmacmb (författare)
Lidström, C. (författare)
Rasmusson, A. (författare)
Westman, Jonas,1986-KTH,Mekatronik,Inbyggda styrsystem(Swepub:kth)u12asleh (författare)
KTHMekatronik (creator_code:org_t)

Ingår i:8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018Cham : Springer, s. 139-1589783030034269

Av författaren/redakt...: Nyberg, Mattias; Gurov, Dilian, 1 ...; Lidström, C.; Rasmusson, A.; Westman, Jonas, ...

Om ämnet

NATURVETENSKAP: NATURVETENSKAP; och Data och informa ...; och Programvarutekni ...

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.