{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:32Z","timestamp":1740099152074,"version":"3.37.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030002435"},{"type":"electronic","value":"9783030002442"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-00244-2_19","type":"book-chapter","created":{"date-parts":[[2018,8,30]],"date-time":"2018-08-30T00:12:38Z","timestamp":1535587958000},"page":"284-290","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools"],"prefix":"10.1007","author":[{"given":"Sophie","family":"Quinton","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,30]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"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\u2013113 (2017). https:\/\/doi.org\/10.1016\/j.sysarc.2017.09.004","DOI":"10.1016\/j.sysarc.2017.09.004"},{"key":"19_CR2","unstructured":"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\/"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"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\u2013703 (2018). https:\/\/doi.org\/10.1109\/TC.2017.2777826","DOI":"10.1109\/TC.2017.2777826"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"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\u2013284 (2016). https:\/\/doi.org\/10.1109\/ECRTS.2016.28","DOI":"10.1109\/ECRTS.2016.28"},{"key":"19_CR5","unstructured":"Chen, J.J., von der Br\u00fcggen, 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\u20139:25 (2017). https:\/\/doi.org\/10.4230\/LIPIcs.ECRTS.2017.9"},{"key":"19_CR6","unstructured":"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)"},{"key":"19_CR7","unstructured":"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\u20137:24 (2018). https:\/\/doi.org\/10.4230\/LIPIcs.ECRTS.2018.7"},{"issue":"4","key":"19_CR8","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/1978802.1978814","volume":"43","author":"RI Davis","year":"2011","unstructured":"Davis, R.I., Burns, A.: A survey of hard real-time scheduling for multiprocessor systems. ACM Comput. Surv. (CSUR) 43(4), 35 (2011)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"19_CR9","unstructured":"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\u2013149 (2018). https:\/\/doi.org\/10.4230\/DagRep.8.2.122"},{"key":"19_CR10","unstructured":"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)"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"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\u201362 (2014). http:\/\/dx.doi.org\/10.1109\/RTSS.2014.28","DOI":"10.1109\/RTSS.2014.28"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Girault, A., Henia, R., Pr\u00e9vot, 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)","DOI":"10.1109\/TCAD.2018.2861016"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Graf, S., Quinton, S., Girault, A., G\u00f6ssler, 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)","DOI":"10.1007\/978-3-030-00244-2_2"},{"key":"19_CR14","unstructured":"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\u201310:20 (2017). https:\/\/doi.org\/10.4230\/LIPIcs.ECRTS.2017.10"},{"key":"19_CR15","unstructured":"Henia, R., Rioux, L.: WATERS industrial challenge by Thales. https:\/\/www.ecrts.org\/industrialchallenge-thales"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"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\u2013625 (2014). https:\/\/doi.org\/10.5220\/0004874306190625","DOI":"10.5220\/0004874306190625"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1109\/RTAS.2016.7461355"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Kirsch, C.M., Sokolova, A.: The logical execution time paradigm. In: Advances in Real-Time Systems, pp. 103\u2013120 (2012). http:\/\/dx.doi.org\/10.1007\/978-3-642-24349-3_5","DOI":"10.1007\/978-3-642-24349-3_5"},{"key":"19_CR19","doi-asserted-by":"publisher","unstructured":"Linsenmayer, S., Allg\u00f6wer, 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\u20134770 (2017). https:\/\/doi.org\/10.1109\/CDC.2017.8264364","DOI":"10.1109\/CDC.2017.8264364"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46\u201361 (1973). http:\/\/doi.acm.org\/10.1145\/321738.321743","DOI":"10.1145\/321738.321743"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"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\u2013187 (2017). http:\/\/doi.acm.org\/10.1145\/3139258.3139286","DOI":"10.1145\/3139258.3139286"},{"key":"19_CR22","doi-asserted-by":"publisher","unstructured":"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\u201311:22 (2017). https:\/\/doi.org\/10.4230\/LIPIcs.ECRTS.2017.11","DOI":"10.4230\/LIPIcs.ECRTS.2017.11"},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"Serrano, M.A., Melani, A., Kehr, S., Bertogna, M., Qui\u00f1ones, 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\u2013202 (2017). https:\/\/doi.org\/10.1109\/ISORC.2017.9","DOI":"10.1109\/ISORC.2017.9"},{"key":"19_CR24","doi-asserted-by":"publisher","unstructured":"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\u2013559 (2017). https:\/\/doi.org\/10.1007\/978-3-319-63121-9_27","DOI":"10.1007\/978-3-319-63121-9_27"},{"key":"19_CR25","unstructured":"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)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00244-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,23]],"date-time":"2019-10-23T02:03:08Z","timestamp":1571796188000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00244-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030002435","9783030002442"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00244-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}