The automobile industry presents some unique challenges for the application of formal methods. The automobile industry is rapidly changing from a mechanical industry to one driven by innovation in electronics and embedded software. Many new safety and convenience features are being designed that will have higher degrees of control authority over the motion of the vehicle, leading to increasingly autonomous operation of the vehicle. To achieve robust operation of these new features in the presence of variability in traffic and weather conditions, road conditions, driver skill level, and vehicle state of health, formal methods research is needed in the areas of requirements engineering, model-driven design and model translation, hybrid system modeling and verification, distributed electrical architecture, software architecture, communication protocols (such as LIN, CAN, and FlexRay), fault tolerance, and testing. Several preliminary case studies have been conducted in some of the above areas.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer
About this paper
Cite this paper
Fuhrman, T.E. (2007). Role of Formal Methods in the Automobile Industry. In: Ramesh, S., Sampath, P. (eds) Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-6254-4_14
Download citation
DOI: https://doi.org/10.1007/978-1-4020-6254-4_14
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-6253-7
Online ISBN: 978-1-4020-6254-4
eBook Packages: EngineeringEngineering (R0)