잡談/DO-178 기본
-
37. 부속물 - 소프트웨어 레벨에 따른 프로세스 목표와 출력 (ANNEX A)잡談/DO-178 기본 2019. 1. 7. 17:48
보통 책자의 후반부에 작성되는 부록(Appendix)이나 부속물(Annex)은 상대적으로 그 중요도가 떨어지는 것이 일반적이다. 그런데 DO-178 가이드라인의 경우에는 조금 다르다. DO-178 가이드라인을 보면 다음과 같이 용어설명을 포함해서 부록과 부속물이 모두 들어있다. 사실 다른 것들은 실제로도 굳이 보지 않아도 무방한 참고사항일 뿐이지만 ANNEX A로 나오는 이 부분은 DO-178 가이드라인을 통틀어서 가장 중요한 내용이 포함되어 있다. 이미 우리는 앞에서 설명하는 중간중간 목표(Objectives), 활동(Activities), 출력(Outputs)를 담고 있는 아래와 같은 표를 확인한 바가 있다. 그래서 다른 부속물이나 부록은 제외하더라도 부속물(ANNEX) A에 대해서는 이렇게 별도로 ..
-
36. 제품 서비스 히스토리(Product Service History) (Section 12.3.4)잡談/DO-178 기본 2019. 1. 7. 17:42
DO-178 가이드라인의 본문 중 가장 마지막 항목이자 대체 방법으로 가장 마지막으로 제시되는 것은 제품 서비스 히스토리(Product Service History)이다. 먼저 DO-178에서 말하는 제품 서비스 히스토리의 정의는 다음과 같다. 해석을 보자. 제품 서비스 히스토리 – 소프트웨어가 알려진 환경안에서 운영되는 동안의, 그리고 연속적인 실패가 기록되는 동안의 시간의 연속적인 기간 설명이 좀 어려운데 쉽게 말하자면 제품이 실제 현장에서 운영된 이력을 말하는 것이다. 거기에는 운영된 시간뿐만 아니라 고장에 대한 부분도 포함되며 뒤에서 자세히 설명되겠지만 그 외에도 관련된 내용이 상당히 많다. 혹시나 해서 언급하자면 개발과정에서 소요된 시간은 당연히 제품 서비스 히스토리에는 포함되지 않는다. DO-..
-
35. 대체방법(Alternative Methods)의 종류 (Section 12.3)잡談/DO-178 기본 2019. 1. 7. 17:38
앞 절의 마지막에 정리한 것처럼 DO-178 가이드라인에서 제시하는 대체 방법의 종류에는 아래와 같은 4가지가 나온다. - 철저한 입력 시험(Exhaustive Input Testing) (Section 12.3.1)- 다중 버전 비유사성 소프트웨어 검증에 대한 고려사항(Considerations for Multiple-Version Dissimilar Software Verification) (Section 12.3.2)- 소프트웨어 신뢰도 모델(Software Reliability Models) (Section 12.3.3)- 제품 서비스 히스토리(Product Service History) 물론 이외에도 여러가지 방법이 있을 수 있고 시간이 지나고 기술이 발전하면 할 수록 그 가지수는 더욱 더 많아..
-
34. 대체방법(Alternative Methods) (Section 12.3)잡談/DO-178 기본 2019. 1. 7. 17:32
우리는 현재 DO-178 가이드라인에 대해서 이야기하고 있다. 생각보다는 적은 분량인 100페이지가 조금 넘는 양의 지침서이지만 지금까지 우리가 살펴본 것처럼 그 속에 담겨있는 내용을 이해하고 그 모든 것들을 실제로 적용하는 것은 결코 쉬운 일이 아니다. 아마 처음 이 내용들을 접하는 분들은 여기까지 읽기도 벅찰 정도로 어렵고 방대한 내용이었을 것이다. 엄청난 비용과 리소스, 그리고 소요되는 시간은 가이드라인에서는 언급하지 않는 또 다른 어려운 문제이다. 그런데 여기서 끝이 아니다. 마지막 고비라고 할 수 있는 하나가 더 남아 있다. 바로 지금까지 사용해 보지 못한 새로운 기술이나 방법에 대한 부분이다. 생각해 보자. 과학과 기술은 나날이 발전하고 있다. 그러한 발전은 항공산업이라고 예외가 될 수 없다...
-
33. 툴인증(Tool Qualification) (Section 12.2)잡談/DO-178 기본 2019. 1. 7. 17:18
DO-178 인증에서 툴인증(Tool Qualification)은 상당히 밀접한 관련이 있으면서도 한편으로는 완전히 분리된 대상이다. 모순된 이야기로 들릴 수도 있겠지만 이 말을 이해하기 위해서는 DO-178 인증과 툴인증과의 히스토리를 살펴볼 필요가 있다. 먼저 DO-178의 히스토리, 그 중에서도 DO-178 가이드라인의 히스토리를 살펴보자. 인터넷으로 구글링을 해보면 아래와 같은 표를 볼 수 있다. ※ 출처: https://slideplayer.com/slide/3890726/ 지금은 DO-178 인증과 관련된 사업분야가 분리되긴 했지만 HighRely라는 회사에서 만든 DO-178 관련 발표자료에 포함된 내용이다. 참고로 DO-178 가이드라인의 업데이트에 대한 히스토리는 DO-178 가이드라인 ..
-
32. 이전에 개발된 소프트웨어(Previously Developed Software)의 사용 (Section 12.1)잡談/DO-178 기본 2019. 1. 7. 16:58
우선 여기에서 말하는 ‘이전에 개발된 소프트웨어’라는 것은 기본적으로 DO-178 인증을 받은 소프트웨어를 말한다. 즉, 이미 개발이 완료되었고 DO-178 인증을 받은 상태로 항공기에 탑재되어 실행된 소프트웨어인 것이다. 이런 소프트웨어를 다시 사용한다고 하면 이미 이전에 승인을 받았으므로 최소한 이 소프트웨어에 해당하는 부분에 대해서는 인증을 생략할 수 있겠구나라고 흔히 생각하기 쉽다. 하지만 이것은 완전히 잘못된 판단이다. 기본적으로 DO-178 인증을 받는다는 것은 특정 비행기의 특정 소프트웨어로 한정되는 것이다. 여기서 비행기든, 소프트웨어든 단 하나라도 변경이 있게 되면 그 이후부터는 이전에 받았던 DO-178 인증은 아무런 효력을 가질 수 없다. 단도직입적으로 새로 인증을 받아야 한다. 다만..
-
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) 연결성을 설명하고 있다는 점을 알 수 있다..