M. Becker, D. Dasari, S. Mubeen, M. Behnam, and T. Nolte, End-to-end timing analysis of cause-effect chains in automotive embedded systems, Journal of Systems Architecture-Embedded Systems Design, vol.80, pp.104-113, 2017.

, Beyond the deadline: New interfaces between control and scheduling for the design and analysis of critical embedded systems, Tutorial at ESWeek, 2017.

A. Biondi, M. D. Natale, and G. C. Buttazzo, Response-time analysis of engine control applications under fixed-priority scheduling, IEEE Trans. Computers, vol.67, issue.5, pp.687-703, 2018.

F. Cerqueira, F. Stutz, and B. B. Brandenburg, PROSA: A case for readable mechanized schedulability analysis, 28th Euromicro Conference on Real-Time Systems, ECRTS 2016, pp.273-284, 2016.

J. J. Chen, G. Von-der-brüggen, W. H. Huang, and R. I. Davis, On the pitfalls of resource augmentation factors and utilization bounds in real-time scheduling, 29th Euromicro Conference on Real-Time Systems, ECRTS 2017, vol.76, p.25, 2017.

R. I. Davis, On the evaluation of schedulability tests for real-time scheduling algorithms, 7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, p.2017, 2017.

R. I. Davis, I. Bate, G. Bernat, I. Broster, A. Burns et al., Transferring real-time systems research into industrial practice: Four impact case studies, 30th Euromicro Conference on Real-Time Systems, ECRTS 2018, vol.7, pp.1-7, 2018.

R. I. Davis and A. Burns, A survey of hard real-time scheduling for multiprocessor systems, ACM Computing Surveys (CSUR), vol.43, issue.4, p.35, 2011.

R. Ernst, S. Kuntz, S. Quinton, and M. Simons, The logical execution time paradigm: New perspectives for multicore systems (dagstuhl seminar 18092), Dagstuhl Reports, vol.8, issue.2, pp.122-149, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01956964

N. Feiertag, K. Richter, J. Nordlander, and J. Jonsson, A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics, 1st Workshop on Compositional Theory and Technology for RealTime Embedded Systems, 2008.

G. Frehse, A. Hamann, S. Quinton, and M. Woehrle, Formal analysis of timing effects on closed-loop properties of control software, Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, RTSS 2014, pp.53-62, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01097622

A. Girault, R. Henia, C. Prévot, S. Quinton, and N. Sordon, Improving and estimating the precision of bounds on the worst-case latency of task chains, ACM SIGBED International Conference on Embedded Software, vol.2018, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01956931

S. Graf, S. Quinton, A. Girault, and G. Gössler, Building correct cyber-physical systems: Why we need a multiview contract theory, 23rd International Conference on Formal Methods for Industrial Critical Systems, vol.2018, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01891146

A. Hamann, D. Dasari, S. Kramer, M. Pressler, and F. Wurst, Communication centric design in complex automotive embedded systems, 29th Euromicro Conference on Real-Time Systems, 2017.

R. Henia and L. Rioux, WATERS industrial challenge by Thales

R. Henia, L. Rioux, N. Sordon, G. Garcia, and M. Panunzio, Integrating modelbased formal timing analysis in the industrial development process of satellite on-board software, 2nd International Conference on Model-Driven Engineering and Software Development, MODELSWARD, pp.619-625, 2014.

J. Hennig, H. Von-hasseln, H. Mohammad, S. Resmerita, S. Lukesch et al., Towards parallelizing legacy embedded control software using the LET programming paradigm, WiP session at the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016, p.51, 2016.

C. M. Kirsch and A. Sokolova, The logical execution time paradigm, Advances in Real-Time Systems, pp.103-120, 2012.

S. Linsenmayer and F. Allgöwer, Stabilization of networked control systems with weakly hard real-time dropout description, 56th IEEE Annual Conference on Decision and Control, pp.4765-4770, 2017.


C. L. Liu and J. W. Layland, Scheduling algorithms for multiprogramming in a hardreal-time environment, J. ACM, vol.20, issue.1, pp.46-61, 1973.

A. B. Long, Y. Ouhammou, E. Grolleau, L. Fejoz, and L. Rioux, Bridging the gap between practical cases and temporal performance analysis: a models repositorybased approach, Proceedings of the 25th International Conference on Real-Time Networks and Systems, pp.178-187, 2017.

M. Mohaqeqi, J. Abdullah, P. Ekberg, and W. Yi, Refinement of Workload Models for Engine Controllers by State Space Partitioning, 29th Euromicro Conference on Real-Time Systems, ECRTS 2017, vol.76, p.22, 2017.

M. A. Serrano, A. Melani, S. Kehr, M. Bertogna, and E. Quiñones, An analysis of lazy and eager limited preemption approaches under dag-based global fixed priority scheduling, 20th IEEE International Symposium on Real-Time Distributed Computing, pp.193-202, 2017.

L. Shan, S. Graf, S. Quinton, and L. Fejoz, A framework for evaluating schedulability analysis tools, Models, Algorithms, Logics and Tools-Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, pp.539-559, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01674731

S. Kramer, D. Ziegenbein, and A. H. , Real world automotive benchmark for free, 5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, 2015.