국회도서관 서비스 이용에 대한 안내를 해드립니다.
검색결과 (전체 1건)
원문 있는 자료 (1)열기
원문아이콘이 없는 자료는 국회도서관에 방문하여 책자로만 이용이 가능합니다.
목차보기더보기
표제지
요약
목차
1. 서론 10
2. 시스템 안전성에 대한 인식과 추세 12
3. DO178B 15
3.1. DO178B의 역사 15
3.2. DO-I78B의 목적 및 개요 16
3.3. 소프트웨어 안전 등급과 Control Category 18
3.4. DO-178B의 검증 프로세스 21
3.5. DO-178B 관련 이슈 분석 24
4. MoD DS 00-55 분석을 통한 정형적 활동항목 식별 26
4.1. DO-178B와 Def Stan 00-55의 차이점 27
4.2. Def Stan 00-55의 정형기법 요구 활동 29
4.3. Def Stan 00-55와 DO-178B의 프로세스 공유 가능성 37
5. DO-178B 와 CC EAL7 대응을 통한 수명주가 데이터의 정형화 39
5.1. DO-178B vs. CC 비교 대상 및 범위 39
5.2. DO-178B 수명주기 데이터의 중요성 41
5.3. DO-178B 수명주기 데이터와 CC 개발 클래스의 매핑 42
5.4. 정형기법 적용 가능 수명주기 데이터 항목 44
6. Ravenscar Profile 47
7. Case Study: 제안된 정형기법 적용 사례 52
7.1. 정형 명세 및 검증 52
7.2. 컴포넌트의 재사용 58
8. 결 론 60
9. 참고문헌 63
감사의 글
표 1. 시스템 실패조건과 소프트웨어 등급 19
표 2. SCM Process Objectives Associated with CC1 and CC2 20
표 3. 소프트웨어 검증의 수준별 검증 대상 및 충족 목표 21
표 4. 요구사항 기반 테스팅 방법론와 에러 탐지 범위 23
표 5. MoD Def Stan 00-55 개발 프로세스 별 정형기법 적용 항목 36
표 6. CC EAL7 개발 클래스의 정형기법 요구수준 (CC v.2.3 기준) 40
표 7. CC EAL7 개발 클래스와 DO-178B 매핑 결과 43
표 8. DO-178B 수명주기 데이터의 정형기법 적용 항목 45
그림 1. 정형기법 기반의 안전성 표준 연구에 대한 개요 11
그림 2. DO-178B의 소프트웨어 수명주기 프로세스 구성 17
그림 3. DO-178B의 테스팅 프로세스 22
그림 4. Def Stan 00-55의 소프트웨어 개발 프로세스 레코드 38
그림 5. 수정된 DO-178B 및 Ravenscar Profile의 프로세스 통제 개념 51
그림 6. Ravenscar Profile 적용 실시간 소프프웨어 예제의 구조도 53
그림 7. Statechart를 이용한 시스템 행위 모델의 설계 56
그림 8. Statemate ModelCheckel 수행 결과 57
그림 9. Generic Chart를 사용한 재사용 모듈의 설계 58
원문구축 및 2018년 이후 자료는 524호에서 직접 열람하십시요.
도서위치안내: / 서가번호:
우편복사 목록담기를 완료하였습니다.
* 표시는 필수사항 입니다.
* 주의: 국회도서관 이용자 모두에게 공유서재로 서비스 됩니다.
저장 되었습니다.
국회전자도서관에 오신 것을 환영합니다. 로그인을 하시려면 아이디와 비밀번호를 입력해주세요. 모바일 간편 열람증으로 입실한 경우 회원가입을 해야합니다.
공용 PC이므로 한번 더 로그인 해 주시기 바랍니다.
아이디 또는 비밀번호를 확인해주세요
