Skip to main content
SpringerLink
Log in

Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems

  • Conference paper
  • First Online:
Automated Technology for Verification and Analysis (ATVA 2023)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14215))

Abstract

Correctness of controller implementations rely on real-time guarantees that all control tasks finish execution by their prescribed deadlines. However, with increased complexity and heterogeneity in hardware, the worst-case execution time estimates are becoming very conservative. Thus, for efficient usage of hardware resources, some control tasks might have to miss their deadlines. Recent work has shown that a system can still abide by its safety requirements even after missing some of its deadlines. This paper investigates an approach to synthesize a scheduler for control tasks that miss some deadlines without compromising its safety requirements. But given that the number of possible schedules increase combinatorially with the number of tasks involved, our scheduler synthesis uses an efficient automata representation to search for the appropriate schedule. We incorporate statistical verification techniques to construct this automaton and accelerate the search process. Statistical verification is advantageous compared to deterministic verification in the synthesis process in two ways: first, it enables us to synthesize schedules that would not be possible otherwise, and second, it drastically reduces the time taken to synthesize such a schedule. We demonstrate both these advantages through a case study with five controllers having different safety specifications, but sharing the same computational resource.

This work was supported by the NSF grant #2038960.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 79.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Bernat, G., Burns, A., Liamosi, A.: Weakly hard real-time systems. IEEE Trans. Comput. 50(4), 308–321 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  2. Bezanson, J., Edelman, A., Karpinski, S., Shah, V.B.: Julia: a fresh approach to numerical computing. SIAM Rev. 59(1), 65–98 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  3. Bordoloi, U.D., Chakraborty, S., Jochim, M., Joshi, P., Raghuraman, A., Ramesh, S.: Autonomy-driven emerging directions in software-defined vehicles. In: Design, Automation & Test in Europe Conference & Exhibition (DATE) (2023)

    Google Scholar 

  4. von der Brüggen, G., et al.: Efficiently approximating the probability of deadline misses in real-time systems. In: Euromicro Conference on Real-Time Systems. ECRTS (2018)

    Google Scholar 

  5. Chakraborty, S., Erlebach, T., Thiele, L.: On the complexity of scheduling conditional real-time code. In: Dehne, F., Sack, J.-R., Tamassia, R. (eds.) WADS 2001. LNCS, vol. 2125, pp. 38–49. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-44634-6_5

    Chapter  Google Scholar 

  6. Chakraborty, S., et al.: Automotive cyber-physical systems: a tutorial introduction. IEEE Des. Test 33(4), 92–108 (2016)

    Article  Google Scholar 

  7. Chang, W., Chakraborty, S.: Resource-aware automotive control systems design: a cyber-physical systems approach. Found. Trends Electron. Des. Autom. 10(4), 249–369 (2016)

    Article  Google Scholar 

  8. Duggirala, P.S., Viswanathan, M.: Analyzing real time linear control systems using software verification. In: IEEE Real-Time Systems Symposium (RTSS) (2015)

    Google Scholar 

  9. Fraccaroli, E., Joshi, P., Xu, S., Shazzad, K., Jochim, M., Chakraborty, S.: Timing predictability for SOME/IP-based service-oriented automotive in-vehicle networks. In: Design, Automation & Test in Europe Conference & Exhibition (DATE) (2023)

    Google Scholar 

  10. Gabel, R.A., Roberts, R.A.: Signals and Linear Systems. Wiley, Hoboken (1987)

    Google Scholar 

  11. Georgakos, G., et al.: Reliability challenges for electric vehicles: from devices to architecture and systems software. In: 50th Annual Design Automation Conference (DAC) (2013)

    Google Scholar 

  12. Ghosh, B., et al.: Statistical hypothesis testing of controller implementations under timing uncertainties. In: 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) (2022)

    Google Scholar 

  13. Goswami, D., Lukasiewycz, M., Schneider, R., Chakraborty, S.: Time-triggered implementations of mixed-criticality automotive software. In: Design, Automation & Test in Europe Conference & Exhibition (DATE) (2012)

    Google Scholar 

  14. Goswami, D., Schneider, R., Chakraborty, S.: Re-engineering cyber-physical control applications for hybrid communication protocols. In: Design, Automation and Test in Europe (DATE) (2011)

    Google Scholar 

  15. Hamdaoui, M., Ramanathan, P.: A dynamic priority assignment technique for streams with (m, k)-firm deadlines. IEEE Trans. Comput. 44(12), 1443–1451 (1995)

    Article  MATH  Google Scholar 

  16. Hammadeh, Z., Ernst, R., Quinton, S., Henia, R., Rioux, L.: Bounding deadline misses in weakly-hard real-time systems with task dependencies. In: Design, Automation & Test in Europe Conference & Exhibition (DATE) (2017)

    Google Scholar 

  17. Hobbs, C., Ghosh, B., Xu, S., Duggirala, P.S., Chakraborty, S.: Safety analysis of embedded controllers under implementation platform timing uncertainties. IEEE Trans. Comput.-Aided Des. Integr. Circ. Syst. 41(11), 4016–4027 (2022)

    Google Scholar 

  18. Huang, C., Chang, K.-C., Lin, C.-W., Zhu, Q.: SAW: a tool for safety analysis of weakly-hard systems. In: Lahiri, S.K., Wang, C. (eds.) CAV 2020. LNCS, vol. 12224, pp. 543–555. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-53288-8_26

    Chapter  Google Scholar 

  19. Huang, C., Li, W., Zhu, Q.: Formal verification of weakly-hard systems. In: 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC) (2019)

    Google Scholar 

  20. Ju, L., Huynh, B.K., Roychoudhury, A., Chakraborty, S.: Timing analysis of Esterel programs on general-purpose multiprocessors. In: 47th Design Automation Conference (DAC) (2010)

    Google Scholar 

  21. Ju, L., et al.: Context-sensitive timing analysis of Esterel programs. In: 46th Design Automation Conference (DAC) (2009)

    Google Scholar 

  22. Kumar, P., Goswami, D., Chakraborty, S., Annaswamy, A., Lampka, K., Thiele, L.: A hybrid approach to cyber-physical systems verification. In: The 49th Annual Design Automation Conference (DAC) (2012)

    Google Scholar 

  23. Maggio, M., Hamann, A., Mayer-John, E., Ziegenbein, D.: Control-system stability under consecutive deadline misses constraints. In: 32nd Euromicro Conference on Real-Time Systems (ECRTS) (2020)

    Google Scholar 

  24. Majumdar, R., Saha, I., Zamani, M.: Synthesis of minimal-error control software. In: 12th International Conference on Embedded Software (EMSOFT) (2012)

    Google Scholar 

  25. Masrur, A., et al.: VM-based real-time services for automotive control applications. In: 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) (2010)

    Google Scholar 

  26. Mundhenk, P., et al.: Security analysis of automotive architectures using probabilistic model checking. In: 52nd Annual Design Automation Conference (DAC) (2015)

    Google Scholar 

  27. Osman, K., Rahmat, M.F., Ahmad, M.A.: Modelling and controller design for a cruise control system. In: 5th International Colloquium on Signal Processing & Its Applications (2009)

    Google Scholar 

  28. O’Kelly, M., Zheng, H., Karthik, D., Mangharam, R.: F1TENTH: an open-source evaluation environment for continuous control and reinforcement learning. In: Proceedings of the NeurIPS 2019 Competition and Demonstration Track. PMLR (2020). https://proceedings.mlr.press/v123/o-kelly20a.html

  29. Parisotto, E., Mohamed, A.R., Singh, R., Li, L., Zhou, D., Kohli, P.: Neuro-symbolic program synthesis. arXiv preprint arXiv:1611.01855 (2016)

  30. Pazzaglia, P., et al.: Adaptive design of real-time control systems subject to sporadic overruns. In: Design Automation and Test in Europe (DATE) (2021)

    Google Scholar 

  31. Pazzaglia, P., Mandrioli, C., Maggio, M., Cervin, A.: DMAC: deadline-miss-aware control. In: Euromicro Conference on Real-Time Systems (ECRTS) (2019)

    Google Scholar 

  32. Pazzaglia, P., Sun, Y., Natale, M.D.: Generalized weakly hard schedulability analysis for real-time periodic tasks. ACM Trans. Embed. Comput. Syst. 20(1), 1–26 (2020). https://doi.org/10.1145/3404888

    Article  Google Scholar 

  33. Roy, D., Zhang, L., Chang, W., Goswami, D., Chakraborty, S.: Multi-objective co-optimization of FlexRay-based distributed control systems. In: IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) (2016)

    Google Scholar 

  34. Schkufza, E., Sharma, R., Aiken, A.: Stochastic superoptimization. ACM SIGARCH Comput. Archit. News 41(1), 305–316 (2013)

    Article  Google Scholar 

  35. Schneider, R., Goswami, D., Zafar, S., Chakraborty, S., Lukasiewycz, M.: Constraint-driven synthesis and tool-support for FlexRay-based automotive control systems. In: 2011 Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) (2011)

    Google Scholar 

  36. Schneider, R., et al.: Multi-layered scheduling of mixed-criticality cyber-physical systems. J. Syst. Archit. 59(10-D), 1215–1230 (2013)

    Google Scholar 

  37. Tibba, G., Malz, C., Stoermer, C., Nagarajan, N., Zhang, L., Chakraborty, S.: Testing automotive embedded systems under X-in-the-loop setups. In: 35th International Conference on Computer-Aided Design (ICCAD) (2016)

    Google Scholar 

  38. Tilbury, D., Messner, B.: Control Tutorials for MATLAB and Simulink. https://ctms.engin.umich.edu/CTMS/index.php?aux=Home

  39. Vreman, N., Pates, R., Maggio, M.: WeaklyHard.jl: scalable analysis of weakly-hard constraints. In: 28th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) (2022)

    Google Scholar 

  40. Waszecki, P., et al.: Automotive electrical and electronic architecture security via distributed in-vehicle traffic monitoring. IEEE Trans. Comput. Aided Des. Integr. Circ. Syst. 36(11), 1790–1803 (2017)

    Google Scholar 

  41. Xu, S., Ghosh, B., Hobbs, C., Thiagarajan, P.S., Chakraborty, S.: Safety-aware flexible schedule synthesis for cyber-physical systems using weakly-hard constraints. In: 28th Asia and South Pacific Design Automation Conference (ASP-DAC) (2023)

    Google Scholar 

  42. Zhang, L., Goswami, D., Schneider, R., Chakraborty, S.: Task-and network-level schedule co-synthesis of ethernet-based time-triggered systems. In: 19th Asia and South Pacific Design Automation Conference (ASP-DAC) (2014)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of North Carolina at Chapel Hill, Chapel Hill, NC, 27599, USA

    Shengjie Xu, Bineet Ghosh, Clara Hobbs, Enrico Fraccaroli, Parasara Sridhar Duggirala & Samarjit Chakraborty

Authors
  1. Shengjie Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bineet Ghosh
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Clara Hobbs
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Enrico Fraccaroli
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Parasara Sridhar Duggirala
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Samarjit Chakraborty
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shengjie Xu .

Editor information

Editors and Affiliations

  1. Université Sorbonne Paris Nord, Villetaneuse, France

    Étienne André

  2. Singapore Management University, Singapore, Singapore

    Jun Sun

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Xu, S., Ghosh, B., Hobbs, C., Fraccaroli, E., Duggirala, P.S., Chakraborty, S. (2023). Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems. In: André, É., Sun, J. (eds) Automated Technology for Verification and Analysis. ATVA 2023. Lecture Notes in Computer Science, vol 14215. Springer, Cham. https://doi.org/10.1007/978-3-031-45329-8_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-45329-8_15

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-45328-1

  • Online ISBN: 978-3-031-45329-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation