{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:26:55Z","timestamp":1725888415859},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319605876"},{"type":"electronic","value":"9783319605883"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-60588-3_1","type":"book-chapter","created":{"date-parts":[[2017,5,29]],"date-time":"2017-05-29T08:35:27Z","timestamp":1496046927000},"page":"3-17","source":"Crossref","is-referenced-by-count":4,"title":["Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Garrido","sequence":"first","affiliation":[]},{"given":"Juan","family":"Zamorano","sequence":"additional","affiliation":[]},{"given":"Alejandro","family":"Alonso","sequence":"additional","affiliation":[]},{"given":"Juan A.","family":"de\u00a0la Puente","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,30]]},"reference":[{"key":"1_CR1","unstructured":"ISO\/IEC 8652:2012(E): Information Technology \u2013 Programming Languages \u2013 Ada (2012)"},{"issue":"5","key":"1_CR2","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1049\/sej.1993.0034","volume":"8","author":"NC Audsley","year":"1993","unstructured":"Audsley, N.C., Burns, A., Richardson, M., Tindell, K., Wellings, A.: Applying new scheduling theory to static priority preemptive scheduling. Softw. Eng. J. 8(5), 284\u2013292 (1993)","journal-title":"Softw. Eng. J."},{"key":"1_CR3","unstructured":"Brandenburg, B.B.: Scheduling and locking in multiprocessor real-time operating systems. Ph.D. thesis, The University of North Carolina at Chapel Hill (2011)"},{"issue":"2","key":"1_CR4","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1145\/2552999.2553006","volume":"33","author":"A Burns","year":"2013","unstructured":"Burns, A., Wellings, A.J.: Locking policies for multiprocessor Ada. Ada Lett. 33(2), 59\u201365 (2013)","journal-title":"Ada Lett."},{"key":"1_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/997119.997120","volume":"XXIV","author":"A Burns","year":"2004","unstructured":"Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the Ada Ravenscar profile in high integrity systems. Ada Lett. XXIV, 1\u201374 (2004)","journal-title":"Ada Lett."},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Burns, A., Wellings, A.J.: A schedulability compatible multiprocessor resource sharing protocol-MrsP. In: 2013 25th Euromicro Conference on Real-Time Systems (ECRTS), pp. 282\u2013291. IEEE (2013)","DOI":"10.1109\/ECRTS.2013.37"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Davis, R.I., Burns, A.: A survey of hard real-time scheduling algorithms and schedulability analysis techniques for multiprocessor systems. ACM Computing Surveys 43(4) (2011)","DOI":"10.1145\/1978802.1978814"},{"issue":"6","key":"1_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/301687.289525","volume":"XVII","author":"B Dobbing","year":"1998","unstructured":"Dobbing, B., Burns, A.: The Ravenscar profile for high-integrity real-time programs. Ada Lett. XVII(6), 1\u20136 (1998). Proceedings of the ACM SIGAda International Conference \u2013 SIGAda 1998","journal-title":"Ada Lett."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Gai, P., Lipari, G., Natale, M.D.: Minimizing memory utilization of real-time task sets in single and multi-processor systems-on-a-chip. In: Proceedings of the 22nd IEEE Real-Time Systems Symposium. IEEE Computer Society (2001)","DOI":"10.1109\/REAL.2001.990598"},{"issue":"1","key":"1_CR10","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/2971571.2971579","volume":"36","author":"J Garrido","year":"2016","unstructured":"Garrido, J., Lacruz, B., Zamorano, J., de la Puente, J.A.: In support of extending the Ravenscar profile. Ada Lett. 36(1), 63\u201367 (2016)","journal-title":"Ada Lett."},{"issue":"4","key":"1_CR11","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/0166-5316(82)90024-4","volume":"2","author":"JYT Leung","year":"1982","unstructured":"Leung, J.Y.T., Whitehead, J.: On the complexity of fixed-priority scheduling of periodic real-time tasks. Perform. Eval. 2(4), 237\u2013250 (1982)","journal-title":"Perform. Eval."},{"issue":"1","key":"1_CR12","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/2492312.2492317","volume":"33","author":"S Lin","year":"2013","unstructured":"Lin, S., Wellings, A.J., Burns, A.: Ada 2012: resource sharing and multiprocessors. Ada Lett. 33(1), 32\u201344 (2013)","journal-title":"Ada Lett."},{"issue":"1","key":"1_CR13","first-page":"55","volume":"35","author":"JA Puente de la","year":"2014","unstructured":"de la Puente, J.A., Zamorano, J., Alonso, A., Garrido, J., Salazar, E., de Miguel, M.A.: Experience in spacecraft on-board software development. Ada User J. 35(1), 55\u201360 (2014)","journal-title":"Ada User J."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Rajkumar, R., Sha, L., Lehoczky, J.P.: Real-time synchronization protocols for multiprocessors. In: IEEE Real-Time Systems Symposium (1988)","DOI":"10.1109\/REAL.1988.51121"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Rajkumar, R.: Real-time synchronization protocols for shared memory multiprocessors. In: Proceedings of the 10th International Conference on Distributed Computing Systems, pp. 116\u2013123. IEEE (1990)","DOI":"10.1109\/ICDCS.1990.89257"},{"key":"1_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4000-7","volume-title":"Synchronization in Real-Time Systems: A priority Inheritance Approach","author":"R Rajkumar","year":"1991","unstructured":"Rajkumar, R.: Synchronization in Real-Time Systems: A priority Inheritance Approach. Kluwer Academic Publishers, Dordrecht (1991)"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-319-19584-1_6","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2015","author":"J Zamorano","year":"2015","unstructured":"Zamorano, J., Garrido, J.: Schedulability analysis of PWM tasks for the UPMSat-2 ADCS. In: de la Puente, J.A., Vardanega, T. (eds.) Ada-Europe 2015. LNCS, vol. 9111, pp. 85\u201399. Springer, Cham (2015). doi:\n10.1007\/978-3-319-19584-1_6"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2017"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60588-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,29]],"date-time":"2017-05-29T08:35:42Z","timestamp":1496046942000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-60588-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319605876","9783319605883"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60588-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}