Integration and Evaluation of a Contract-Based Flexible Real-Time Scheduling Framework in AUTOSAR OS

  • Ming Zhang
  • Nenggan ZhengEmail author
  • Hong Li
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11204)


FRESCOR (Framework for Real-time Embedded Systems based on COntRacts) is a flexible real-time scheduling architecture for real-time systems. This paper describes our implementation experience of integrating the FRESCOR framework in an AUTOSAR-compliant Real-Time Operating System. Performance evaluation shows that the performance overheads of integrating FRESCOR is acceptable on an embedded microcontroller.


AUTOSAR Real-Time Operating Systems Contract-based 



This work is partially supported by NSFC Project # 61672454 and # 61602404; Zhejiang Provincial Natural Science Foundation Project # LY16F020007.


  1. 1.
    Harbour, M.G., de Esteban M.T.: Architecture and contract model for integrated resources II. Deliverable of the FRESCOR project (DAC2v2) (2008)Google Scholar
  2. 2.
    Aldea, M., Bernat, G., Broster, I., et al.: FSF: a real-time scheduling architecture framework. In: Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 113–124. IEEE (2006)Google Scholar
  3. 3.
    AUTOSAR Specification.
  4. 4.
    Zhao, M., Wu, Z., Yang, G., et al.: SmartOSEK: a dependable platform for automobile electronics. In: The First International Conference on Embedded Software and System (2004). ISSN 0302-9743Google Scholar
  5. 5.
    Liu, J.W.S.: Real-Time Systems. Prentice Hall, Upper Saddle River (2000)Google Scholar
  6. 6.
    Zhao, Q., Gu, Z., Zeng, H., et al.: Schedulability analysis and stack size minimization with preemption thresholds and mixed-criticality scheduling. J. Syst. Archit. 83, 57–74 (2018)CrossRefGoogle Scholar
  7. 7.
    Zhao, Q., Gu, Z., Zeng, H.: Design optimization for AUTOSAR models with preemption thresholds and mixed-criticality scheduling. J. Syst. Archit. 72, 61–68 (2017)CrossRefGoogle Scholar
  8. 8.
    Zhao, Q., Gu, Z., Yao, M., et al.: HLC-PCP: a resource synchronization protocol for certifiable mixed criticality scheduling. J. Syst. Archit. 66, 84–99 (2016)CrossRefGoogle Scholar
  9. 9.
    Zhao, Q., Gu, Z., Zeng, H.: Resource synchronization and preemption thresholds within mixed-criticality scheduling. ACM Trans. Embed. Comput. Syst. (TECS) 14(4), 81 (2015)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.College of Computer ScienceZhejiang UniversityHangzhouChina
  2. 2.Qiushi Academy for Advanced StudiesZhejiang UniversityHangzhouChina

Personalised recommendations