{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T11:48:13Z","timestamp":1763466493109},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642213373"},{"type":"electronic","value":"9783642213380"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21338-0_13","type":"book-chapter","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T19:42:21Z","timestamp":1309290141000},"page":"174-188","source":"Crossref","is-referenced-by-count":35,"title":["Implementing Mixed Criticality Systems in Ada"],"prefix":"10.1007","author":[{"given":"Sanjoy","family":"Baruah","sequence":"first","affiliation":[]},{"given":"Alan","family":"Burns","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"13_CR1","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1049\/sej.1993.0034","volume":"8","author":"N.C. Audsley","year":"1993","unstructured":"Audsley, N.C., Burns, A., Richardson, M., Tindell, K., Wellings, A.J.: Applying new scheduling theory to static priority preemptive scheduling. Software Engineering Journal\u00a08(5), 284\u2013292 (1993)","journal-title":"Software Engineering Journal"},{"issue":"1","key":"13_CR2","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0020-0190(00)00165-4","volume":"79","author":"N.C. Audsley","year":"2001","unstructured":"Audsley, N.C.: On Priority Assignment in Fixed Priority Scheduling. Information Processing Letters\u00a079(1), 39\u201344 (2001)","journal-title":"Information Processing Letters"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Baruah, S.K., Vestal, S.: Schedulability analysis of sporadic tasks with multiple criticality specifications. In: ECRTS, pp. 147\u2013155 (2008)","DOI":"10.1109\/ECRTS.2008.26"},{"key":"13_CR4","first-page":"328","volume-title":"Proceedings Real-time Systems Symposium","author":"G. Bernat","year":"2004","unstructured":"Bernat, G., Broster, I., Burns, A.: Rewriting history to exploit gain time. In: Proceedings Real-time Systems Symposium, Lisbon, Portugal, pp. 328\u2013335. IEEE Computer Society, Los Alamitos (2004)"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1023\/A:1013481420080","volume":"22","author":"G. Bernat","year":"2002","unstructured":"Bernat, G., Burns, A.: Multiple servers and capacity sharing for implementing flexible scheduling. Real-Time Systems Journal\u00a022, 49\u201375 (2002)","journal-title":"Real-Time Systems Journal"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Caccamo, M., Buttazzo, G., Sha, L.: Capacity sharing for overrun control. In: Proceedings 21th IEEE Real-Time Systems Symposium (2000)","DOI":"10.1109\/REAL.2000.896018"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"de Niz, D., Lakshmanan, K., Rajkumar, R.: On the scheduling of mixed-criticality realtime task sets. In: Proceedings of the IEEE Real-Time Systems Symposium, pp. 291\u2013300 (2009)","DOI":"10.1109\/RTSS.2009.46"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Dorin, F., Richard, P., Richard, M., Goossens, J.: Schedulability and sensitivity analysis of multiple criticality tasks with fixed-priorities. Real-Time Journal (2010)","DOI":"10.1007\/s11241-010-9107-4"},{"issue":"5","key":"13_CR9","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1093\/comjnl\/29.5.390","volume":"29","author":"M. Joseph","year":"1986","unstructured":"Joseph, M., Pandya, P.: Finding response times in a real-time system. BCS Computer Journal\u00a029(5), 390\u2013395 (1986)","journal-title":"BCS Computer Journal"},{"issue":"2\/3","key":"13_CR10","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1023\/A:1025184411567","volume":"25","author":"D. Prasad","year":"2003","unstructured":"Prasad, D., Burns, A., Atkin, M.: The measurement and usage of utility in adaptive realtime systems. Journal of Real-Time Systems\u00a025(2\/3), 277\u2013296 (2003)","journal-title":"Journal of Real-Time Systems"},{"key":"13_CR11","unstructured":"Tindell, K., Alonso, A.: A very simple protocol for mode changes in priority preemptive systems. Technical report, Universidad Politecnica de Madrid (1996)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Vestal, S.: Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In: Proceedings of the IEEE Real-Time Systems Symposium, pp. 239\u2013243 (2007)","DOI":"10.1109\/RTSS.2007.47"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies - Ada-Europe 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21338-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T13:32:24Z","timestamp":1560346344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21338-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642213373","9783642213380"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21338-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}