Automotive electronic control system has become the core part of modern automobiles.Therefore,in-depth research on the safety design and verification methods of automotive electronic control systems is helpful to improve vehicle safety performance and enhance vehicle competitiveness.This paper expounds the importance of the safety of automotive electronic control system,discusses the boundedness of current safety design and verification methods of automotive electronic control system,and proposes a formal verification method for the safety design of automotive electronic control system,which can effectively identify and eliminate potential problems and safety hazards in the early stage of product design,and provides a new idea for the safety design and verification of automotive electronic control system.
关键词
汽车电子控制系统/安全设计/形式化验证方法
Key words
Automotive Electronic Control System/Safety Design/Formal Verification Method
维普
万方数据