자동차 전자식 주차 브레이크 시스템 안전 요구사항 검증을 위한 모델검증 적용
Using Model Checking to Verify an Automotive Electric Parking Brake System
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
자동차 산업이 급격히 발달하면서 각종 인명손실을 예방하기 위한 정책 및 안전장치가 늘어나고 있다. 트렌드의 일환으로 2011년에 차량의전기전자시스템의 기능안전성을 확보하기 위한 ISO26262 1st edition이 릴리즈 되었으며, 2016년 하반기에 2nd edition이 릴리즈 될 예정이다. ISO 26262에서는 안전 요구사항에 대해 Walk through, 인스펙션, 준정형 검증, 정형 검증을 통해 전기전자시스템 요구사항에 대한 검증을 요구하고 있다. 본 논문에서는 ASIL (Automotive Safety Integrity Level) D등급의 전자식 주차 브레이크 양산 프로젝트의 전기전자시스템 요구사항 검증에 모델검증을 적용함으로써 전기전자시스템 요구사항 검증 시 모델검증의 효율성을 기술한다.
Abstract
There are increasing policies and safeguards to prevent various human resource losses with the development of automotive industry. Currently ISO26262 1st edition has been released in 2011 to ensure functional safety of electrical and electronic systems and the 2nd edition will be released in the second half of 2016 as part of a trend. The E/E (Electrical & Electronics) system requirements verification is required through walk-through, 인스펙션, semi-formal verification and formal verification in ISO 26262. This paper describe the efficiency of model checking for the E/E system requirements verification by applying the product development project of ASIL (Automotive Safety Integrity Level) D for the electrical parking brake system.
참고문헌 (20)
- "ISO 26262 Functional Safety 2011, Part8: Supporting Process", The International Organization for Standardization, ~ (2011)
- "IEC 61508 Functional safety of electrical", electronic, International Electronical Committee, pp.2010, ~
- RS Pressman, "Software engineering: a practitioner's approach" (2005), Mc Graw Hill
- W. Richards Adrion, "Validation, Verification, and Testing of Computer Software", Journal ACM Computing Surveys, 14(2), pp.159~192 (1982)
- "ISO 26262 Functional Safety 2011, Part1: Vocabulary", The International Organization for Standardization, ~ (2011)
- Ron Patton, "Software Testing" (2005), Sams
- T. Maier, "Safety and reliability of software based systems", pp.351~356 (1997), Springer
- Magnus Lindahl, "Formal design and analysis of a gearbox controller", Springer International Journal of Software Tools for Technology Tansfer (STTT), 3, pp.353~368 (2001)
- A. Cimatti, "An Opensource tool for symbolic model checking", 14th International Conference, Computer Aided Verification, pp.359~364 (2002)
- R. Alur, "Theory in practice for system design and verification", ACM SIGLOG News, 2(1), pp.46~51 (2015)
- Pedro. R. D'Argenio, "The bounded retransmission protocol must be on time", Proceedings of the 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, LNCS, 1217, pp.416~431 (1997), Springer-Verlag
- Klaus Havelund, "Formal verification of a power controller using the real-time model checker UPPAAL", 5th International AMAST Workshop on Real-Time and Probabilistic Systems (1999)
- M. Hendriks, "Adding symmetry reduction to uppaal", Proceedings First International Workshop on Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science, 2791 (2003)
- J. Lahtinen, "Model checking of safety-critical software in the nuclear engineering domain", Reliability Engineering & System Safety, 105, pp.104~113 (2012)
- Thomas Hune, "Guided synthesis of control programs using UPPAAL", IEEE ICDCS International Workshop on Distributed Systems Verification and Validation, pp.15~22 (2000), IEEE Computer Society Press
- Alexandre David, "Modelling and analysis of a commercial field bus protocol", Proceedings of the 12th Euromicro Conference on Real Time Systems, pp.165~172 (2000), IEEE Computer Society
- VDA, "VDA Recommendation 305-100, Version August 2014", Verband der Automobilindustrie, ~ (2015)
- Hohn E. Hopcroft, "Introduction of Automata Theory, Languages, and Computation" (2001), Addison Wesley
- Fault Tree Handbook, "W. E. Vesely", US Nuclear Regulatory Commission, ~, pp.NUREG-0492 (1981)