{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:31Z","timestamp":1725487111030},"publisher-location":"Berlin, Heidelberg","reference-count":12,"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_12","type":"book-chapter","created":{"date-parts":[[2007,6,29]],"date-time":"2007-06-29T17:04:42Z","timestamp":1183136682000},"page":"155-167","source":"Crossref","is-referenced-by-count":5,"title":["Generating Distributed High Integrity Applications from Their Architectural Description"],"prefix":"10.1007","author":[{"given":"Bechir","family":"Zalila","sequence":"first","affiliation":[]},{"given":"Irfan","family":"Hamid","sequence":"additional","affiliation":[]},{"given":"Jerome","family":"Hugues","sequence":"additional","affiliation":[]},{"given":"Laurent","family":"Pautet","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the Ada Ravenscar Profile in high integrity systems. Technical report, University of York, UK (january 2003)","key":"12_CR1","DOI":"10.1145\/997119.997120"},{"doi-asserted-by":"crossref","unstructured":"Barros, M.C., Madeira, E.R., Sotoma, I.: An Experience on CORBA Component Deployment. In: ISADS\u201903. Proceedings of the sixth International Symposium on Autonomous Decentralized Systems (April 2003)","key":"12_CR2","DOI":"10.1109\/ISADS.2003.1193963"},{"key":"12_CR3","first-page":"59","volume-title":"ECRTS \u201905","author":"M. Bordin","year":"2005","unstructured":"Bordin, M., Vardanega, T.: Automated Model-Based Generation of Ravenscar-Compliant Source Code. In: ECRTS \u201905. Proceedings of the 17th Euromicro Conference on Real-Time Systems, pp. 59\u201367. IEEE Computer Society Press, Washington, DC (2005)"},{"unstructured":"Hugues, J., Zalila, B., Pautet, L.: Middleware and Tool suite for High Integrity Systems (December 2006)","key":"12_CR4"},{"doi-asserted-by":"crossref","unstructured":"Pautet, L., Tardieu, S.: GLADE: a Framework for Building Large Object-Oriented Real-Time Distributed Systems. In: ISORC\u201900. Proceedings of the 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Newport Beach, California (June 2000)","key":"12_CR5","DOI":"10.1109\/ISORC.2000.839536"},{"unstructured":"SAE. Architecture Analysis & Design Language (AS5506), (september 2004), available at http:\/\/www.sae.org","key":"12_CR6"},{"unstructured":"SAE. Language Compliance and Application Program Interface. SAE 2005. The AADL Specification Document Annex D.","key":"12_CR7"},{"key":"12_CR8","first-page":"1","volume-title":"Proceedings of the ACM SIGADA International Conference","author":"F. Singhoff","year":"2005","unstructured":"Singhoff, F., Legrand, J., Nana, L., Marc\u00e9, L.: Scheduling and memory requirement analysis with aadl. In: ACM Press (ed.) Proceedings of the ACM SIGADA International Conference, vol.\u00a025, pp. 1\u201310. ACM Press, New York (2005)"},{"unstructured":"Ellidiss Software. STOOD. http:\/\/www.ellidiss.com\/stood.shtml","key":"12_CR9"},{"key":"12_CR10","first-page":"1175","volume-title":"IEEE Transactions on Computers","author":"L. Sha","year":"1990","unstructured":"Sha, L., Rajkumar, R., Lehoczky, J.P.: Priority Inheritance Protocols: An Approach to Real-Time Synchronization. In: IEEE Transactions on Computers, pp. 1175\u20131185. IEEE Computer Society Press, Washington DC (1990)"},{"unstructured":"Vergnaud, T., Hugues, J., Pautet, L., Kordon, F.: Rapid Development Methodology for Customized Middleware. In: RSP\u201905. Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping, Montreal, Canada (June 2005)","key":"12_CR11"},{"unstructured":"Ada Working Group. Ada Reference Manual. ISO\/IEC (2005), Available at http:\/\/www.adaic.com\/standards\/05rm\/RM-Final.pdf","key":"12_CR12"}],"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_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:12:39Z","timestamp":1605762759000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73230-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540732297","9783540732303"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73230-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}