Acknowledgement
Supported by : 정보통신산업진흥원
References
- OSEK/VDX Specifications, http://portal.osek-vdx.org.
- AUTOSAR, www.autosar.org.
- 홍성수 외, "OSEK와 AUTOSAR를 중심으로 본 차량용 OS와 미들웨어 기술 동향", 한국정밀공학회지, 제23권, 제9호, pp. 31-38, 2006.
- 이남희, "IT융합제품의 안전성 국제표준 인증을 위한 소프트웨어 테스팅 방법", 정보처리학회지, 제18권, 제1호, 2011년 1월.
- ISO 26262 Road vehicles-Functional Safety Part 1-10, Published 2011 at www.iso.org.
- Conformance Test Process Definition Path D, http://www.autosar.org.
- MODISTARC, OSEK/VDX Conformance Testing Methodology 2.0, 1999.
- Lin Zhou et. al, "A New Specification-based Test Data Generation Strategy for OSEK OS", 10th IEEE International Conference on Computer and Information Technology, 2010.
- Chen et al., "Conformance Testing for OSEK/VDX Operating System Using Model Checking", 18th Asia-Pacific Software Engineering Conference, pp. 274-281, 2011.
- Ling Fang et. al, "Formal Model-Based Test for AUTOSAR multicore RTOS", IEEE fifth International Conference on Software Testing, Verification and Validation, 2012.
- TTCN-3, Testing and Test Control Notation Version 3, http://www.ttcn-3.org/
- 김광훈, "차량용 소프트웨어 프레임워크 AUTOSAR 테스팅 동향 분석", 정보처리학회지, 제18권, 제1호, 2011년 1월.
- 금대현 외, "AUTOSAR 소프트웨어 컴포넌트의 유닛테스트 방법", 정보과학회논문지: 컴퓨팅의 실제 및 레터, 제16권, 제11호, 2010년 11월.
- Vector, DaVinci Component Tester, http://vector.com/vi_davinci_component_tester_en.html.
- Marcus Mews et. al, "From AUTOSAR Models to Co-Simulation for MiL-Testing in the Automotive Domain", IEEE Fifth International Conference on Software Testing, Verification and Validation, 2012.
- Vector CANoe, http://vector.com/vi_canoe_en.html.
- dSPACE AutomationDesk, http://www.dspace.com/en/inc/home/products/sw/expsoft/automdesk.cfm.
- Erik Endres et al., "Towards the Formal Verification of a Distributed Real-Time Automotive System", Proceedings of NASA Formal Method Symposium, 2010.
- Klein et al., "seL4: Formal Verification of an OS kernel", Communications of the ACM, 2010.
- Waszniowski et al, "Formal verification on multitasking applications based on timed automata model", Realtime Systems, 2008.
- 강인혜, "자동차 전장 시스템의 AUTOSAR 기반 시간요구사항 명세와 검증", 정보과학회논문지: 시스템 및 이론, 제38권, 제6호, 2011년 12월.
- Yunja Choi, "Safety Analysis of the Trampoline OS using Model Checking: An Experience Report", 22nd IEEE International Symposium on Software Reliability Engineering, 2011.
- Shi et al. "ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System", IEEE 17th International Conference on Engineering of Complex Computer Systems.
- AUTOSAR, Specification of Timing Extensions, http://www.autosar.org.
- M. Krause et. al, "Timing Simulation of Interconnected AUTOSAR Software- Components", Design, Automation & Test in Europe Conference & Exhibition 07, 2007.
- K. Lakshmanan et. al, "Integrated End-to-End Timing Analysis of Networked AUTOSAR-Compliant Systems", Design, Automation & Test in Europe Conference & Exhibition, 2010.
- A. C. Rajeev et. al, "Verifying Timing Synchronization Constraints in Distributed Embedded Architectures", Design, Automation & Test in Europe Conference & Exhibition, 2012.