지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers Journal of KIISE Journal of KIISE Vol.46 No.8
- 발행연도
- 2019.8
- 수록면
- 814 - 822 (9page)
- DOI
- 10.5626/JOK.2019.46.8.814
이용수
초록· 키워드
오류제보하기
정형 검증은 소프트웨어의 정확성을 검증할 수 있는 유용한 기법이지만, 운영체제와 같이 규모가 큰 소프트웨어 전체를 대상으로 한번에 적용하는 것에는 상태 폭발같은 문제로 인해 어려움이 따른다. IEC 61508이나 DO-178과 같은 안전 필수 분야의 표준에서는 정형 검증을 통한 소프트웨어의 정확성 확인을 소프트웨어의 안전 수준에 따라 일부 권장하고 있다. 본 논문에서는 표준 인터페이스를 준수하는 운영체제를 위한 정형 검증 프레임워크, FMProjector를 소개한다. 운영체제를 검증하기 위하여 소프트웨어를 수평적 · 수직적으로 분석하기 위한 접근 방법을 제안하며, 표준 인터페이스로부터 운영체제의 모든 개발 산출물에 대한 추적성을 기반으로 검증 영역을 식별할 수 있는 체계적인 방법을 제시한다. FMProjector를 항공용 RTOS의 인터페이스 표준인 ARINC-653을 준수하도록 개발한 운영체제, Qplus-AIR를 대상으로 적용한 사례연구를 소개한다.
목차
요약
Abstract
1. 서론
2. 배경지식
3. 관련연구
4. 정형검증 프레임워크
5. 사례연구
6. 결론 및 향후 연구
References
참고문헌 (22)
참고문헌 신청
IEC, 61508: Functional Safety of Electrical/ Electronic/Programmable Electronic Safety-related Systems, 2010.
Radio Technical Commission for Aeronautics (RTCA), DO-178B: Software Considerations in Airborne Systems and Equipment Certification, 1992.
E. M. Clarke and J. M. Wing, "Formal methods: State of the art and future directions," ACM Computing Surveys (CSUR), Vol. 28, No. 4, pp. 626-643, 1996.
E. M. Clarke, W. Klieber, M. Nováček, and P. Zuliani, "Model checking and the state explosion problem," LASER Summer School on Software Engineering, Springer, Berlin, Heidelberg, 2011.
D. Choi, et al., "A Study on Development of UAV Flight Control Software using Qplus-AIR," The Korean Society For Aeronautical And Space Sciences Spring Conference 2012, pp. 1176-1180, 2012.
Radio Technical Commission for Aeronautics (RTCA), DO-178B: Software Considerations in Airborne Systems and Equipment Certification, 1992.
E. M. Clarke and J. M. Wing, "Formal methods: State of the art and future directions," ACM Computing Surveys (CSUR), Vol. 28, No. 4, pp. 626-643, 1996.
E. M. Clarke, W. Klieber, M. Nováček, and P. Zuliani, "Model checking and the state explosion problem," LASER Summer School on Software Engineering, Springer, Berlin, Heidelberg, 2011.
D. Choi, et al., "A Study on Development of UAV Flight Control Software using Qplus-AIR," The Korean Society For Aeronautical And Space Sciences Spring Conference 2012, pp. 1176-1180, 2012.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Formal Model Design for Network and Operating System Behaviors in Real-time Distributed System Verification with Coq
Journal of KIISE
2020 .11
-
DO-178C 인증규격에 따른 소프트웨어 검증계획 수립에 대한 연구
한국항공우주학회 학술발표회 초록집
2016 .11
-
정형 검증을 통한 동시성 소프트웨어의 추상화 명세 제공
정보과학회지
2023 .06
-
“소프트웨어 검증” 특집을 내면서
정보과학회지
2019 .04
-
체계적인 소프트웨어 확인 및 검증 절차를 통한 안전관련 소프트웨어 신뢰도 향상 방안
한국정보과학회 학술발표논문집
2015 .12
-
심층신경망의 정형검증 기법 소개
정보과학회지
2020 .04
-
구조적 성질을 활용한 심층신경망의 정형검증 기법
한국정보과학회 학술발표논문집
2020 .07
-
모델검증을 활용한 자가-적응 소프트웨어 검증 및 전략 추출 방법
한국정보과학회 학술발표논문집
2015 .12
-
전력시스템 소프트웨어의 안전표준에 대한 연구
대한전기학회 학술대회 논문집
2022 .10
-
엄밀한 검증을 통한 격리
정보과학회지
2020 .03
-
ISO26262 국제 표준에 따른 소프트웨어 동적검증 방법 분석
제어로봇시스템학회 국내학술대회 논문집
2024 .07
-
네트워크 운영체제 기술동향
[ETRI] 전자통신동향분석
2015 .12
-
항공소프트웨어 안전성 검증을 위한 강건성 테스팅 방안
한국항공우주학회 학술발표회 초록집
2023 .04
-
개발 표준화에 의한 완성된 제어기 소프트웨어의 차량 검증을 위한 사전 검증 방안 연구
한국자동차공학회 추계학술대회 및 전시회
2024 .11
-
철도시스템 소프트웨어의 정량적 신뢰성 예측평가 도구개발
한국철도학회 논문집
2022 .01
-
ROS 기반의 자율주행 소프트웨어의 실시간 요구사항 분석
한국컴퓨터정보학회 학술발표논문집
2023 .07
-
모델기반설계 소프트웨어 신뢰성 검증에 관한 연구
한국항공우주학회 학술발표회 초록집
2015 .11
-
표준기반 가치평가와 표준 구현 및 검증 활동에 대한 고찰
한국통신학회 학술대회논문집
2020 .08
-
사용자 인터페이스 프레임워크 기능 설계
한국통신학회 학술대회논문집
2016 .06
-
안전필수 항공 산업용 소프트웨어 평가 방법 연구
한국항행학회논문지
2015 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0