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