Earticle

초록

영어

As most devices in a wide range of automotive, aerospace, and missile have built-in software that controls the system behaviors, the safety of the software is growing in its importance. That is, the software safety has emerged as one of big issues because the threat of accidents caused by software malfunction is rising. Accident by software can be occurred from user mal-operation, but the fundamental reason of the accident comes from insufficient verification of the safety in software development process. Therefore, this paper presents how the software safety analysis and management activities should be done in the development process. In particular, we propose how to apply the safety analysis and management activities in the prototype or incremental development process.

한국어

현대 사회에서 자동차, 철도, 항공우주, 원자력, 국방 등의 다양한 분야에서 대부분의 장치들이 소프트웨어를 내장하고, 제어용 소프트웨어 시스템이 탑재됨에 따라 소프트웨어의 안전성에 대한 중요도가 높아지고 있다. 다양한 산업 분야에서 소프트웨어가 사용되면서 소프트웨어에 의한 사고의 위협도 높아지기 때문에 소프트웨어 오동작에 의한 안전성 위협이 큰 이슈로 떠오르게 되었다. 소프트웨어의 사고는 사용자의 오조작에 의해서 발생할 수 도 있지 만 가장 근본적으로는 설계 과정에서의 안전성에 대한 검증이 제대로 이루어지지 않아서 발생하게 된다. 따라서 본 논문에서는 소프트웨어 개발 프로세스에서 소프트웨어 안전성 분석 및 관리 활동이 어떻게 이루어져야 하는 가를 제시한다. 특별히 프로토타입이나 점진적 개발 프로세스에서의 안전성 분석 및 관리 활동의 적용 방안에 대하여 제시한다.

목차

요약
 Abstract
 1. 서론
 2. 배경 및 관련연구
  2.1 안전성 관련 사고사례
  2.2 관련 표준
  2.3 관련연구
 3. Software Safety 분석 기법
  3.1 모델 검증 기법 (Model Checking)
  3.2 결함 트리 분석(FTA)
  3.3 결함 위험 분석(FHA)
  3.4 고장유형 및 영향 분석(FMEA)
  3.5 위험 및 운용 분석 (HAZOP)
  3.6 요약
 4. 소프트웨어 시스템 개발 단계별 안전성 관리 활동
  4.1 개념화 단계
  4.2 제품 개발 단계
  4.3 제품 운영 단계
 5. 점진적 소프트웨어 프로세스에서의 안전성 관리 활동
 6. 결론 및 향후 연구내용
 ACKNOWLEDGEMENTS
 REFERENCES

키워드

저자

• 김순겸 [ Soon-Kyeom Kim | 충북대학교 전자정보대학 컴퓨터과학과 ]
• 홍장의 [ Jang-Eui Hong | 충북대학교 전자정보대학 컴퓨터과학과 ] Corresponding author

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  융합정보논문지(구 중소기업융합학회논문지) [Journal of Convergence for Information Technology]

• 간기

  월간

• pISSN

  2586-1816

• eISSN

  2586-4440

• 수록기간

  2011~2022

• 십진분류

  KDC 004 DDC 004