#software
-
3. DO-178과 커버리지 분석 – FAQ 8가지 정리 (1)잡談/DO-178 응용 2019. 2. 13. 13:38
지금까지 살펴본 커버리지 분석에 대한 DO-178 가이드라인은 우리가 실제 커버리지 분석을 수행하기 위한 배경이 된다. 그런데 아무리 이런 배경을 완벽하게 숙지하고 있다고 하더라도 막상 실전에 들어가면 가이드라인에서는 전혀 언급하지 않았던 여러 가지 문제들과 의문점들을 마주치게 된다. 어쩌면 그것이 당연하고 실전에서 그런 부분들을 극복하는 것 역시 과정의 일부일 수 있지만 (가능하면 전문가의 도움을 받아서) 그런 사례들을 미리 살펴볼 수 있다면 예상치 못하게 마주치는 어려움들을 극복해 나가는데 조금이라도 도움이 될 것이다. 사실 구조적 커버리지와 관련된 자료들은 구글링을 하고 관련된 사이트를 통하게 되면 ‘넘치게’ 찾을 수 있다. 그 중에는 특히 커버리지 관련 도구를 판매하는 업체에서 제공하는 자료들이 ..
-
2. DO-178과 커버리지 분석(Coverage Analysis)잡談/DO-178 응용 2019. 2. 13. 13:32
커버리지 분석(Coverage Analysis)이라고 하면 보통 무엇을 떠올리게 될까? 소프트웨어 개발관련 종사자라면 아마도 소스코드에 대한 커버리지를 주로 생각하게 될 것이다. DO-178에서도 마찬가지다. 대신 사용하는 용어나 개념에서 특이한 부분이 많다. 이 절에서는 그런 부분들을 알아보고 DO-178 가이드라인이 제시하는 다양한 커버리지 분석 방법에 대해서 정리하게 될 것이다. 참고) 사실 필자는 ‘커버리지 분석’이라고 하면 ‘구조적 커버리지 분석’이라고 말해왔다. 가이드라인과 관계없이 언젠가부터 통칭해서 사용해 오고 있었던 것이다. 이 절을 준비하면서 그것이 정확한 사용이 아니라는 것을 확인할 수 있었다. 혹시 필자와 같은 생각을 가지고 있었던 분이 있었다면 이번 기회에 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 인증은 아무런 효력을 가질 수 없다. 단도직입적으로 새로 인증을 받아야 한다. 다만..