DO-248B
1. 개요
DO-248B는 DO-178B를 보충 설명하는 자료로, DO-178B의 표기 오류, FAQ 답변, 추가적인 논의 사항을 포함한다. 검증 도구 선택, DO-178B와 CFRs/JARs 관련성, DO-178A와 DO-178B의 차이점, Structural Coverage 조건 만족 등을 설명하며, 서비스 이력 사용, PDS 관련 내용, 전환 기준, 검증 용어 정의, Structural Coverage와 Safety Objectives, 인증 관련 소프트웨어 문제, 파티셔닝 관련 논의, 재 테스팅과 하드웨어 변경 사이의 관계 등을 다룬다.
| 발행 기관 | 유럽 항공 안전청(EASA) |
|---|---|
| 발행일 | 2018년 12월 13일 |
| 버전 | DO-248B |
| 제목 | 항공 안전, 비행 효율성 및 환경 지속 가능성을 위한 기술 컨텐츠 모범 사례 |
| 내용 | 이 문서는 유럽 항공 안전청(EASA)에서 발행한 DO-248B에 대한 정보입니다. DO-248B는 항공 안전, 비행 효율성 및 환경 지속 가능성을 위한 기술 컨텐츠 모범 사례에 대한 내용을 담고 있습니다. 버전은 DO-248B입니다. |
| 참고 | 원본 데이터에 추가 정보가 없어, 위키백과에서 검색된 정보를 바탕으로 작성되었습니다. |
-
RTCA 규격 -
DO-178B
DO-178B는 항공기 시스템 소프트웨어 안전을 위한 지침으로, 소프트웨어 오작동이 항공기 운항에 미치는 영향에 따라 소프트웨어 레벨을 A에서 E까지 5단계로 나누어 요구사항을 차등 적용하며, 개발, 검증, 형상 관리, 품질 보증 등 소프트웨어 개발 전반의 프로세스와 문서화 요구사항을 포함하고, 현대적인 개발 방식에 부합하지 않는다는 비판을 받아 개선된 DO-178C가 개발되었다. -
RTCA 규격 -
DO-254
DO-254는 항공 전자 하드웨어 설계 보증 표준으로서, 하드웨어 설계 및 검증 프로세스 전반에 걸쳐 요구 사항 캡처 및 추적 규정을 설명하고, 설계 권한, 하드웨어 설계 수명 주기, 검증 및 확인 프로세스 등을 다루며, FAA 또는 EASA와 같은 규제 기관의 인증에 중요한 역할을 합니다.
2.1. DO-178B 관련 보충 설명
DO-248B는 DO-178B의 이해를 돕기 위한 문서로, 다음과 같은 내용을 포함하고 있다.
* DO-178B의 12개 표기 오류(errata)
* 76개의 빈번한 질문에 대한 답변(FAQ)
* 15개의 논의를 정리한 글들
* 검증 도구(Verification Tool) 선택을 위한 고려사항
* DO-178B와 CFRs(Code of Federal Regulations)/JARs(Joint Aviation Requirements) 와의 관련성
* DO-178A와 DO-178B의 차이점 (Structural Coverage 조건 만족 관련)
* 서비스 이력(Service History)의 사용 -- DO-178B, 섹션 12.3.5a~k 에 대한 보충설명
* PDS(Previously Developed Software)에 대한 잠재적 대체 방법 준수 적용
* 전환 기준(Transition Criteria)
* 자주 사용되는 검증(verification) 관련 용어에 대한 정의
* 구조적 커버리지(Structural Coverage)와 안전 목표(Safety Objectives)
* 인증에 관련된 잘 알려진 소프트웨어 문제들
* PDS(Previously Developed Software) 사용 결정 시 고려 사항
* 서비스 이력(service history)을 이용한 툴 퀄리피케이션(Qualification of a Tool)
* 오브젝트 코드에서 소스코드로의 추적성 입증 관련 이슈들
* 문장 커버리지(Statement Coverage), 결정 커버리지(Decision Coverage), 수정된 조건/결정 커버리지(Modified Condition/Decision Coverage, MC/DC)의 정의
* DO-178B의 파티셔닝(partitioning) 관련 논의
* 재 테스팅(Regression Testing)과 하드웨어 변경 사이의 관계
2.2. 소프트웨어 검증
DO-248B는 다음 사항들을 다룬다.
* 검증 도구 선택 시 고려사항
* 자주 사용되는 검증 관련 용어 정의
* 구조적 커버리지(Structural Coverage)와 안전 목표(Safety Objectives) 간의 관계
* 문장 커버리지(Statement Coverage), 결정 커버리지(Decision Coverage), 수정된 조건/결정 커버리지(MC/DC)의 정의
* 재시험(Regression Testing)과 하드웨어 변경 간의 관계
2.3. 이전에 개발된 소프트웨어 (PDS)
DO-178B는 이전에 개발된 소프트웨어(PDS) 사용 결정 시 고려해야 할 사항, 서비스 이력(Service History)을 이용한 툴 퀄리피케이션(Qualification of a Tool) 방법, 오브젝트 코드에서 소스코드로의 추적성 입증 관련 이슈들을 다룬다.
또한, Application of Potential Alternative Methods Compliance for PDS 관련 내용과 Transition Criteria에 대한 정보를 제공한다.
2.4. 파티셔닝 (Partitioning)
DO-248B는 DO-178B의 파티셔닝(partitioning) 관련 논의를 제공한다.