자동차 전자식 주차 브레이크 시스템 안전 요구사항 검증을 위한 모델검증 적용

오유리; 김윤희; Yoori Oh; Yoonhee Kim; 최준열; 조준형; 최윤자; Jun Yeol Choi; Joon Hyung Cho; Yun Ja Choi

연구문헌

국내 논문지

홈 > 연구문헌 > 국내 논문지 > 한국정보처리학회 논문지 > 정보처리학회 논문지 소프트웨어 및 데이터 공학

정보처리학회 논문지 소프트웨어 및 데이터 공학

Current Result Document : 3 / 4 이전건 다음건

한글제목(Korean Title)	자동차 전자식 주차 브레이크 시스템 안전 요구사항 검증을 위한 모델검증 적용
영문제목(English Title)	Using Model Checking to Verify an Automotive Electric Parking Brake System
저자(Author)	오유리 김윤희 Yoori Oh Yoonhee Kim 최준열 조준형 최윤자 Jun Yeol Choi Joon Hyung Cho Yun Ja Choi
원문수록처(Citation)	VOL 06 NO. 04 PP. 0167 ~ 0176 (2017. 04)
한글내용 (Korean Abstract)	자동차 산업이 급격히 발달하면서 각종 인명손실을 예방하기 위한 정책 및 안전장치가 늘어나고 있다. 트렌드의 일환으로 2011년에 차량의 전기전자시스템의 기능안전성을 확보하기 위한 ISO26262 1st edition이 릴리즈 되었으며, 2016년 하반기에 2nd edition이 릴리즈 될 예정이다. ISO 26262에서는 안전 요구사항에 대해 Walk through, 인스펙션, 준정형 검증, 정형 검증을 통해 전기전자시스템 요구사항에 대한 검증을 요구하고 있다. 본 논문에서는 ASIL (Automotive Safety Integrity Level) D등급의 전자식 주차 브레이크 양산 프로젝트의 전기전자시스템 요구사항 검증에 모델검증을 적용함으로써 전기전자시스템 요구사항 검증 시 모델검증의 효율성을 기술한다.
영문내용 (English 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.
키워드(Keyword)	내용기반 필터링 식품교환 맞춤형 건강 식단 추천 Content-Based Filtering Food Substitution Customized Healthy Menu Recommendation 모델검증 자동차 검증 정형 검증 ISO26262 안전 요구사항 Model Checking Automotive Verification Formal Verification ISO26262 Safety Requirement
파일첨부	PDF 다운로드