{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:38:22Z","timestamp":1725514702822},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540686217"},{"type":"electronic","value":"9783540686248"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68624-8_4","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T09:52:09Z","timestamp":1213091529000},"page":"44-58","source":"Crossref","is-referenced-by-count":3,"title":["Operational Semantics of Ada Ravenscar"],"prefix":"10.1007","author":[{"given":"Irfan","family":"Hamid","sequence":"first","affiliation":[]},{"given":"Elie","family":"Najm","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"Eclipse Modeling Framework","author":"F. Budinsky","year":"2004","unstructured":"Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.: Eclipse Modeling Framework. Addison-Wesley, Reading (2004)"},{"issue":"2","key":"4_CR2","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 Lett.\u00a0XXIV(2), 1\u201374 (2004)","journal-title":"Ada Lett."},{"key":"4_CR3","volume-title":"Real-Time Systems and Programming Languages","author":"A. Burns","year":"2001","unstructured":"Burns, A., Wellings, A.: Real-Time Systems and Programming Languages, 3rd edn. Addison-Wesley, Reading (2001)","edition":"3"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/BFb0040253","volume-title":"Proceedings of the fifth international conference on Mathematical Foundations of Programming Semantics","author":"L. Cardelli","year":"1990","unstructured":"Cardelli, L., Mitchell, J.C.: Operations on Records. In: Proceedings of the fifth international conference on Mathematical Foundations of Programming Semantics, pp. 22\u201352. Springer, New York (1990)"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/1086228.1086236","volume-title":"EMSOFT 2005: Proceedings of the 5th ACM international conference on Embedded software","author":"K. Chen","year":"2005","unstructured":"Chen, K., Sztipanovits, J., Neema, S.: Toward a Semantic Anchoring Infrastructure for Domain-specific Modeling Languages. In: EMSOFT 2005: Proceedings of the 5th ACM international conference on Embedded software, pp. 35\u201343. ACM Press, New York (2005)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/10722060_4","volume-title":"Reliable Software Technologies Ada-Europe 2000","author":"J.A. Puente de la","year":"2000","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.\u00a01845, pp. 5\u201315. Springer, Heidelberg (2000)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-45499-3_17","volume-title":"Algebraic Methodology and Software Technology","author":"C.J. Fidge","year":"2000","unstructured":"Fidge, C.J.: The Algebra of Multi-tasking. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 213\u2013227. Springer, Heidelberg (2000)"},{"key":"4_CR8","first-page":"220","volume-title":"RTSS 1997: Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS 1997)","author":"S. Fowler","year":"1997","unstructured":"Fowler, S., Wellings, A.: Formal Development of a Real-Time Kernel. In: RTSS 1997: Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS 1997), p. 220. IEEE Computer Society, Washington, DC (1997)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Hamid, I., Zalila, B., Najm, E., Hugues, J.: A Generative Approach to Building a Framework for Hard Real-Time Applications. In: 31st Annual NASA Goddard Software Engineering Workshop (SEW 2007) (March 2007)","DOI":"10.1109\/SEW.2007.83"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1109\/RTCSA.1999.811307","volume-title":"RTCSA 1999: Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications","author":"K. Lundqvist","year":"1999","unstructured":"Lundqvist, K., Asplund, L.: A Formal Model of a Run-Time Kernel for Ravenscar. In: RTCSA 1999: Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications, p. 504. IEEE Computer Society, Washington, DC (1999)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/978-3-540-68624-8_3","volume-title":"Ada-Europe 2008","author":"I. Ober","year":"2008","unstructured":"Ober, I., Halbwachs, N.: On the Timed Automata-based Verification of Ravenscar Systems. In: Ada-Europe 2008. LNCS, vol.\u00a05026, pp. 30\u201343. Springer, Heidelberg (to appear, 2008)"},{"key":"4_CR12","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)"},{"key":"4_CR13","unstructured":"SAE. Architecture Analysis & Design Language (AS5506) (September 2004), \n                  \n                    http:\/\/www.sae.org"},{"key":"4_CR14","unstructured":"SEI. Open Source AADL Tool Environment (2006), \n                  \n                    http:\/\/la.sei.cmu.edu\/aadl\/currentsite\/tool\/osate.html"},{"issue":"3","key":"4_CR15","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/2.204696","volume":"26","author":"L. Sha","year":"1993","unstructured":"Sha, L., Klein, M.H., Goodenough, J.B.: Rate Monotonic Analysis for Real-Time Systems. Computer\u00a026(3), 73\u201374 (1993)","journal-title":"Computer"},{"issue":"9","key":"4_CR16","doi-asserted-by":"publisher","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L. Sha","year":"1990","unstructured":"Sha, L., Rajkumar, R., Lehoczky, J.P.: Priority Inheritance Protocols: An Approach to Real-Time Synchronization. IEEE Transactions on Computers\u00a039(9), 1175\u20131185 (1990)","journal-title":"IEEE Transactions on Computers"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Vardanega, T., Zamorano, J., de la Puente, J.A.: On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels. Real-Time Syst.\u00a029(1) (2005)","DOI":"10.1023\/B:TIME.0000048937.17571.2b"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68624-8_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:08:38Z","timestamp":1620014918000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68624-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540686217","9783540686248"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68624-8_4","relation":{},"subject":[]}}