{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T04:05:44Z","timestamp":1748491544529,"version":"3.41.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319195834"},{"type":"electronic","value":"9783319195841"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19584-1_6","type":"book-chapter","created":{"date-parts":[[2015,6,10]],"date-time":"2015-06-10T15:56:31Z","timestamp":1433951791000},"page":"85-99","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS"],"prefix":"10.1007","author":[{"given":"Juan","family":"Zamorano","sequence":"first","affiliation":[]},{"given":"Jorge","family":"Garrido","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,9]]},"reference":[{"issue":"3","key":"6_CR1","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01094342","volume":"8","author":"N Audsley","year":"1995","unstructured":"Audsley, N., Burns, A., Davis, R., Tindell, K., Wellings, A.J.: Fixed priority preemptive scheduling: An historical perspective. Real-Time Systems 8(3), 173\u2013198 (1995)","journal-title":"Real-Time Systems"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the Ada Ravenscar profile in high integrity systems. Ada Letters XXIV, 1\u201374 (June 2004)","DOI":"10.1145\/997119.997120"},{"key":"6_CR3","unstructured":"Burns, A., Wellings, A.J.: Real-Time Systems and Programming Languages. Addison-Wesley, 2 edn. (1996)"},{"key":"6_CR4","unstructured":"European Cooperation for Space Standardization: ECSS-E-ST-40C Space engineering \u2013 Software (March 2009), available from ESA"},{"key":"6_CR5","unstructured":"European Cooperation for Space Standardization: ECSS-Q-ST-80C Space Product Assurance \u2013 Software Product Assurance (March 2009), available from ESA"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Fortescue, P., Swinerd, G., Stark, J.: Spacecraft Systems Engineering, 4 edn. Wiley (2011)","DOI":"10.1002\/9781119971009"},{"key":"6_CR7","unstructured":"LEON3 - High-performance SPARC V8 32-bit Processor. GRLIB IP Core User\u2019s Manual (2012)"},{"key":"6_CR8","unstructured":"Garrido, J., Brosnan, D., de la Puente, J.A., Alonso, A., Zamorano, J.: Analysis of WCET in an experimental satellite software development. In: Vardanega, T. (ed.) 12th International Workshop on Worst-Case Execution Time Analysis. OpenAccess Series in Informatics (OASIcs), vol. 23, pp. 81\u201390. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2012)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez Harbour, M., Guti\u00e9rrez, J.J., Palencia, J.C., Drake, J.M.: MAST modeling and analysis suite for real time applications. In: Proceedings of 13th Euromicro Conference on Real-Time Systems, pp. 125\u2013134. IEEE Computer Society Press, Delft, June 2001","DOI":"10.1109\/EMRTS.2001.934015"},{"key":"6_CR10","unstructured":"ISO: ISO\/IEC TR 24718:2005 \u2013 Guide for the use of the Ada Ravenscar Profile in high integrity systems (2005), based on the University of York Technical Report YCS-2003-348 (2003)"},{"key":"6_CR11","unstructured":"ISO: ISO\/IEC 8652:1995(E)\/TC1(2000)\/AMD1(2007): Information Technology \u2013 Programming Languages \u2013 Ada (2007)"},{"key":"6_CR12","unstructured":"ISO\/IEC TR 15942:2000 \u2013 Guide for the use of the Ada programming language in high integrity systems (2000)"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Klein, M.H., Ralya, T., Pollack, B., Obenza, R., Gonz\u00e1lez Harbour, M.: A Practitioner\u2019s Handbook for Real-Time Analysis. Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, Boston (1993)","DOI":"10.1007\/978-1-4615-2796-1"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Palencia, J.C., Harbour, M.G.: Schedulability analysis for tasks with static and dynamic offsets. In: RTSS 1998: Proceedings of the IEEE Real-Time Systems Symposium, p. 26. IEEE Computer Society, Washington, DC (1998)","DOI":"10.1109\/REAL.1998.739728"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"de la Puente, J.A., Ruiz, J.F., Zamorano, J.: An open Ravenscar real-time kernel for GNAT. In: Keller, H.B., Pl\u00f6dereder, E. (eds.) Ada-Europe 2000. LNCS, vol. 1845, pp. 5\u201315. Springer, Heidelberg (2000)","DOI":"10.1007\/10722060_4"},{"key":"6_CR16","unstructured":"S\u00e1nchez, F.M., Zamorano, J.: A low cost laboratory for teaching embedded real-time systems. In: Real-Time Programming 2003. Proceedings of the IFAC\/IFIP Workshop, pp. 195\u2013200. Elsevier Science Ltda (2003)"},{"issue":"1","key":"6_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/B:TIME.0000048937.17571.2b","volume":"29","author":"T Vardanega","year":"2005","unstructured":"Vardanega, T., Zamorano, J., de la Puente, J.A.: On the dynamic semantics and the timing behaviour of Ravenscar kernels. Real-Time Systems 29(1), 1\u201331 (2005)","journal-title":"Real-Time Systems"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2015"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19584-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T12:48:55Z","timestamp":1748436535000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19584-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319195834","9783319195841"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19584-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"9 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}