{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:09Z","timestamp":1725487089843},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540732297"},{"type":"electronic","value":"9783540732303"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73230-3_2","type":"book-chapter","created":{"date-parts":[[2007,6,29]],"date-time":"2007-06-29T13:04:42Z","timestamp":1183122282000},"page":"15-28","source":"Crossref","is-referenced-by-count":1,"title":["Handling Temporal Faults in Ada\u00a02005"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 A.","family":"Pulido","sequence":"first","affiliation":[]},{"given":"Santiago","family":"Urue\u00f1a","sequence":"additional","affiliation":[]},{"given":"Juan","family":"Zamorano","sequence":"additional","affiliation":[]},{"given":"Juan A.","family":"de la Puente","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"Real-Time Systems and Programming Languages","author":"A. Burns","year":"2001","unstructured":"Burns, A., Wellings, A.J.: Real-Time Systems and Programming Languages, 3rd edn. Addison-Wesley, Reading (2001)","edition":"3"},{"key":"2_CR2","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 real-time systems. BCS Computer Journal\u00a029, 390\u2013395 (1986)","journal-title":"BCS Computer Journal"},{"key":"2_CR3","volume-title":"A Practitioner\u2019s Handbook for Real-Time Analysis. Guide to Rate Monotonic Analysis for Real-Time Systems.","author":"M.H. Klein","year":"1993","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)"},{"key":"2_CR4","unstructured":"ISO\/IEC: TR 15942:2000 \u2014 Guide for the use of the Ada programming language in high integrity systems (2000)"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/BFb0055011","volume-title":"Reliable Software Technologies - Ada-Europe \u201998","author":"A. Burns","year":"1998","unstructured":"Burns, A., Dobbing, B., Romanski, G.: The Ravenscar tasking profile for high integrity real-time programs. In: Asplund, L. (ed.) Ada-Europe 1998. LNCS, vol.\u00a01411, pp. 263\u2013275. Springer, Heidelberg (1998)"},{"key":"2_CR6","unstructured":"ISO\/IEC: TR 24718:2005 \u2014 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":"2_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Ada 2005 Reference Manual","year":"2006","unstructured":"Taft, S.T., Duff, R.A., Brukardt, R.L., Ploedereder, E., Leroy, P. (eds.): Ada 2005 Reference Manual. LNCS, vol.\u00a04348. Springer, Heidelberg (2006)"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/334725.334733","volume":"XIX","author":"B. Dobbing","year":"1999","unstructured":"Dobbing, B., Romanski, G.: The Ravenscar profile: Experience report. Ada Letters\u00a0XIX, 28\u201332 (1999) Proceedings of the 9th International Real-Time Ada Workshop","journal-title":"Ada Letters"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/959221.959239","volume":"XXIII","author":"T. Vardanega","year":"2003","unstructured":"Vardanega, T.: Reflections on the use of the Ravenscar profile. Ada Letters\u00a0XXIII, 93\u201395 (2003) (Proceedings of the 12th International Ada Real-Time Workshop (IRTAW12)","journal-title":"Ada Letters"},{"key":"2_CR10","unstructured":"Vardanega, T.: Development of on-board embedded real-time systems: An engineering approach. Technical Report ESA STR-260, European Space Agency (1999)"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/959221.959237","volume":"XXIII","author":"J.A. Puente de la","year":"2003","unstructured":"de la Puente, J.A., Zamorano, J.: Execution-time clocks and Ravenscar kernels. Ada Letters\u00a0XXIII, 82\u201386 (2003) Proceedings of the 12th International Ada Real-Time Workshop (IRTAW12)","journal-title":"Ada Letters"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24841-5_10","volume-title":"Reliable Software Technologies - Ada-Europe 2004","author":"J. Zamorano","year":"2004","unstructured":"Zamorano, J., Alonso, A., Pulido, J.A., de la Puente, J.A.: Implementing execution-time clocks for the Ada Ravenscar profile. In: Llamos\u00ed, A., Strohmeier, A. (eds.) Ada-Europe 2004. LNCS, vol.\u00a03063, Springer, Heidelberg (2004)"},{"key":"2_CR13","volume-title":"IEEE Real-Time Systems Symposium","author":"R.I. Davis","year":"1993","unstructured":"Davis, R.I., Tindell, K.W., Burns, A.: Scheduling slack time in fixed priority pre-emptive systems. In: IEEE Real-Time Systems Symposium, IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Alonso, A., de la Puente, J.A.: Implementation of mode changes with the Ravenscar profile. Ada Letters. In: Proceedings of the 11th International Real-Time Ada Workshop, vol.\u00a0XXI (2001)","DOI":"10.1145\/374370.374377"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11499909_13","volume-title":"Reliable Software Technology \u2013 Ada-Europe 2005","author":"K. Lundqvist","year":"2005","unstructured":"Lundqvist, K., Srinivasan, J., Gorelov, S.: Non-intrusive system level fault-tolerance. In: Vardanega, T., Wellings, A.J. (eds.) Ada-Europe 2005. LNCS, vol.\u00a03555, pp. 156\u2013166. Springer, Heidelberg (2005)"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2006","author":"J.A. Pulido","year":"2006","unstructured":"Pulido, J.A., Urue\u00f1a, S., Zamorano, J., Vardanega, T., de la Puente, J.A.: Hierarchical scheduling with Ada 2005. In: Pinho, L.M., Gonz\u00e1lez Harbour, M. (eds.) Ada-Europe 2006. LNCS, vol.\u00a04006, Springer, Heidelberg (2006)"},{"key":"2_CR17","unstructured":"Dissaux, P., Moretti, R., Barone, M.R., Puri, S., Cancila, D., Bordin, M., Prochazka, M., Najm, E., Hamid, I.: Experience in modelling a general PP problem. Technical report, ASSERT Consortium, D3.1.3-1 I2R0 (2006)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada Europe 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73230-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T09:17:44Z","timestamp":1550395064000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73230-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540732297","9783540732303"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73230-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}