Formal verification in automotive industry : Enablers and obstacles

• 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. 

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences -- Software Engineering (hsv//eng)

Nyckelord

Accident prevention

Automotive industry

Quality assurance

Software design

Critical codes

Formal techniques

Industrial case study

Quality assurance process

Verification techniques

Formal verification

Publikations- och innehållstyp

ref (ämneskategori)

kon (ämneskategori)