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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Bernat, G., Burns, A., Liamosi, A.: Weakly hard real-time systems. IEEE Trans. Comput. 50(4), 308–321 (2001)
Bezanson, J., Edelman, A., Karpinski, S., Shah, V.B.: Julia: a fresh approach to numerical computing. SIAM Rev. 59(1), 65–98 (2017)
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)
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)
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
Chakraborty, S., et al.: Automotive cyber-physical systems: a tutorial introduction. IEEE Des. Test 33(4), 92–108 (2016)
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)
Duggirala, P.S., Viswanathan, M.: Analyzing real time linear control systems using software verification. In: IEEE Real-Time Systems Symposium (RTSS) (2015)
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)
Gabel, R.A., Roberts, R.A.: Signals and Linear Systems. Wiley, Hoboken (1987)
Georgakos, G., et al.: Reliability challenges for electric vehicles: from devices to architecture and systems software. In: 50th Annual Design Automation Conference (DAC) (2013)
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)
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)
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)
Hamdaoui, M., Ramanathan, P.: A dynamic priority assignment technique for streams with (m, k)-firm deadlines. IEEE Trans. Comput. 44(12), 1443–1451 (1995)
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)
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)
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
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)
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)
Ju, L., et al.: Context-sensitive timing analysis of Esterel programs. In: 46th Design Automation Conference (DAC) (2009)
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)
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)
Majumdar, R., Saha, I., Zamani, M.: Synthesis of minimal-error control software. In: 12th International Conference on Embedded Software (EMSOFT) (2012)
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)
Mundhenk, P., et al.: Security analysis of automotive architectures using probabilistic model checking. In: 52nd Annual Design Automation Conference (DAC) (2015)
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)
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
Parisotto, E., Mohamed, A.R., Singh, R., Li, L., Zhou, D., Kohli, P.: Neuro-symbolic program synthesis. arXiv preprint arXiv:1611.01855 (2016)
Pazzaglia, P., et al.: Adaptive design of real-time control systems subject to sporadic overruns. In: Design Automation and Test in Europe (DATE) (2021)
Pazzaglia, P., Mandrioli, C., Maggio, M., Cervin, A.: DMAC: deadline-miss-aware control. In: Euromicro Conference on Real-Time Systems (ECRTS) (2019)
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
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)
Schkufza, E., Sharma, R., Aiken, A.: Stochastic superoptimization. ACM SIGARCH Comput. Archit. News 41(1), 305–316 (2013)
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)
Schneider, R., et al.: Multi-layered scheduling of mixed-criticality cyber-physical systems. J. Syst. Archit. 59(10-D), 1215–1230 (2013)
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)
Tilbury, D., Messner, B.: Control Tutorials for MATLAB and Simulink. https://ctms.engin.umich.edu/CTMS/index.php?aux=Home
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)
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)
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)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
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)