분류 전체보기
-
26. 툴인증잡談/DO-178 번역 2019. 3. 18. 16:39
역주) 앞서 툴인증에 대해서 여러 번 언급한 부분이 있다. 이 책에서 저자가 설명하는 부분은 DO-178B를 기준으로 설명하고 있으며 DO-178C에서는 개념이 조금 달라졌다는 점도 언급했었다. 기본적인 개념은 거의 유사하므로 여기서의 내용을 그대로 이해하고 있어도 실전 진행에 큰 무리는 없을 것이다. 툴인증이라는 주제는 비록 DO-178과 DO-254가 상당부분 동일하다고 하더라도 종종 잘못 인식되고 있다. DO-178과 DO-254 사이의 주요 차이점은 툴인증에 대해서 설명하는 플로우차트에 있는데 그것은 별도로 설명될 것이다. 인증이 필요한 툴의 두 가지 종류가 있다. 개발툴과 검증툴이다. 검증툴은 인증하기기 더 간단한데 그들은 당신의 제품에 에러를 넣을 수 없기 때문이다. 그들은 단지 에러를 탐지하..
-
25. PSAC(Plan for Software Aspects of Certification)잡談/DO-178 번역 2019. 3. 18. 16:36
PSAC을 다시 살펴보자. 왜냐하면 그 만큼 중요한 문서이기 때문이다. 그것이 여전히 계획으로 존재하는 동안 PSAC은 실제로 당신의 인증 전략과 프로세스가 구체화되는 것이다. 당신은 주요 인증 주제로부터 주의를 분산시킬 수 있는 너무 많은 세부사항을 포함하기를 원하지는 않는다. PSAC은 유일하고 가장 중요한 소프트웨어 인증 문서이고 DER과 FAA에 의해서 확실하게 리뷰될 것이다. 역주) 앞서 PSAC에 대해서 설명한 적이 있는데 다시 한번 여기서 정리하자면 PSAC은 일종의 계약서와 같다. 당사자는 인증을 신청한 회사와 FAA 혹은 DER이 된다. 물론 실제 계약서 형식을 띄는 것은 아니지만 상호간에 함께 진행하고자 하는 부분이 무엇인지 충분히 납득할 만한 수준으로 PSAC을 작성하게 된다. 실제로..
-
24. 프로젝트 조직 & CMMI잡談/DO-178 번역 2019. 3. 18. 16:31
DO-178B에서 기대하는 라이프사이클 프로세스와 데이터를 개발하는 것이 왜 그렇게 오래 걸리는 걸까? - 이 문서를 읽는 모든 사람들은 빠른 길을 찾으려고 하고. 프로젝트를 수행하는데 필요로 하는 네 가지 유형의 사람들이 있다. 그것을 개발하는 사람, 개발자들이 그것을 제대로 하고 있는지를 검증하고 정확성을 확인하는 사람, 표준을 따랐는지 그리고 모든 것이 정의되었는지를 질문하는 QA 사람들 그리고 마지막으로 DER이다. 그런 방식으로, 우리는 각각을 혼돈할 수 없다. 프로젝트 조직 DO-178B 프로젝트에 필요로 하는 사람의 최소 숫자는 얼마인가? 최적의 숫자는 얼마인가? 조직은 어떻게 보이는가? 형상관리는 별도의 사람이 필요한가? 형상관리는 별도의 사람이 필요한가? 만약 당신이 대규모의 프로젝트, ..
-
23. 재검증잡談/DO-178 번역 2019. 3. 18. 16:20
역주) ‘Verification Revisited’를 일단 ‘재검증’이라고 번역했다. 다른 곳에서는 ‘Regression Test’라는용어도 나오는데 이것은 ‘재시험’이라고 번역했다. 둘 다 시험을 다시 수행한다는 것을 말하는 것은 이해가 되는데 뭔가 좀 부족한 느낌은 있다. 일단 뉘앙스는 제쳐 두고 내용에 초점을 맞추어 봐주시기 바란다. 당신이 연구소에서 코드를 디버그 했고 그것이 동작한다고 생각했다고 가정해보자. 만약 당신이 이제 그 코드에 맞도록 문서를 작성한다면 이것은 DER이 FAA에 의해서 제제를 받도록 만들고 QA 담당자를 필요 없게 만들며 회사가 제품을 인증 받는 것을 막는 가장 빠른 방법이 될 수 있다. 우리는 코드를 작성하고 그런 다음 문서를 작성하고 추적성을 연결하고 품질보증 프로세스..
-
22. 갭분석잡談/DO-178 번역 2019. 3. 18. 16:14
이제 당신은 DO-178B와 DO-254의 기본적인 특성을 이해하므로 이제는 당신의 조직 내에서 그것들을 어떻게 제대로 구현할지를 고려할 시간이다. 갭분석은 당신의 현재 개발 프로세스를 DO-178/DO-254 요구사항과 비교하고 차이점, 즉 “갭”을 확인하는 활동이다. 갭분석을 이해하기 위해 DO-178B와 당신 조직의 프로세스 사이에 있는 갭에 관해서 이야기를 시작해보자. 적용에 따라서 조직은 여러 가지 갭을 가질 것이다. 당신이 만약 미국의 군에 있다면 아마도 당신은 MIL-STD-498 혹은 MIL-STD-2167A 파생형의 표준을 사용하고 있을 것이다. MIL-STD-498에서 수립되는 대부분의 개발 프로세스들은 DO-178B에 적용되겠지만 당신은 무엇이 적용되지 않고 무엇이 빠지는지를 알고 싶..
-
21. 하드웨어 설계 라이프사이클잡談/DO-178 번역 2019. 3. 18. 16:08
만약 당신이 하드웨어 요구사항 문서를 작성하거나 하드웨어 요구사항을 구현한다면 당신은 동일한 프로세스를 통해서 일을 하는 것이다. 거기에는 해야 할 일들이 있다. 당신은 진입 기준, 운영상의 제약, 시스템 레벨 명세, 엔지니어링 방법론 선택 그리고 당신이 사용하는 방법에 대한 설명이 필요하다. 기능 분석과 할당에서 당신은 칩과 컴포넌트들의 항목과 기능을 어떻게 할당할지를 결정한다. 하드웨어는 소프트웨어에서 그런 것처럼 컴포넌트로 나누어진다. 하드웨어 설계 라이프사이클 DO-254는 어떤 특별한 라이프사이클 모델을 규정하지 않는다. 여기에 제시된 프로세스들은 선택된 라이프사이클 모델과 프로젝트 특성에 따라서 연속적으로 발생할 수 있다 세가지 라이프사이클 프로세스: 하드웨어 요구사항 시스템 아키텍처 개발 대..
-
20. DO-254(하드웨어)잡談/DO-178 번역 2019. 3. 18. 15:41
역주) DO-254에 들어가기 전에 먼저 언급할 부분이 있다. 솔직히 역자가 DO-254와 관련된 하드웨어 분야에 대해서는 잘 알지 못한다. 그럼에도 이렇게 번역을 하는 것은 DO-254가 DO-178과 유사한 부분이 많기 때문이다. 실제로 DO-254 가이드라인은 DO-178을 기반으로 만들어졌다. 또한 DO-254에서 말하는 하드웨어라는 것은 사실 소프트웨어의 성격을 많이 가지고 있는 FPGA와 같은 것을 말한다.(일반적으로 생각하는 딱딱한 부품, 장비와 같은 그런 하드웨어가 아니다.) 무엇보다도 현재 저자가 설명하고 있는 부분은 하드웨어의 기술적인 부분보다는 인증을 받기 위한 프로세스를 중심으로 설명하는 수준이어서 비록 일부 부족한 부분이 있겠지만 DO-254에 대한 이해를 하는 데에는 도움을 드릴..
-
19. 시험 그리고 툴잡談/DO-178 번역 2019. 3. 18. 15:32
만약 우리가 예를 들어서, Motorola 68332 혹은 power PC에 대해서 크로스 컴파일한다면 PC상에서 모든 것을 시험할 수 있을까? 아니, 그럴 수 없다. 사실 당신은 심지어 레벨 D에 대해서조차도 모든 것을 실제 타겟 바이너리로 시험해야 한다. 하지만 PC 혹은 시뮬레이터상에서 바이너리를 시험하는 것은 만약 프로세싱이나 출력이 하드웨어와 관련된다면 유효하지 않다. 그래서 만약 그것이 타이밍 관련, 비트 관련, 스택 관련, BSP 혹은 운영체제 관련된 출력 혹은 독립적인 IO라면 우리는 실제 하드웨어상에서 시험해야 한다. 하지만 우리에겐 하나의 작은 경품이 주어진다. 알고리즘, 로직 결정 그리고 예외 처리에 대해서는 타겟 플랫폼의 결과와 시험 플랫폼이 동등하다는 것을 보여주는 한 하드웨어상에..