항공기는 실패에 따른 사고 손실이 매우 크고 운용 중 수리가 불가능합니다. 특히 항공기 소프트웨그림1 . DO-332 Overview그림1 . DO-332 Overview그림1 . DO-332 Overview어의 비중이 높아짐에 따라 항공기 운용 중 발생할 수 있는 위험을 사전에 점검하여 방지하고자 DO-178C, DO-278A 등을 비롯한 많은 항공 소프트웨어 승인 지침서가 나오고 있습니다. 소프트웨어의 발전에 따라 다양한 개발방법 및 언어를 사용하여 개발하는 경우가 증가하고 있는데 RTCA에서는 이를 고려하여 C++, JAVA와 같은 OOT(객체지향기법)에 적용할 수 있는 DO-332 표준을 발표하였습니다. 오늘은 DO-332에 대해 간략히 알아보겠습니다.

 

1. DO-332란?

DO-332는 RTCA에서 발행한 DO-178C 및 DO-278A에 대한 객체 지향 기술 및 관련 기술(Object-Oriented Technology and Related Techniques Supplement to DO-178C and DO-278A) 보충 자료입니다.

 

본 부속서는 의도된 기능을 수행하는 C++, JAVA, UML 등 객체지향 언어를 사용하는 시스템 및 장비에 대해 OOT&RT(Object-Oriented Technology and Related Techniques)를 사용하여 비행 감항 요구사항을 준수하는 안전 수준으로 소프트웨어를 개발하기 위한 지침을 제공하기 위해 사용됩니다. 또한, DO-332는 DO-178C 및 DO-278A와 함께 사용이 가능합니다.

 

▸ DO-178C : 항공기 소프트웨어 인증 표준

▸ DO-278A : 지상용 소프트웨어에 대한 DO-178B 적용 관련 표준

 

2. DO-332 개요

DO-332 문서는 DO-178C의 참조 섹션에 추가 및 수정된 텍스트를 제공하며, 아래와 같은 특징을 가지고 있습니다.

 

⚪ 문서 간 중복성을 최소화하여 작성되어 있음

⚪ 영향을 받는 DO-178C Section도 본 부속서에 포함되어 있음

⚪ DO-178C가 변경되지 않은 경우, 이를 명시하고 있음

⚪ DO-178C가 대비 변경되지 않은 텍스트는 이탤릭체로 표시되어 있음

(DO-332에서 추가 또는 변경된 부분은 정자체로 표시되어 있음)

⚪ 부록 A의 달성요건(Objectives) 표에 대한 변경도 포함되어 있음

 

아래 그림 1은 DO-332와 DO-178C는 동일한 SW Life Cycle을 가지고 있지만, SW Design, 소스코드, Low Level Test 단계에서 OOT&RT를 고려한 추가활동이 이루어져야 한다는 것을 보여줍니다. OOT&RT 관련 추가활동은 본문에 정자체로 표시되어 있으며, OOT&RT와 관련된 취약점, 기술 등의 적용 차이점 기술은 [부록 OO.D] 주요 OOT&RT 기능과 관련된 취약성 (Vulnerabilities)에 포함되어 있습니다.

 

 

그림1 . DO-332 Overview

❑ DO-178C와 DO-332의 Objective 비교

 

DO-178C 대비 변경된 DO-332의 Objective는 아래와 같습니다.

 

⚪ DO-178C의 총 Objective 개수 : 71개

⚪ DO-332의 총 Objective 개수 : 73개 (2개의 Objective가 추가됨)

 

 

그림2 . DO-332의 Objective 개수

 

 

Table OO.A-7 OO 10: Verify local type consistency. (NEW)

: 해당 Objective는 로컬 유형의 일관성을 확인하는 Objective입니다. 일관성을 확인하기 위해 클래스 계층 구조에 대해 Local Type Consistency를 고려하여 설계되었는지 확인해야 합니다.

 

⚪ Table OO.A-7 OO 11: Verify the use of Dynamic Memory Management is robust. ( NEW)

: 해당 Objective는 동적 메모리 관리의 사용이 잘 이뤄지고 있는지에 대한 Objective입니다. 참조 모호성, 단편화로 인한 메모리 부족, 할당 해제(deallocation)로 인한 메모리 부족, 조기 할당 해제, 업데이트 및 오래된 참조 손실, 바인딩되지 않은 할당, 할당 해제 시간과 관련하여 동적 메모리 관리를 견고하게 수행하고 있는지 확인해야합니다.

 

DO-178대비 DO-332은 2개의 Objective만 추가되었지만, DO-332 인증을 위해서는 2개의 Objective 외 OOT 사용의 취약성과 취약성을 감소시키기 위한 기법들을 설계, 구현, 검증활동에 적용시키고 문서화 시켜야 합니다. 다음 시간에는 DO-332 취약점을 고려한 문서 작성방법에 대해 알아보겠습니다.

 

 

1. 참고 문헌

- RTCA(2011), “Objected-Oriented Technology and Related Techniques Supplement to DO-178C and DO-278A (DO-332)”

- NIPA(2020), “DO-178C 기반 항공기 분야 SW 안전 가이드”

 

======================================================================

 

자세한 정보 확인하기 : http://www.moasoftware.co.kr/

(주)모아소프트

소프트웨어 신뢰성시험, RAMS, LSA모델링, RF, EMC, 종합군수지원 전문기업

 

컨설팅 담당 장정훈 부장 02.6945.2120 jhjang@moasoftware.co.kr

기술지원 문의 강유선 팀장 02.6945.2141 yskang@moasoftware.co.kr

 

(주)모아소프트 교육 및 세미나 상시 확인

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

 

교육 및 세미나 문의

남혜미 과장

Tel. 02.6945.2182

E-mail. hmnam@moasoftware.co.kr

ALM 도구를 활용한 소프트웨어 개발 프로세스 개선

요구사항-소스코드-테스트 케이스의 실시간 추적성을 확보하며,

협업을 통한 개발 업무의 개선이 가능합니다.

■ JAMA Connect

□ SRS/SDD, 테스트 케이스, 개발 산출물 간의 실시간 추적성 확보

□ 요구사항으로부터 도출된 테스트 케이스의 생성/실행/결과 관리

□ 유저간 실시간 협업을 통한 개발 프로세스 효율성 증대 (인적, 물적 자원 사용량 감소)

 

 

□ 가상 검토를 통한 팀 간의 협업 증대

- Review Center는 큰 차별화 요소이며, 고객이 문서적인 관점에서 상호 작용하는 방식을 변화시킬 수 있다. Customer – Client 혹은, Team – Team 간의 협업을 공통으로 현재 상태에 대한 결과를 볼 수 있는 Review Center를 통해 할 수 있으므로, Face to Face 로 회의하는 형태의 현재 상태를 변화시킬 수 있다.

 

 

□ 모든 개발 프로세스의 시스템화

-개발 프로세스가 정형화되어, 기존에 개발한 프로젝트를 기반으로 재사용을 노릴 수 있으며, 신규 투입 인력들이 시스템에 적응하는 시간을 줄일 수 있으므로, 개발 기간을 대폭적으로 감소시킬 수 있다.

 

 

□ 개발 단계별 Tool Integration

-각 개발 단계별 사용되는 Tool의 연동을 통해 개발 시스템 간소화

 

항공용 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


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

 


 

+ Recent posts