Abstract
The verification of real-time systems has been an active area of research for several decades now. Some results have been successfully transferred to industry. Still, many obstacles remain that hinder a smooth integration of academic research and industrial application. In this extended abstract, we discuss some of these obstacles and ongoing research and community efforts to bridge this gap. In particular, we present several experimental and theoretical methods to evaluate and compare real-time systems analysis methods and tools.
This work has been partially supported by the LabEx PERSYVAL-Lab (ANR-11-LABX-0025-01).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
- 2.
- 3.
- 4.
- 5.
- 6.
- 7.
- 8.
- 9.
- 10.
References
Becker, M., Dasari, D., Mubeen, S., Behnam, M., Nolte, T.: End-to-end timing analysis of cause-effect chains in automotive embedded systems. J. Syst. Archit. Embed. Syst. Des. 80, 104–113 (2017). https://doi.org/10.1016/j.sysarc.2017.09.004
Beyond the deadline: new interfaces between control and scheduling for the design and analysis of critical embedded systems. Tutorial at ESWeek 2017 (2017). https://team.inria.fr/spades/beyond-the-deadline/
Biondi, A., Natale, M.D., Buttazzo, G.C.: Response-time analysis of engine control applications under fixed-priority scheduling. IEEE Trans. Comput. 67(5), 687–703 (2018). https://doi.org/10.1109/TC.2017.2777826
Cerqueira, F., Stutz, F., Brandenburg, B.B.: PROSA: a case for readable mechanized schedulability analysis. In: 28th Euromicro Conference on Real-Time Systems, ECRTS 2016, pp. 273–284 (2016). https://doi.org/10.1109/ECRTS.2016.28
Chen, J.J., von der Brüggen, G., Huang, W.H., Davis, R.I.: On the pitfalls of resource augmentation factors and utilization bounds in real-time scheduling. In: 29th Euromicro Conference on Real-Time Systems, ECRTS 2017, vol. 76, pp. 9:1–9:25 (2017). https://doi.org/10.4230/LIPIcs.ECRTS.2017.9
Davis, R.I.: On the evaluation of schedulability tests for real-time scheduling algorithms. In: 7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, WATERS 2017 (2017)
Davis, R.I., et al.: Transferring real-time systems research into industrial practice: four impact case studies. In: 30th Euromicro Conference on Real-Time Systems, ECRTS 2018, pp. 7:1–7:24 (2018). https://doi.org/10.4230/LIPIcs.ECRTS.2018.7
Davis, R.I., Burns, A.: A survey of hard real-time scheduling for multiprocessor systems. ACM Comput. Surv. (CSUR) 43(4), 35 (2011)
Ernst, R., Kuntz, S., Quinton, S., Simons, M.: The logical execution time paradigm: new perspectives for multicore systems (dagstuhl seminar 18092). Dagstuhl Rep. 8(2), 122–149 (2018). https://doi.org/10.4230/DagRep.8.2.122
Feiertag, N., Richter, K., Nordlander, J., Jonsson, J.: A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics. In: 1st Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, CRTS 2008 (2008)
Frehse, G., Hamann, A., Quinton, S., Woehrle, M.: Formal analysis of timing effects on closed-loop properties of control software. In: Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, RTSS 2014, pp. 53–62 (2014). http://dx.doi.org/10.1109/RTSS.2014.28
Girault, A., Henia, R., Prévot, C., Quinton, S., Sordon, N.: Improving and estimating the precision of bounds on the worst-case latency of task chains. In: ACM SIGBED International Conference on Embedded Software, EMSOFT 2018 (2018, to appear)
Graf, S., Quinton, S., Girault, A., Gössler, G.: Building correct cyber-physical systems: why we need a multiview contract theory. In: 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018 (2018, to appear)
Hamann, A., Dasari, D., Kramer, S., Pressler, M., Wurst, F.: Communication centric design in complex automotive embedded systems. In: 29th Euromicro Conference on Real-Time Systems, ECRTS 2017, pp. 10:1–10:20 (2017). https://doi.org/10.4230/LIPIcs.ECRTS.2017.10
Henia, R., Rioux, L.: WATERS industrial challenge by Thales. https://www.ecrts.org/industrialchallenge-thales
Henia, R., Rioux, L., Sordon, N., Garcia, G., Panunzio, M.: Integrating model-based formal timing analysis in the industrial development process of satellite on-board software. In: 2nd International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014, pp. 619–625 (2014). https://doi.org/10.5220/0004874306190625
Hennig, J., von Hasseln, H., Mohammad, H., Resmerita, S., Lukesch, S., Naderlinger, A.: Towards parallelizing legacy embedded control software using the LET programming paradigm. In: WiP Session at the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016, p. 51 (2016). http://dx.doi.org/10.1109/RTAS.2016.7461355
Kirsch, C.M., Sokolova, A.: The logical execution time paradigm. In: Advances in Real-Time Systems, pp. 103–120 (2012). http://dx.doi.org/10.1007/978-3-642-24349-3_5
Linsenmayer, S., Allgöwer, F.: Stabilization of networked control systems with weakly hard real-time dropout description. In: 56th IEEE Annual Conference on Decision and Control, CDC 2017, pp. 4765–4770 (2017). https://doi.org/10.1109/CDC.2017.8264364
Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46–61 (1973). http://doi.acm.org/10.1145/321738.321743
Long, A.B., Ouhammou, Y., Grolleau, E., Fejoz, L., Rioux, L.: Bridging the gap between practical cases and temporal performance analysis: a models repository-based approach. In: Proceedings of the 25th International Conference on Real-Time Networks and Systems, RTNS 2017, pp. 178–187 (2017). http://doi.acm.org/10.1145/3139258.3139286
Mohaqeqi, M., Abdullah, J., Ekberg, P., Yi, W.: Refinement of workload models for engine controllers by state space partitioning. In: 29th Euromicro Conference on Real-Time Systems, ECRTS 2017, vol. 76, pp. 11:1–11:22 (2017). https://doi.org/10.4230/LIPIcs.ECRTS.2017.11
Serrano, M.A., Melani, A., Kehr, S., Bertogna, M., Quiñones, E.: An analysis of lazy and eager limited preemption approaches under DAG-based global fixed priority scheduling. In: 20th IEEE International Symposium on Real-Time Distributed Computing, ISORC 2017, pp. 193–202 (2017). https://doi.org/10.1109/ISORC.2017.9
Shan, L., Graf, S., Quinton, S., Fejoz, L.: A framework for evaluating schedulability analysis tools. In: Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, pp. 539–559 (2017). https://doi.org/10.1007/978-3-319-63121-9_27
Kramer, S., Ziegenbein, D., Hamann, A.: Real world automotive benchmark for free. In: 5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, WATERS 2015 (2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Quinton, S. (2018). Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools. In: Howar, F., Barnat, J. (eds) Formal Methods for Industrial Critical Systems. FMICS 2018. Lecture Notes in Computer Science(), vol 11119. Springer, Cham. https://doi.org/10.1007/978-3-030-00244-2_19
Download citation
DOI: https://doi.org/10.1007/978-3-030-00244-2_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-00243-5
Online ISBN: 978-3-030-00244-2
eBook Packages: Computer ScienceComputer Science (R0)