-
31. DO-178과 추가적인 고려사항(Additional Considerations) (Section 12.0)잡談/DO-178 기본 2019. 1. 7. 16:56
지금까지 설명한 DO-178 가이드라인의 내용들은 결론적으로 보자면 DO-178 인증을 받기위한 일종의 ‘원칙’과 같은 것들이었다. 따라서 그대로 따르고 그에 맞는 데이터와 문서들을 만들어야 한다. 그리고 그 모든 것들은 인증당국에 공식, 비공식으로 제출되어 인증을 받을 수 있을 지 없을지를 확인받게 된다. 하지만 누구나 잘 알고 있듯이 세상일이 그렇게 원칙대로만 되는 것은 아니다. 소프트웨어에 따라서 혹은 인증을 받으려고 하는 조직에 따라서, 때로는 국가에 따라서 등등 수 많은 변수들이 있을 수 있고 그런 변수들만큼, 혹은 그 이상의 많은 예외 사항들이 생길 수가 있다. 이번 절에서 설명하는 부분이 그와 관련된 것들이라고 할 수 있다. 가이드라인에는 아래와 같은 설명이 나온다. 해석을 보자. 이 문서의..
-
30. 기타 소프트웨어 라이프 사이클 데이터잡談/DO-178 기본 2019. 1. 7. 16:54
그 외에 추가로 생성하게 되는 소프트웨어 라이프 사이클 데이터로는 추적성 데이터(Trace Data)와 파라미터 데이터 아이템 파일(Parameter Data Item File)이 있다. (1) 추적성 데이터(Trace Data) (Section 11.21) DO-178 인증을 위해서 만들어야 하는 추적성 데이터에는 다음과 같이 여러 가지가 있다. a. 시스템 요구사항(소프트웨어로 할당된)과 상위레벨 요구사항b. 상위레벨 요구사항과 하위레벨 요구사항c. 하위레벨 요구사항과 소스코드d. 소프트웨어 요구사항과 시험 케이스e. 시험 케이스와 시험 절차f. 시험 절차와 시험 결과 위의 내용을 보면 결과적으로 한쪽으로의 연결성이 아니라 양방향(bi-directional) 연결성을 설명하고 있다는 점을 알 수 있다..
-
29. SAS(Software Accomplishment Summary) (Section 11.20)잡談/DO-178 기본 2019. 1. 7. 16:52
다른 절에서 이미 설명했지만 SAS는 PSAC과 더불어 DO-178에서 가장 중요한 문서 중 하나이다. 인증을 받기 위해서 반드시 제출되어야 하는 최소한의 문서 중 하나라는 것도 앞서 설명한 바가 있다. 이제 구체적으로 어떤 내용이 작성되어야 하는지 세부 내용을 살펴보자. 해석을 보자. 소프트웨어 완수 요약(SAS)은 PSAC에 대한 준수를 보여주기 위한 주요 데이터 항목이다. 단 한 줄의 설명이지만 DO-178 인증을 위해서 가장 중요한 내용이 나와 있다. 바로 ‘PSAC에 대한 준수 여부’를 보여준다는 점이다. 앞서 PSAC이 일종의 계약서라고 했다면 SAS는 그 계약서대로 제대로 했는지를 확인하는 문서라고 할 수 있다. 그런 의미에서 PSAC은 가장 먼저 작성되는 반면 SAS는 가장 나중에 작성되는..
-
28. SCI(Software Configuration Index) (Section 11.16)잡談/DO-178 기본 2019. 1. 7. 16:40
SCI는 앞서 살펴본 SECI와 약어가 비슷하고 한편으로는 서로 연관된 부분이 있지만 실제 작성되는 내용에서는 다른 점이 많다. 우선 가이드라인의 설명을 보자. 해석을 보자. 소프트웨어 형상 인덱스(SCI)는 소프트웨어 제품의 형상을 구분한다. 특정한 형상 구분자와 버전 구분자가 제공되어야 한다. SCI가 구분하는 형상은 다음과 같다. a. 소프트웨어 제품 b. 실행가능 오브젝트 코드와 파라미터 데이터 아이템 파일 (있을 경우) c. 각 소소코드 컴포넌트 d. 소프트웨어 제품내의 이전에 개발된 소프트웨어 (사용되는 경우) e. 소프트웨어 라이프 사이클 데이터 f. 저장과 발행 매체 g. 예를 들어 컴파일과 링크를 위한 명령과 데이터를 포함하는 실행가능 오브젝트 코드와 파라미터 데이터 아이템 파일(있을 경..
-
27. SECI(Software Life Cycle Environment Configuration Index) (Section 11.15)잡談/DO-178 기본 2019. 1. 7. 16:35
SECI라고 부르는 이 문서는 제목 자체가 생소하다. 더구나 제목에 ‘인덱스’가 포함되어 있다는 점에서 다른 문서들과는 뭔가 다른 성격이라는 느낌이 들게 된다. 우선 DO-178 가이드라인을 통해서 이 문서가 어떤 용도로 사용되는지를 확인해 보자. 해석을 보자. 소프트웨어 라이프 사이클 환경 형상 인덱스(SECI)는 소프트웨어 라이프 사이클 환경의 형상을 구분한다. 이 인덱스는 소프트웨어 재생성, 재검증 혹은 소프트웨어 수정을 위한 하드웨어 및 소프트웨어 라이프 사이클 환경의 재생산을 지원하기 위해 작성된다. 우리가 개발하고 인증을 받게 되는 소프트웨어는 일단 완성이 되더라도 상황에 따라서 동일한 소프트웨어를 다시 만들어야 할 수도 있다. 즉, 새롭게 컴파일해서 실행가능한 오브젝트 파일을 다시 만드는 경..
-
26. 시험 관련 소프트웨어 라이프 사이클 데이터 – SVCP / SVR잡談/DO-178 기본 2019. 1. 7. 16:32
앞서 DO-178의 소프트웨어 검증과 관련한 SVP(Software Verification Plan)에 대해서 알아본 바가 있다. 그와 관련된 소프트웨어 라이프 사이클 데이터로 SVCP와 SVR이 있다. (1) SVCP(Software Verification Cases and Procedures) (Section 11.13) SVCP는 시험 케이스와 절차를 기술하는 문서이다. 앞서 SVP라는 일종의 시험 계획 문서를 설명한 바가 있지만 SVP가 시험 전반에 대한 계획을 기술한다면 SVCP는 구체적인 시험 방법을 기술하는 것이다. 여기에는 다음과 같은 내용이 포함되어야 한다. a. 리뷰와 분석 절차: SVP에 작성된 설명에 추가해서 리뷰 혹은 분석 방법의 범위와 깊이b. 시험 케이스: 요구되는 커버리지 기..
-
25. 디자인 설명 (Section 11.10)잡談/DO-178 기본 2019. 1. 7. 16:31
앞서 DO-178은 요구사항이라는 것에 대해서 독자적인 개념을 가지고 있다고 말한 바가 있다. 필자가 판단하기로는 지금 설명하는 설계 문서를 요구사항의 관점으로 다루고 있는 부분이 가장 큰 차이가 아닌가 싶다. 참고로 여기서도 용어가 좀 헷갈릴 수 있는데 ‘Design Description’은 우리가 일반적으로 SDD라고 부르는 것으로 이해해도 무방하며 필자는 ‘Software Design Document’라고 주로 사용하고 있다. 일단 DO-178 가이드라인은 SDD에 대해서 다음과 같이 설명하고 있다. 해석을 보자. 디자인 설명은 상위레벨 요구사항을 충족할 소프트웨어 아키텍처와 하위레벨 요구사항의 정의이다. 사실 위의 설명은 우리가 일반적으로 이해하는 설계 문서와 같다고 보면 된다. 하위레벨 요구사항..
-
24. 소프트웨어 요구사항 데이터 (Section 11.9)잡談/DO-178 기본 2019. 1. 7. 16:28
DO-178은 요구사항이라는 것에 대해서 독자적인 개념을 가지고 있다. 예를 들면 우리가 일반적으로 생각하는 그런 요구사항이 존재하면서도 설계문서에 대해서도 요구사항이라는 개념을 적용하는 식이다. 따라서 DO-178 인증을 받으려면 DO-178에서 규정하는 소프트웨어 요구사항에 대해서 명확하게 이해해야 한다. 그래야 그에 맞게 요구사항을 작성할 수 있고 그 요구사항을 기반으로 한 시험, 관리 등의 개발과 인증에 관련된 전반적인 활동을 수행할 수 있다. DO-178에서 말하는 요구사항에 대한 내용은 별도의 절을 통해서 자세하게 설명할 예정이다. 여기서는 소프트웨어 라이프 사이클 데이터의 하나로써 DO-178 가이드라인에서 설명하는 부분을 확인해보는 수준으로 정리하자. 우선 요구사항에 대한 용어를 ‘Soft..