{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T22:40:09Z","timestamp":1751755209329,"version":"3.41.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319952451"},{"type":"electronic","value":"9783319952468"}],"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-319-95246-8_5","type":"book-chapter","created":{"date-parts":[[2018,7,19]],"date-time":"2018-07-19T06:50:32Z","timestamp":1531983032000},"page":"77-87","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Predictability Issues in Mixed-Criticality Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Sanjoy","family":"Baruah","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,20]]},"reference":[{"key":"5_CR1","unstructured":"AUTOSAR: AUTomotive Open System ARchitecture. http:\/\/www.autosar.org"},{"key":"5_CR2","unstructured":"Certification Authorities Software Team (CAST) Position paper CAST-32: Multi-core Processors. www.faa.gov\/aircraft\/air_cert\/design_approvals\/air_software\/cast\/cast_papers\/ . Accessed 30 Oct 2016"},{"key":"5_CR3","unstructured":"ARINC.: ARINC 653\u20131 Avionics Application Software Standard Interface, October 2003"},{"issue":"4","key":"5_CR4","doi-asserted-by":"publisher","first-page":"82:1","DOI":"10.1145\/2560033","volume":"13","author":"P Axer","year":"2014","unstructured":"Axer, P., Ernst, R., Falk, H., Girault, A., Grund, D., Guan, N., Jonsson, B., Marwedel, P., Reineke, J., Rochange, C., Sebastian, M., Von Hanxleden, R., Wilhelm, R., Yi, W.: Building timing predictable embedded systems. ACM Trans. Embed. Comput. Syst. 13(4), 82:1\u201382:37 (2014)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Baruah, S., Burns, A.: Sustainable scheduling analysis. In: Proceedings of the IEEE Real-time Systems Symposium, Rio de Janeiro, pp. 159\u2013168. IEEE Computer Society Press, December 2006","DOI":"10.1109\/RTSS.2006.47"},{"issue":"9","key":"5_CR6","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A Benveniste","year":"1991","unstructured":"Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. Proc. IEEE 79(9), 1270\u20131282 (1991)","journal-title":"Proc. IEEE"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The ESTEREL synchronous programming language: design, semantics, implementation. Sci. Comput. Program. 19, 87\u2013152 (1992)","journal-title":"Sci. Comput. Program."},{"key":"5_CR8","unstructured":"Burns, A., Davis, R.: Mixed-criticality systems: A review (9th edition) (2017). http:\/\/www-users.cs.york.ac.uk\/~burns\/review.pdf . Accessed 29 Aug 2017"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Edwards, S.A., Kim, S., Lee, E.A., Liu, I., Patel, H.D., Schoeberl, M.: A disruptive computer design idea: architectures with repeatable timing. In: Proceedings of IEEE International Conference on Computer Design (ICCD). IEEE, October 2009","DOI":"10.1109\/ICCD.2009.5413177"},{"issue":"1","key":"5_CR10","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0167-6423(02)00096-5","volume":"48","author":"SA Edwards","year":"2003","unstructured":"Edwards, S.A., Lee, E.A.: The semantics and execution of a synchronous block-diagram language. Sci. Comput. Program. 48(1), 21\u201342 (2003)","journal-title":"Sci. Comput. Program."},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Edwards, S.A., Lee, E.A..: The case for the precision timed (PRET) machine. In: Proceedings of the 44th Annual Conference on Design Automation, SESSION: Wild and Crazy Ideas (WACI), pp. 264\u2013265, June 2007","DOI":"10.1109\/DAC.2007.375165"},{"key":"5_CR12","first-page":"175","volume":"52","author":"HC Gabler","year":"2008","unstructured":"Gabler, H.C., Hinch, J.: Evaluation of advanced air bag deployment algorithm performance using event data recorders. Ann. Adv. Automot. Med. 52, 175\u2013184 (2008)","journal-title":"Ann. Adv. Automot. Med."},{"issue":"9","key":"5_CR13","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language LUSTRE. Proc. IEEE 79(9), 1305\u20131320 (1991)","journal-title":"Proc. IEEE"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtul-Trauring, A.: Statemate: a working environment for the development of complex reactive systems. In: Proceedings of the 10th International Conference on Software Engineering, ICSE 1988, Los Alamitos, CA, USA, pp. 396\u2013406. IEEE Computer Society Press (1988)","DOI":"10.1109\/ICSE.1988.93720"},{"issue":"3","key":"5_CR15","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Progr. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Progr."},{"key":"5_CR16","unstructured":"International Electrotechnical Commission.: Functional safety of electrical\/ electronic\/ programmable electronic safety-related systems (2010). http:\/\/www.iec.ch\/functionalsafety"},{"issue":"9","key":"5_CR17","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P LeGuernic","year":"1991","unstructured":"LeGuernic, P., Gautier, T., Le Borgne, M., Le Maire, C.: Programming real-time applications with SIGNAL. Proc. IEEE 79(9), 1321\u20131336 (1991)","journal-title":"Proc. IEEE"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Prisaznuk, P.J.: Integrated modular avionics. In: Proceedings of the IEEE 1992 National Aerospace and Electronics Conference (NAECON 1992), vol.1, pp. 39\u201345, May 1992","DOI":"10.1109\/NAECON.1992.220669"},{"issue":"4","key":"5_CR19","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF01995673","volume":"2","author":"JA Stankovic","year":"1990","unstructured":"Stankovic, J.A., Ramamritham, K.: What is predictability for real-time systems? Real-Time Syst. 2(4), 247\u2013254 (1990)","journal-title":"Real-Time Syst."},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Vestal, S.: Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In: Proceedings of the Real-Time Systems Symposium, Tucson, AZ, pp. 239\u2013243. IEEE Computer Society Press, December 2007","DOI":"10.1109\/RTSS.2007.47"},{"issue":"3","key":"5_CR21","doi-asserted-by":"publisher","first-page":"36:1","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R Wilhelm","year":"2008","unstructured":"Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, J., Stenstr\u00f6m, P.: The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. 7(3), 36:1\u201336:53 (2008)","journal-title":"ACM Trans. Embed. Comput. Syst."}],"container-title":["Lecture Notes in Computer Science","Principles of Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-95246-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T21:59:27Z","timestamp":1751752767000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-95246-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319952451","9783319952468"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-95246-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}