{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:19:40Z","timestamp":1762521580694},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642386008"},{"type":"electronic","value":"9783642386015"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38601-5_9","type":"book-chapter","created":{"date-parts":[[2013,5,27]],"date-time":"2013-05-27T01:25:01Z","timestamp":1369617901000},"page":"127-142","source":"Crossref","is-referenced-by-count":3,"title":["A Model-Based Framework for Developing Real-Time Safety Ada Systems"],"prefix":"10.1007","author":[{"given":"Emilio","family":"Salazar","sequence":"first","affiliation":[]},{"given":"Alejandro","family":"Alonso","sequence":"additional","affiliation":[]},{"given":"Miguel A.","family":"de Miguel","sequence":"additional","affiliation":[]},{"given":"Juan A.","family":"de la Puente","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Alonso, A., Salazar, E., de la Puente, J.A.: Design of on-board software for an experimental satellite (2103), www.dit.upm.es\/~str\/papers\/pdf\/alonso&13a.pdf"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-73230-3_9","volume-title":"Reliable Software Technologies - Ada-Europe 2007","author":"M. Bordin","year":"2007","unstructured":"Bordin, M., Vardanega, T.: Correctness by construction for high-integrity real-time systems: A metamodel-driven approach. In: Abdennadher, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol.\u00a04498, pp. 114\u2013127. Springer, Heidelberg (2007)"},{"key":"9_CR3","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":"9_CR4","doi-asserted-by":"publisher","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 Letters\u00a0XXIV, 1\u201374 (2004)","journal-title":"Ada Letters"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-47884-1_1","volume-title":"Integrated Formal Methods","author":"E. Gery","year":"2002","unstructured":"Gery, E., Harel, D., Palachi, E.: Rhapsody: A complete life-cycle model-based development system. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335, pp. 1\u201310. Springer, Heidelberg (2002)"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/EMRTS.2001.934015","volume-title":"Proceedings of 13th Euromicro Conference on Real-Time Systems","author":"M. Gonz\u00e1lez Harbour","year":"2001","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 (2001)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-68624-8_4","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2008","author":"I. Hamid","year":"2008","unstructured":"Hamid, I., Najm, E.: Operational semantics of Ada Ravenscar. In: Kordon, F., Vardanega, T. (eds.) Ada-Europe 2008. LNCS, vol.\u00a05026, pp. 44\u201358. Springer, Heidelberg (2008)"},{"issue":"4","key":"9_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1376804.1376810","volume":"7","author":"J. Hugues","year":"2008","unstructured":"Hugues, J., Zalila, B., Pautet, L., Kordon, F.: From the prototype to the final embedded system using the Ocarina AADL tool suite. ACM Tr. Embedded Computer Systems\u00a07(4), 1\u201325 (2008)","journal-title":"ACM Tr. Embedded Computer Systems"},{"key":"9_CR9","unstructured":"Lanusse, A., Tanguy, Y., Espinoza, H., Mraidha, C., Gerard, S., Tessier, P., Schnekenburger, R., Dubois, H., Terrier, F.: Papyrus UML: an open source toolset for MDA. In: Proc. of the Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009), pp. 1\u20134 (2009)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Mazzini, S., Puri, S., Vardanega, T.: An MDE methodology for the development of high-integrity real-time systems. In: Design, Automation and Test in Europe, DATE 2009, pp. 1154\u20131159. IEEE (2009)","DOI":"10.1109\/DATE.2009.5090837"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/2388936.2388966","volume-title":"Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2012","author":"M.A. Miguel de","year":"2012","unstructured":"de Miguel, M.A., Salazar, E.: Model-based development for RTSJ platforms. In: Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2012, pp. 175\u2013184. ACM, New York (2012)"},{"key":"9_CR12","unstructured":"OMG Unified Modeling Language (UML), version 2.4.1 (2011), http:\/\/www.omg.org\/spec\/UML\/2.4.1\/"},{"key":"9_CR13","unstructured":"OMG UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, version 1.1 (2011), http:\/\/www.omg.org\/spec\/MARTE\/"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-73230-3_10","volume-title":"Reliable Software Technologies - Ada-Europe 2007","author":"M. Panunzio","year":"2007","unstructured":"Panunzio, M., Vardanega, T.: A metamodel-driven process featuring advanced model-based timing analysis. In: Abdennadher, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol.\u00a04498, pp. 128\u2013141. Springer, Heidelberg (2007)"},{"key":"9_CR15","unstructured":"Perrotin, M., Conquet, E., Dissaux, P., Tsiodras, T., Hugues, J.: The TASTE toolset: Turning human designed heterogeneous systems into computer built homogeneous software. In: 5th Int. Congress on Embedded Real-Time Software and Systems, ERTS2 2010 (May 2010)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Pulido, J., de la Puente, J.A., Bordin, M., Vardanega, T., Hugues, J.: Ada 2005 code patterns for metamodel-based code generation. Ada Letters XXVII(2), 53\u201358 (2007), Proceedings of the 13th International Ada Real-Time Workshop (IRTAW13)","DOI":"10.1145\/1316002.1316013"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Schmidt, D.C.: Model-driven engineering. IEEE Computer 39(2) (2006)","DOI":"10.1109\/MC.2006.58"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"Ada 2005 Reference Manual. Language and Standard Libraries","year":"2006","unstructured":"Tucker Taft, S., Duff, R.A., Brukardt, R.L., Pl\u00f6dereder, E., Leroy, P. (eds.): Ada 2005 Reference Manual. LNCS, vol.\u00a04348. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2013"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38601-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,27]],"date-time":"2020-07-27T05:00:08Z","timestamp":1595826008000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38601-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642386008","9783642386015"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38601-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}