지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
Abstract
1. 서론
2. DO-178C 주요 개정 개관
3. DO-178C 개정 주요 세부사항
4. 툴 검정(Tool Qualification) 지침의 적용
5. DO-178C 관련 보충 문서
6. 인증에의 적용
7. 결언
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
DO-178C(항공용 소프트웨어 감항인증)에 적합한 정적분석을 활용한 소프트웨어 동적시험 프로세스 구축 사례 연구
한국항공우주학회 학술발표회 초록집
2016 .04
항공소프트웨어 안전성 검증을 위한 강건성 테스팅 방안
한국항공우주학회 학술발표회 초록집
2023 .04
DO-178C에 따른 항공용 소프트웨어의 적합성 입증 방법에 관한 연구
항공진흥
2016 .12
DO-178C(항공용 소프트웨어 감항인증)에 적합한 요구사항기반 시험 절차 및 Test Coverage 달성 방안 연구
한국항공우주학회 학술발표회 초록집
2016 .11
항공기 소프트웨어의 건전성 관리시스템을 위한 설계지침
항공우주시스템공학회 학술행사 논문집
2018 .04
항공무기체계 운용 간 소프트웨어 고장 이력을 활용한 소프트웨어 신뢰도 예측 및 추정모델 적합성 검증
항공우주시스템공학회 학술행사 논문집
2017 .04
항공기 소프트웨어의 동시성 오류를 위한 감시 기법
항공우주시스템공학회 학술행사 논문집
2019 .05
모델 기반 개발 도구 SCADE를 이용한 DO-178C 준용 항공용 소프트웨어 개발 프로세스
한국항공우주학회 학술발표회 초록집
2021 .11
Component-based Software Architecture Design Method for Defense Software
Journal of KIISE
2019 .11
안전필수 항공 산업용 소프트웨어 평가 방법 연구
한국항행학회논문지
2015 .01
병행성을 가진 항공기 소프트웨어를 모의실험하기 위한 소프트웨어 프레임워크
항공우주시스템공학회 학술행사 논문집
2019 .05
소프트웨어 역량의 핵심, 소프트웨어 및 시스템 제품라인
정보과학회지
2018 .04
항공 드론 제어용 소프트웨어 및 알고리즘 개발 동향
한국멀티미디어학회지
2016 .06
항공기 소프트웨어의 건전성 관리시스템에서 순서위배를 감시하기위한 기법
한국항공우주학회 학술발표회 초록집
2019 .11
DO-330 소프트웨어 도구 자격증명 생명주기 데이터에 대한 고찰
한국항공우주학회 학술발표회 초록집
2019 .11
DO-178C 인증규격에 따른 소프트웨어 검증계획 수립에 대한 연구
한국항공우주학회 학술발표회 초록집
2016 .11
DO-178 기반의 군용항공기 탑재 안전필수 소프트웨어 감항인증 방안에 대한 고찰
항공우주시스템공학회 학술행사 논문집
2018 .11
DO-178/331 가이드에 따른 항공용 엔진제어소프트웨어 개발
항공우주시스템공학회 학술행사 논문집
2017 .04
철도시스템 소프트웨어의 정량적 신뢰성 예측평가 도구개발
한국철도학회 논문집
2022 .01
국내 소프트웨어공학의 전문용어 사용: 소프트웨어 안전 분야를 중심으로
정보과학회지
2022 .05
0