안전 필수 시스템을 위한 요구사항 명세 및 검증 방법 


44권  9호, pp. 893-907, 9월  2017
10.5626/JOK.2017.44.9.893


PDF

  요약

안전 필수 시스템에서 소프트웨어 결함은 심각한 결과를 초래하므로, 개발의 첫 단계인 요구사항 명세부터 안전성을 고려해야한다. 자연어로 작성된 요구사항은 여러 이해관계자들에게서 도출되어 모호함과 부정확성에 의한 결함을 갖고 있어도 검출하기 어렵다. 이러한 문제를 해결하기 위해 표준문안과 GSN 모델을 이용한 요구사항 명세방법을 제안한다. 표준문안은 선 정의된 서식에 맞춰 요구사항을 작성하는 준-정형 언어로, 표준문안에 맞춰 요구사항을 작성하면 표현의 일관성을 갖기 때문에 이해관계자들이 요구사항이 의미하는 바에 대한 모호함을 방지하여 요구사항의 정확한 의미를 정의하는데 도움이 된다. GSN은 시스템이 안전하다는 것을 관련기관에 증명하기 위한 Safety Case 작성에서 적합성을 인정받고 있는 표기법으로 기능목표, Safety Evidence 등을 표현한다. 본 연구에서는 안전 필수 시스템의 요구사항을 명세하기에 적합하도록 설계된 표준문안과 GSN 모델을 이용하여 요구사항 명세단계에서부터 결함을 쉽게 식별하고, Safety Evidence와의 연결을 통해 안전적합성을 증명할 수 있다. 또한 이 과정에서 발견된 요구사항의 결함을 수정하여 안전성 있는 소프트웨어를 개발할 수 있다.


  통계
2022년 11월부터 누적 집계
동일한 세션일 때 여러 번 접속해도 한 번만 카운트됩니다. 그래프 위에 마우스를 올리면 자세한 수치를 확인하실 수 있습니다.
  논문 참조

[IEEE Style]

H. S. Lim and S. Lee, "A Method to Specify and Verify Requirements for Safety Critical System," Journal of KIISE, JOK, vol. 44, no. 9, pp. 893-907, 2017. DOI: 10.5626/JOK.2017.44.9.893.


[ACM Style]

Hye Sun Lim and Seok-Won Lee. 2017. A Method to Specify and Verify Requirements for Safety Critical System. Journal of KIISE, JOK, 44, 9, (2017), 893-907. DOI: 10.5626/JOK.2017.44.9.893.


[KCI Style]

임혜선, 이석원, "안전 필수 시스템을 위한 요구사항 명세 및 검증 방법," 한국정보과학회 논문지, 제44권, 제9호, 893~907쪽, 2017. DOI: 10.5626/JOK.2017.44.9.893.


[Endnote/Zotero/Mendeley (RIS)]  Download


[BibTeX]  Download



Search




Journal of KIISE

  • ISSN : 2383-630X(Print)
  • ISSN : 2383-6296(Electronic)
  • KCI Accredited Journal

사무국

  • Tel. +82-2-588-9240
  • Fax. +82-2-521-1352
  • E-mail. chwoo@kiise.or.kr