TY - JOUR
AU - 
AB - 자동차 위자식 주차 봌뜈이크 시스템 안위 요구사항 검증을 옄한 모델검증 윁용 167 KIPS Tr. Software and Data Eng. Vol.6, No.4 pp.167~176 pISSN: 2287-5905 https://doi.org/10.3745/KTSDE.2017.6.4.167 Using Model Checking to Verify an Automotive Electric Parking Brake System † †† † †† Jun Yeol Choi ⋅Joon Hyung Cho ⋅Yun Ja Choi ABSTRACT There are increasing policies and safeguards to prevent various human resource losses with the development of automotive industry. st nd Currently ISO26262 1 edition has been released in 2011 to ensure functional safety of electrical and electronic systems and the 2 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. Keywords : Model Checking, Automotive Verification, Formal Verification, ISO26262, Safety Requirement 자동차 위자식 주차 봌뜈이크 시스템 안위 요구사항 검증을 옄한 모델검증 윁용 † † † † †† 최 저 열 ⋅조 저 형 ⋅최 윤 자 요 약 자동차 산업이 괉격히 발달하면서 
TI - Using Model Checking to Verify an Automotive Electric Parking Brake System
JF - KIPS Transactions on Software and Data Engineering
DO - 10.3745/ktsde.2017.6.4.167
DA - 2017-04-30
UR - https://www.deepdyve.com/lp/unpaywall/using-model-checking-to-verify-an-automotive-electric-parking-brake-pYoeGQGgrE
DP - DeepDyve
ER -