publication . Conference object . 2008

Can formal methods make automotive business sense? A classification of formal methods

McElligott, Pat; Mjeda, Anila; Thiel, Steffen;
Open Access English
  • Published: 01 Jan 2008
  • Publisher: SAE International
  • Country: Ireland
peer-reviewed Legislative bodies are directing that automotive products comply with stringent safety levels. The liability for the safety of passengers in an automobile has traditionally been quite complex. Other transport sectors are externally regulated, and liability lies with the manufacturer or the transport service provider. The automotive industry is self-regulated and the individual driver carries a significant liability. Software and electronics increasingly provide greater control of automotive safety, possibly reducing driver liability, and increasing the need for more formal software development methods. The automotive business model, however, also p...
free text keywords: automotive products, passengers, automobile, automotive industry
Related Organizations
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue