http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
차량용 안전관련 소프트웨어 개발을 위한 국제표준과 안전성 요구사항에 대한 연구
윤성현(Seonghyun Yun),김연준(Yeonjoon Kim),최윤자(Yunja Choi),김진삼(Jinsam Kim),안성호(Sungho Ahn) 한국자동차공학회 2009 한국자동차공학회 학술대회 및 전시회 Vol.2009 No.11
As the importance of software safety in automotive systems is getting more attention, there have been active movements toward international standards. This paper analyzes safety management concepts, software methods, and techniques, recommended in the international standards, such as IEC 61508, ISO CD 26262 and AUTOSAR. We have identified main characteristics of those international standards which can be used as a reference for automotive safety engineering, including development of safety standard & process and acquisition of safety-related certification in the automotive E/E/PE systems and software sector. This paper also surveys safety requirements defined in AUTOSAR and ISO CD 26262 which can be a basis for further safety requirements analysis, safety-function design, and implementation.
박민규 ( Min-gyu Park ),최윤자 ( Yunja Choi ),김진삼 ( Jinsam Kim ) 한국정보처리학회 2010 한국정보처리학회 학술대회논문집 Vol.17 No.2
안전중요 소프트웨어 코드의 검증은 1%의 잠재적 가능성을 가진 오류조차 허용하지 않는 철저한 검증방식을 요구한다. 이러한 요구에 부응하여 최근 수학적 모델을 사용한 정형검증 기법이 코드검증에 활발하게 적용되고 있으나, 코드의 복잡도와 크기의 증가에 따른 검증비용의 기하급수적 증가가 해결과제로 부각되어왔다. 본 연구에서는 검증하고자 하는 특성을 중심으로 검증대상 코드를 추출, 정형검증의 대상을 자동으로 축소하는 코드추출기를 개발하였다. 개발된 코드추출기는 자동차 전장용 운영체제의 검증에 보조적으로 활용되어 검증비용을 90% 이상 절감하고 검증 사용성을 높이는데 기여하였다.
하수정(Sujung Ha),추철호(Chulho Choo),김진삼(Jinsam Kim),안유환(Yuwhan Ahn),전진옥(Jinok Jeon) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.2Ⅰ
최근에 정보시스템은 날로 대형화 되어 가고 더욱 복잡해지고 있으며 조직 환경의 급변에 따라 사용자 요구사항 매우 다양해지고 있다. 따라서 체계적인 개발 방법론 없이는 경쟁력 있는 정보시스템의 구축이 불가능하다. 그러나 지금까지의 개발 방법론이 주로 개발자의 입장에서 협의의 컴퓨터 시스템 관점에서만 기술되어 왔고 방법론 사용자의 다양한 시각들을 반영하고 있지 못하다는 지적이 많다. 본 고에서는 시스템 개발 방법론이 갖추어야 할 기본적인 관점들을 도출하여 실제 방법론 개발시에 어떻게 반영되었는지를 제시하고자 한다.
OSEK/VDX 기반 차량전장용 소프트웨어 안전성 검증기법
윤성현(Seonghyun Yun),윤상권(Sangguen Yun),최윤자(Yunja Choi),김진삼(Jinsam Kim),안성호(Sungho Ahn) 한국자동차공학회 2010 한국자동차공학회 학술대회 및 전시회 Vol.2010 No.11
차량전장용 시스템에서 소프트웨어가 차지하는 비율이 최대 85%에 이르고 있음에 따라, 전장용 소프트웨어의 안전성이 차량의 안전성에 미치는 영향 또한 증가일로에 있다. 하드웨어 안전성에 대한 표준과 검증절차, 검증방식 등은 표준화되어 있으나, 소프트웨어 안전성에 대한 인식과 분석 절차, 방법에 대한 체계적인 접근방식이 정립되어 있지 못한 상황이다. 본 연구에서는 OSEK/VDX 기반 차량전장용 소프트웨어를 사례로 하여 (1) 안전 요구사항의 도출과정을 보이고, (2) 분석된 안전요구사항을 적용 가능한 검증방식에 따라 분류, (3) 검증 기법을 적용하여 잠재적인 안전성 문제를 검출하는 과정을 보였다. 제안된 방식은 일반적인 내장형 소프트웨어의 안전성 검증에 확장ㆍ적용될 수 있다.