Transactions of the Korean Society of Automotive Engineers (한국자동차공학회논문집)

The Korean Society of Automotive Engineers (한국자동차공학회)
권호 표지
DOI QR코드

DOI QR Code

Timing Verification of AUTOSAR-compliant Diesel Engine Management System Using Measurement-based Worst-case Execution Time Analysis

측정기반 최악실행시간 분석 기법을 이용한 AUTOSAR 호환 승용디젤엔진제어기의 실시간 성능 검증에 관한 연구

  • Park, Inseok (Automotive Control and Electronics Laboratory (ACE Lab), Hanyang University) ;
  • Kang, Eunhwan (Department of Automotive Engineering, Graduate School, Hanyang University) ;
  • Chung, Jaesung (Department of Automotive Engineering, Graduate School, Hanyang University) ;
  • Sohn, Jeongwon (Department of Automotive Engineering, Graduate School, Hanyang University) ;
  • Sunwoo, Myoungho (Department of Automotive Engineering, Hanyang University) ;
  • Lee, Kangseok (Department of Control & Instrumentation Engineering, Graduate School, Changwon National University) ;
  • Lee, Wootaik (Department of Control & Instrumentation Engineering, Changwon National University) ;
  • Youn, Jeamyoung (Eco-Vehicle Control System Development Team, Hyundai-Kia R&D Center) ;
  • Won, Donghoon (Eco-Vehicle Control System Development Team, Hyundai-Kia R&D Center)
  • 박인석 (한양대학교 자동차전자제어연구소) ;
  • 강은환 (한양대학교 대학원 자동차공학과) ;
  • 정재성 (한양대학교 대학원 자동차공학과) ;
  • 손정원 (한양대학교 대학원 자동차공학과) ;
  • 선우명호 (한양대학교 미래자동차공학과) ;
  • 이강석 (창원대학교 대학원 제어계측공학과) ;
  • 이우택 (창원대학교 제어계측공학과) ;
  • 연제명 (현대자동차 환경차제어개발팀) ;
  • 원동훈 (현대자동차 환경차제어개발팀)
  • Received : 2013.12.13
  • Accepted : 2014.04.16
  • Published : 2014.07.01
Download PDF
⟨ Previous Next ⟩

Abstract

In this study, we presented a timing verification method for a passenger car diesel engine management system (EMS) using measurement-based worst-case execution time (WCET) analysis. In order to cope with AUTOSAR-compliant software architecture, a development process model is proposed. In the process model, a runnable is regarded as a test unit and its temporal behavior (i.e. maximum observed execution time, MOET) is obtained along with on-target functionality evaluation results during online unit test. Furthermore, a cost-effective framework for online unit test is proposed. Because the runtime environment layer and the standard calibration environment are utilized to implement test interface, additional resource consumption of the target processor is minimized. Using the proposed development process model and unit test framework, the MOETs of 86 runnables for diesel EMS are obtained with 213 unit test cases. Using the obtained MOETs of runnables, the WCETs of tasks are estimated and the schedulability is evaluated. From the schedulability analysis results, the problems of the initially designed schedule table is recognized and it is fixed by redesigning of the runnable mapping and task offset. Through the various test scenarios, the proposed method is validated.

Keywords

References

  1. J. Choi, M. Shin, M. Sunwoo and S. Han, "Timing Analysis of Distributed Real-time Control System using Response-time Analysis Tool," Transactions of KSAE, Vol.13, No.1, pp.194-203, 2005.
  2. ISO, ISO 26262: Road Vehicles-Functional Safety-Part 6: Product Development at the Software Level, International Organization for Standardization (ISO), 2011.
  3. H. Park, S. Yang and Y. Choi, "Static Worstcase Execution Time Analysis Tool for Scheduling Primitives about Embedded OS," Journal of KISS(C): Computing Practices and Letters, Vol.13, No.5, pp.271-281, 2007.
  4. R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat and P. Stenstrom, "The Worst-case Execution-time Problem: Overview of Methods and Survey of Tools," ACM Trans. Embed. Comput. Syst., Vol.7, No.3, pp.1-53, 2008.
  5. S. Bunte, M. Zolda, M. Tautschnig and R. Kirner, "Improving the Confidence in Measurement-based Timing Analysis," Object/Component/Service-oriented Real-time Distributed Computing (ISORC), IEEE International Symposium, pp.144-151, 2011.
  6. I. Wenzel, R. Kirner, B. Rieder and P. Puschner, Measurement-based Timing Analysis, Leveraging Applications of Formal Methods, Verification and Validation, Vol.17, T. Margaria and B. Steffen, 1st Edn., Springer, Berlin Heidelberg, pp.430-444, 2009.
  7. K. Lee, I. Park, M. Sunwoo and W. Lee, "AUTOSAR-ready Light Software Architecture for Automotive Embedded Control Systems," Transactions of KSAE, Vol.21, No.1, pp.68-77, 2013. https://doi.org/10.7467/KSAE.2013.21.1.068
  8. I. Park, W. Lee and M. Sunwoo, "Application Software Modeling and Integration Methodology using AUTOSAR-ready Light Software Architecture," Transactions of KSAE, Vol.20, No.6, pp.117-125, 2012. https://doi.org/10.7467/KSAE.2012.20.6.117
  9. B. Broekman and E. Notenboom, Testing Embedded Software, 1st Edn., Pearson Education, London, 2003.
  10. O. Scheickl, C. Ainhauser and P. Gliwa, "Tool Support for Seamless System Development Based on AUTOSAR Timing Extensions," Embedded Real Time Software and Systems (ERTS), 2012.
  11. K. Tindell, Fixed Priority Scheduling of Hard Real-time Systems, Ph. D. Dissertation, University of York, York, 1994.

Cited by

  1. Resource-aware integration of AUTOSAR-compliant ECUs with an empirical wcet prediction model vol.17, pp.4, 2016, https://doi.org/10.1007/s12239-016-0071-4