References
- 배현섭, 한일영, 오승욱, "차량 SW 신뢰성 검증 로드맵 및 미래 발전 방향", 현대기아자동차 그룹 학술대회, 2015.
- B. Schatz, A. Pretschner, F. Huber, and J.Philipps, "Model-Based Development of Embedded Systems", Technische Universitat Munchen, 2002.
- Michael Shulze, Jens Weiland, and Danilo Beuche, "Automotive Model-Driven Development and the Challenge of Variabiliy", ACM, pp 207, 2012.
- ISO 26262-6 : Road vehicles-Functional safety-Part 6: Product development at the software level.
- MISRA AC INT : Introduction to the MISRA guidelines for the use of automatic code generation in automotive systems, MISRA, November 2007.
- Mathworks Inc. Simulink. http://www.mathworks.com/proudcts/simulink
- Mathworks Inc. Stateflow http://www.mathworks.com/proudcts/stateflow
- dSPACE Gmbh. Targetlink http://www.dspace.com/en/inc/home/products/sw/pcgs /targetli.cfm
- MISRA AC GMG : Generic modelling design and style guidelines, MISRA, May 2009.
- 슈어소프트테크(주). Model Inspector http://www.suresofttech.com
- 슈어소프트테크(주). Model Verifier http://www.suresofttech.com
- 박인권, 강해달, "ISO/DIS 26262를 대비한 자동차 제어기 테스팅 기법", 정보처리학회지, 제18권, 제1호, 59-67,2011