항공용 SW의 안전성을 위한 DO-178C / DO-278A 프로세스

개요

"DO-178C/DO-278A는 미국 연방항공국(FAA)에서 소프트웨어가 탑재된 항공기와 항공/지상장비 부품의 감항인증에 적용하고 있는 항공기 소프트웨어 안전성을 위한 감항인증 규격입니다. DO-178C/DO-278A는 민수 항공기 뿐만 아니라, 무인기를 포함한 군용항공기 개발을 위한 기준인 '군용항공기 표준감항인증 기준(Part1~Part3)' 에서도 요구되고 있습니다.

본 교육을 통해 DO-178C/DO-278A의 항공 시스템에 요구되는 안전성수준(Level A,B,C,D)에 따른 Objectives, Activities, Outputs를 이해하고, 시스템 요구사항으로부터 할당된 SW 요구사항에 대한 구현 완전성, 정확성, 추적성을 보증하기 위한 문서화 방법을 습득할 수 있습니다. 또한 Tool Qualification 규격인 DO-330과 DO-178C/DO-278A의 부속규격인 DO-331(모델기반 개발 규격)을 이해할 수 있습니다."

중점

RTCA DO-178C/DO-278A 개요SW Level(SIL: SAFETY INTEGRITY LEVEL)별 Objectives, Activities, Outputs 이해시스템 요구사항으로부터 할당된 SW 요구사항 구현의 완전성, 정확성, 추적성 보증을 위한 문서화 방안 이해DO-330(Tool Qualification 규격) 및 DO-331(모델기반 개발 규격) 소개

참석대상

프로젝트 매니저시스템 엔지니어 소프트웨어 엔지니어품질보증 관리자

교육 프로그램

일정

세부내용

강사

1 일차

10:00-17:00

1. Course Introduction

2. RTCA DO-178C/DO-278A Overview

3. System Aspects Relating to Software Development

4. Software Life Cycle

5. Software Planning Process

6. Software Development Process

장정훈 부장

강유선 책임

(모아소프트)

2 일차

10:00-17:00

7. Software Verification Process

- Software Reviews and Analyses

- Software Testing

8. Software Configuration Mangement Process

9. Software Quality Assurance

10. Certification Liaison Process and Process Overview

장정훈 부장

강유선 책임

(모아소프트)

3 일차

10:00-17:00

11. Software Life Cycle Data

12. Additional Considerations

13. DO-330 Software Tool Qualification Considerations

14. Supplements to DO-178C/DO-278A

- DO-331 Model-Based Development and Verification

장정훈 부장

강유선 책임

(모아소프트)

* 상기 강의 일정은 진행에 따라 다소 변경될 수 있습니다.

교육 일정 안내

교육장소

서울 송파구 가락동 175-14 연암빌딩 4층 모아소프트 교육장

교육기간

2019년 연내 4회

교육비

33만원 (유저/비유저 모두 유료)

교재

자체제작

교육장

교육신청 및 안내

http://www.moasoftware.co.kr/edu/edu.asp

02.6945.2182 (hmnam@moasoftware.co.kr)

 

 

 

설레는 연말 12월, 모아소프트에서 2018 마지막 교육과정 안내드립니다. 

다양한 수치해석 기법의 장단점을 이해하고, 실제 환경에서 이용할 수 있는 EMC, RCS, Radome 해석을 도출하는 방법을 상용 EM 시뮬레이션 소프트웨어 'FEKO' 실습을 통해 알아보는 안테나 및 전자파 해석 (심화) ,  칼만필터의 수학적 배경과 이론을 중심으로, 개별 모델을 설명하는 KALMAN FILTER 기본 과정을 비롯하여 무기체계 소프트웨어 개발에 참여하는 각 담당자들이 소프트웨어 신뢰성시험의 준비/수행/결과의 조치 등 관련 업무를 원활하게 수행할 수 있도록 개설된 국방 소프트웨어 신뢰성 시험(심화),  DO-178C의 항공 시스템에 요구되는 안전성수준(Level A,B,C,D)에 따른 Objectives, Activities, Outputs를 이해하고 시스템 요구사항으로부터 할당된 SW 요구사항에 대한 구현 완전성, 정확성, 추적성을 보증하기 위한 문서화 방법을 습득 및 DO-178C의 부속규격인 DO-331(모델기반 개발 규격)과 DO-278A(항공 지상장비 개발 규격)을 이해할 수 있는 항공용 SW의 안전성을 위한 감항인증 프로세스(DO-178C) 교육이 진행됩니다.

자세한 교육정보 및 교육 신청은 모아소프트 홈페이지를 통해 부탁드립니다.
http://www.moasoftware.co.kr/edu/edu.asp?curDate=2018-12-01

 

뜨거운 여름, 시원한 모아소프트 교육장으로 여러분을 초대합니다.

모아소프트의 인기교육 LDRA USER TRANING, 시스템 신뢰도 분석을 포함해
17개 과정으로 이루어진 다양한 교육들이 2018년 여름내내 진행되오니 많은 관심 부탁드립니다.

각 교육과정에 대한 자세한 정보는 (주)모아소프트 홈페이지를 통해 확인 부탁드립니다.
신청 페이지  : http://www.moasoftware.co.kr/edu/edu.asp

 

 

 

뜨거운 여름, 시원한 모아소프트 교육장으로 여러분을 초대합니다.
17개 과정으로 이루어진 다양한 교육들이 2018년 여름내내 진행되오니 많은 관심 부탁드립니다.

각 교육과정에 대한 자세한 정보는 (주)모아소프트 홈페이지를 통해 확인 부탁드립니다.
신청 페이지  : http://www.moasoftware.co.kr/edu/edu.asp

 

 

 

 

2015년, 2016년 성황리에 진행되었던 (주)모아소프트 주최의  '2018 국방/항공 소프트웨어 발전 컨퍼런스' 2018년 3 15(목국방컨벤션에서 진행됩니다.  
 
최근 이슈가 되고 있는 군용항공기 감항인증, 요구기반 시험, 소프트웨어 품질향상, GUI Test 기법 및 수행방안 등에 대한 정보를 교류하는 자리에 초대하오니 부디 참석하셔서 뜻 깊은 자리 빛내주시길 바랍니다.

컨퍼런스와 관련한 자세한 정보 및 참석신청(무료)
모아소프트 홈페이지를 통해 (http://www.moasoftware.co.kr/edu/eduview.asp?c_type=S&class_id=482&prePage=edu.asp) 확인 가능합니다. (*선착순 마감)

관계자 여러분의 많은 관심과 성원 부탁드립니다. 감사합니다. 



2017년, (주)모아소프트 교육센터가 다양한 교육과정에 여러분을 초대합니다.


모아소프트 교육센터는,


▶ 업계 이슈와 관련된 다양한 교육 프로그램 개발 및 운영

▶ 실제 프로젝트를 통해 검증된 이론과 실제 사례 CASW STUDY

각 분야 전문가와 함께하는 체계적인 교육 프로그램

▶ 수 많은 실무경험을 바탕으로 솔루션별 실무도입방안 제시

등을 통한 지속적인 교육 프로그램을 개발로 우수한 인재 육성 및

고객사 여러분의 기업경쟁력 향상에 도움이 되도록 적극 노력하겠습니다.   

● 2017 교육일정 다운로드 : ​http://www.moasoftware.co.kr/edu/edu.asp

2017 교육 문의 : 남혜미 과장 (hmnam@moasoftware.co.kr / 02-6945-2182)

 

 

 

 

창조경제 실현을 위한 정부 3.0 소프트웨어 정책추진과 더불어

산업 전반에 SW의 중요성이 확대되는 가운데, 국방 무기체계 SW 개발도 발전과 변화가 요구되고 있습니다.  

특히 최근 이슈가 되고 있는 항공무기체계 SW 감항인증, 요구기반 소프트웨어 시험,

소프트웨어 보안성 시험, 소프트웨어 ILS(Integrated Logistics Support) 적용방안 등을 논의하기 위한

자리가 마련되오니 많은 분들의 관심과 참석 바랍니다.



● 2016 국방 무기체계 소프트웨어 발전 세미나


1. 일시 : 2016년 11월 9일(수) 오전 10시

2. 장소 : 국방컨벤션 (서울 용산구)

3. 사전등록 : http://www.moasoftware.co.kr/edu/eduview.asp?c_type=S&class_id=361&prePage=edu.asp


*신청은 선착순으로 마감되오니 빠른 신청바랍니다.

 


 

DO-178C SOFTWARE PLANNING PROCESS Objective-5의 이해


* 시작에 앞서 용어는 Section4 의 게시물을 참고하면 된다.

 

1. Objective – 5 의 개요

생산될 소프트웨어에 대해 시스템 안전 달성요건(system safety objective)에 부합하는 소프트웨어 개발 표준을 정의한다.

 

2. Activity


4.2 Software Planning Process Activities


b. 프로젝트에 사용될 소프트웨어 개발 표준은 정의되거나 선택되어야 한다.

g. 소프트웨어 계획 프로세스가 완료 될 때까지, 소프트웨어 계획과 소프트웨어 개발 표준은 변경 통제 및 검토완료 되어야한다.

 

4.5 Software Development Standards

소프트웨어 개발 표준은 소프트웨어 개발 프로세스에 대한 규칙과 제약을 정의한다. 소프트웨어 개발 표준은 소프트웨어 요구사항 표준, 소프트웨어 설계 표준, 소프트웨어 코드 표준을 포함한다. 소프트웨어 검증 프로세스는 이러한 표준을 실제 산출물과 의도한 산출물 간의 적합성을 평가하기 위한 기준으로써 사용한다. 소프트웨어 표준 개발에 대한 활동은 아래를 포함한다.


a. 소프트웨어 개발 표준은 11장을 따라야 한다.

b. 소프트웨어 개발 표준은 주어진 소프트웨어 제품 또는 관련된 제품의 집합이 균등하게 설계되고 실행될 수 있도록 해야 한다.

c. 소프트웨어 개발 표준은 입증 될 수 없거나 안전관련 요구사항과 호환 가능하지 않은 산출물을 생산하는 방법 또는 구성물의 사용을 불가능하게 해야 한다.

d. 강건성은 소프트웨어 개발 표준에서 고려되어져야 한다.

 

3. Applicability by Software Level

해당 ObjectiveSW 레벨 A-C에서는 모두 수행해야 한다.

 

4. Outputs(산출물)

SW Requirements Standards

  소프트웨어 요구사항 표준 자세한 내용은 DO-178C11.6 항목 참조

• SW Design Standards

  소프트웨어 설계 표준 자세한 내용은 DO-178C11.7 항목 참조

• SW Code Standards

  소프트웨어 코드 표준 자세한 내용은 DO-178C11.8 항목 참조

     

    
5. Control Category by Software Level(SW
레벨에 따른 형상관리 수준)

SW 레벨 A, B에서의 산출물 SW Requirements Standards, SW Design Standards, SW Code StandardsCC1 수준으로 형상 관리한다.

SW 레벨 C에서는 산출물 SW Requirements Standards, SW Design Standards, SW Code StandardsCC2 수준으로 형상 관리한다.

 

6. 달성방법

시스템 안전성 목표에 일치하는 요구사항 표준, 설계 표준, 코드 표준을 정의함

요구사항 표준에는 구조적 방법, 식별체계, 표현방법(data flow diagram, UML), 요구사항 개발 및 관리 tool(DOORS), 제약사항. 파생 요구사항 제공 방법 등을 정의함

설계 표준에는 표현방법, 명명규칙, 제어조건, 설계도구 사용상의 제약사항, 복잡도 제한사항 등을 정의함

코드 표준은 Programming 언어, 소스코드 표현방식, 변수/함수 명명규칙, 조건사항, 코딩도구에 대한 제약사항 등을 정의함

 

다음에는 Objective – 6에 대해 알아보도록 하자.

DO-178C SOFTWARE PLANNING PROCESS

Objective - 3의 이해


  

1. Objective - 3의 개요

SW 라이프 사이클 프로세스의 활동을 위해 사용되는 방법. 도구 등을 포함하는 SW 라이프 사이클 환경이 선정되고 정의되어야 한다. (DO-178C 4.4참조)

 


2. Activity 

  • SW 개발환경

SW개발 환경은 높은 품질의 SW를 개발하는데 있어 중요한 요소이다. SW개발 시 몇 가지 환경들은 악영향을 끼칠 수 있다. 예를 들어 컴파일러(compiler)는 오류 있는 데이터를 만들어 에러를 일으킬 수 있고, 링커(linker)는 메모리할당 에러가 있는 것을 나타내지 못할 수도 있다. SW 개발 환경 방법 및 도구의 선택을 위한 활동은 아래와 같다.


  1. SW 계획 단계에서, SW 개발 환경은 소프트웨어 개발 시 잠재적인 위험을 줄일 수 있도록 선택해야 한다.

  2. 도구의 사용 또는 도구와 일부 SW 개발환경과의 결합은 어떤 한 부분에서 유입된 에러를 다른 부분에서 발견할 수 있을 정도의 확신 수준이 달성될 수 있도록 선택되어야 한다. 두 부분이 지속적으로 함께 사용되는 경우에 수용가능한 환경이 만들어 진다. 이러한 선택은 tool qualification필요성 여부에 대한 평가도 포함한다.

  3. SW 검증 절차 활동 또는 SW 개발 표준은 SW 등급을 고려하여 잠재적인 SW 개발 환경과 관련된 에러를 줄이기 위해 정의해야 한다.

  4. 도구의 사용을 위해 도구에 대한 certification이 필요하다면 도구의 사용절차가 계획에 적절하게 명시되어야 한다.

  5. 특정 프로젝트에서 SW 도구의 부가적인 옵션이 선택된다면, 옵션의 영향성은 계획단계에서 검토 및 명시되어야 한다. 이것은 특히 컴파일러와 자동코드 생성기에 중요한 사항이다.

  6. 도구의 알려진 문제점 및 한계점은 반드시 평가해야 하며 항공 SW에 부정적인 영향을 끼칠 수 있는 이런 이슈들은 반드시 다뤄져야 한다.

 

  • 언어 및 컴파일러 고려사항

    SW 제품의 검증이 성공적으로 완료된다면 컴파일러는 해당 제품에 적합하다고 여겨진다. 이 활동이 유효 하려면, SW 검증 절차는 프로그래밍 언어 및 컴파일러의 특별한 특성을 고려할 필요가 있다 SW 계획 과정은 검증을 위한 프로그래밍 언어 및 계획을 선택할 때 위와 같은 특성을 고려해야 한다. 활동은 아래와 같다.

    1. 어떤 컴파일러는 오브젝트코드의 성능을 최적화하려는 특성이 있다. 만약 SW 레벨에 적절하게 테스트케이스가 작성되었다면 최적화의 정확성은 검증될 필요가 없다. 그렇지 않다면, 구조적 커버리지(structural coverage) 분석에 대한 이러한 특징의 영향이 결정되어야 한다. 추가적인 정보는 DO-178C 6.4.4.2에 기술되어 있다.

    2. 특정기능을 구현하기위해, 몇 개의 컴파일러는 소스코드로 직접 추적할 수 없는 오브젝트코드를 생성 한다. 예를 들어 초기화, 내장(built-in)된 에러 검출, 예외처리가 있으며 추가적인 정보는 DO-178C 6.4.4.2.b에 서술되어 있다. SW계획 절차에서 오브젝트코드의 검출 및 범위(coverage)를 검증하기 위한 수단을 제공해야 하며, 적합한 계획(appropriate plan)에서 수단을 정의해야 한다.

    3. 만약 새로운 컴파일러, linkage editor 또는 로더(loader) 버전이 도입되거나, SW 라이프 싸이클 동안 컴파일러 옵션이 변경될 경우, 기존에 테스트 및 커버리지 분석은 더 이상 유효하지 않을 수 있다. 검증 계획은 DO-178C 6장 및 12.1.3장과 일관되는 재검증 수단을 제공해야 한다.

 

  • SW 테스트환경

    SW 테스트 환경 계획은 통합 프로세스의 결과를 시험하기 위해 사용될 방법, 도구, 절차, HW를 정의한다. 테스팅은 target computer, target computer emulator, 또는 host computer simulator을 이용하여 수행된다.

    테스팅의 활동들은 다음과 같다.

  •  

  1. Emulator 또는 simulatorDO-178C 12.2장에 기술된 것처럼 툴 자격을 갖춰야 한다.

  2. Target computeremulator(또는 simulator)의 차이점 및 에러를 검출하고 기능을 검증하는 능력에 대한 target computeremulator(or simulator)차이점의 결과를 고려해야 한다. SW 검증 프로세스에 의해 에러가 검출되어야 하며 SW 검증 계획(SVP)에서 에러 검출방법이 명시되어야 한다.

 

3. Applicability by Software Level

해당 ObjectiveSW 레벨 A~C 에서는 모두 달성해야 하며 레벨 D SW는 해당되지 않는다.

 

 

4. Outputs(산출물)


  • PSAC (Plan for Software Aspects of Certification)

         소프트웨어 인증계획 문서 자세한 내용은 DO-178C11.1항목 참조

  • SDP (Software Development Plan)

         소프트웨어 개발 계획 문서 자세한 내용은 DO-178C11.2항목 참조

  • SVP (Software Verification Plan)  

         소프트웨어 검증 계획 문서 자세한 내용은 DO-178C11.3항목 참조

  • SCM Plan (Software Configuration Management Plan)

         소프트웨어 구성 관리 계획 문서 자세한 내용은 DO-178C11.4항목 참조

  • SQA Plan (Software Quality Assurance Plan)

         소프트웨어 품질 보증 계획 문서 자세한 내용은 DO-178C11.5항목 참조


 

5. Control Category by Software Level

SW 레벨 A, B의 산출물 PSAC, SDP, SVP, SCM Plan, SQA Plan CC1을 기준으로 형상 관리하며, SW 레벨 C, D의 산출물 PSAC CC1을 기준으로, 산출물SDP, SVP, SCM Plan, SQA Plan CC2기준으로 형상 관리한다.

 

6. 달성방안

  • SDP SW 개발 절차 및 활동에서 활용하는 방법, 도구(Tool), HW장비를 선정한다.

  • Development Tools, Coding Rule, Programming Language, Editor, Compiler

  • Verification Tools: LDRA Testbed/TBrun, Debugging Tool

  • Management Tools: MS-Project, PMS, ClearCase, CVS, Doors

  • Tool 중에서는 Tool Qualification을 받아야 하는 것을 명시한다. (Ref. DO-178C 12.2)

  • Tool을 선정할 때에는 SW의 잠재적인 위험 및 결함을 최소화할 수 있는지를 고려한다.

  • SW가 탑재될 HW장비 또는 그 장비를 대신할 Emulator 또는 Simulator를 선정한다.

 

다음에는 Objective - 4에 대해 알아보도록 하자.


+ Recent posts