{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:47:57Z","timestamp":1740142077074,"version":"3.37.3"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,1,31]],"date-time":"2008-01-31T00:00:00Z","timestamp":1201737600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1007\/s11334-008-0044-5","type":"journal-article","created":{"date-parts":[[2008,1,30]],"date-time":"2008-01-30T02:15:22Z","timestamp":1201659322000},"page":"107-122","source":"Crossref","is-referenced-by-count":3,"title":["Automatic framework generation for hard real-time applications"],"prefix":"10.1007","volume":"4","author":[{"given":"Irfan","family":"Hamid","sequence":"first","affiliation":[]},{"given":"Bechir","family":"Zalila","sequence":"additional","affiliation":[]},{"given":"Elie","family":"Najm","sequence":"additional","affiliation":[]},{"given":"J\u00e9r\u00f4me","family":"Hugues","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,1,31]]},"reference":[{"key":"44_CR1","unstructured":"Ada Working Group (2005) Ada Reference Manual. ISO\/IEC, available at http:\/\/www.adaic.com\/standards\/05rm\/RM-Final.pdf"},{"key":"44_CR2","unstructured":"Aonix (2006) Real-Time RAVEN, http:\/\/www.aonix.com\/pdf\/RAVEN-aon.pdf"},{"key":"44_CR3","doi-asserted-by":"crossref","unstructured":"Barros MC, Madeira ER, Sotoma I (2003) An experience on CORBA component deployment. In: Proceedings of the 6th international symposium on autonomous decentralized systems (ISADS\u201903)","DOI":"10.1109\/ISADS.2003.1193963"},{"key":"44_CR4","doi-asserted-by":"crossref","unstructured":"Bordin M, Vardanega T (2005) Automated model-based generation of ravenscar-compliant source code. In: ECRTS \u201905: Proceedings of the 17th Euromicro conference on real-time systems (ECRTS\u201905), IEEE Computer Society, Washington, DC, USA, pp 59\u201367, http:\/\/dx.doi.org\/10.1109\/ECRTS.2005.9","DOI":"10.1109\/ECRTS.2005.9"},{"key":"44_CR5","volume-title":"Eclipse modeling framework","author":"F Budinsky","year":"2004","unstructured":"Budinsky F, Steinberg D, Merks E, Ellersick R and Grose T (2004). Eclipse modeling framework. Addison-Wesley, Reading"},{"issue":"1","key":"44_CR6","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/BF01245300","volume":"6","author":"A Burns","year":"1994","unstructured":"Burns A and Wellings AJ (1994). HRT-HOOD: a structured design method for hard real-time systems. Real-Time Syst 6(1): 73\u2013114 http:\/\/dx.doi.org\/10.1007\/BF01245300","journal-title":"Real-Time Syst"},{"key":"44_CR7","volume-title":"Real-time systems and programming languages","author":"A Burns","year":"2001","unstructured":"Burns A and Wellings A (2001). Real-time systems and programming languages, 3rd edn. Addison-Wesley, Reading","edition":"3"},{"issue":"2","key":"44_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/997119.997120","volume":"XXIV","author":"A Burns","year":"2004","unstructured":"Burns A, Dobbing B and Vardanega T (2004). Guide for the use of the Ada Ravenscar profile in high integrity systems. Ada Lett XXIV(2): 1\u201374 http:\/\/doi.acm.org\/10.1145\/997119.997120","journal-title":"Ada Lett"},{"key":"44_CR9","doi-asserted-by":"crossref","unstructured":"Carmichael AR (1992) Defining software architectures using the hierarchical object-oriented design method (HOOD). In: TRI-Ada \u201992: Proceedings of the conference on TRI-Ada \u201992, ACM, New York, USA, pp 211\u2013219, http:\/\/doi.acm.org\/10.1145\/143557.143721","DOI":"10.1145\/143557.143721"},{"key":"44_CR10","unstructured":"Ellidiss Software (2007) Stood, http:\/\/www.ellidiss.com\/stood.shtml"},{"key":"44_CR11","unstructured":"ENST (2006) Ocarina: An AADL model processing suite, http:\/\/ocarina.enst.fr , URL http:\/\/ocarina.enst.fr"},{"key":"44_CR12","doi-asserted-by":"crossref","unstructured":"Espinoza H, Dubois H, G\u00e9rard S, Medina J, Petriu DC, Woodside M (2006) Annotating UML models with non-functional properties for quantitative analysis. Satellite Events at the MoDELS 2005 Conference 3844\/2006, pp 79\u201390","DOI":"10.1007\/11663430_9"},{"key":"44_CR13","doi-asserted-by":"crossref","unstructured":"Halbwachs N (2005) A synchronous language at work: the story of lustre. In: MEMOCODE \u201905: Proceedings of the proceedings. Second ACM and IEEE international conference on formal methods and models for Co-Design, 2005. MEMOCODE \u201905., IEEE Computer Society, Washington, DC, USA, pp 3\u201311, http:\/\/dx.doi.org\/10.1109\/MEMCOD.2005.1487884","DOI":"10.1109\/MEMCOD.2005.1487884"},{"key":"44_CR14","unstructured":"Hugues J, Zalila B, Pautet L (2006) Middleware and tool suite for high integrity systems"},{"issue":"5\u20136","key":"44_CR15","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1002\/cpe.843","volume":"17","author":"J Kwon","year":"2005","unstructured":"Kwon J, Wellings A and King S (2005). Ravenscar-Java: a high-integrity profile for real-time Java. Concurr Comput Pract Exp 17(5\u20136): 681\u2013713","journal-title":"Concurr Comput Pract Exp"},{"key":"44_CR16","doi-asserted-by":"crossref","unstructured":"Mazzini S, D\u2019Alessandro M, Natale MD, Lipari G, Vardanega T (2003) Issues in mapping HRT-HOOD to UML. ecrts 00:221, http:\/\/doi.ieeecomputersociety.org\/10.1109\/EMRTS.2003.1212747","DOI":"10.1109\/EMRTS.2003.1212747"},{"key":"44_CR17","unstructured":"Object Management Group (2007) Unified modeling language: superstructure. OMG, 2nd edn"},{"key":"44_CR18","doi-asserted-by":"crossref","unstructured":"de la Puente JA, Ruiz JF, Zamorano J (2000) An open Ravenscar real-time kernel for GNAT. In: Ada-Europe 2000: Proceedings of the 5th Ada-Europe international conference on reliable software technologies, Springer, London, pp 5\u201315","DOI":"10.1007\/10722060_4"},{"key":"44_CR19","unstructured":"RTCA, EUROCAE (1992) DO-178B, software considerations in airborne systems and equipment certification. RTCS and EUROCAE"},{"key":"44_CR20","unstructured":"SAE (2004) Architecture analysis & design language (AS5506). Available at http:\/\/www.sae.org"},{"key":"44_CR21","unstructured":"SAE (2005) Language compliance and application program interface. SAE, the AADL Specification Document Annex D"},{"key":"44_CR22","unstructured":"SEI (2006) Open Source AADL Tool Environment, http:\/\/la.sei.cmu.edu\/aadl\/currentsite\/tool\/osate.html"},{"issue":"9","key":"44_CR23","doi-asserted-by":"crossref","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L Sha","year":"1990","unstructured":"Sha L, Rajkumar R and Lehoczky J (1990). Priority inheritance protocols: an approach to real-time synchronization. IEEE Trans Comput 39(9): 1175\u20131185 http:\/\/doi.ieeecomputersociety.org\/10.1109\/12.57058","journal-title":"IEEE Trans Comput"},{"issue":"3","key":"44_CR24","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1109\/2.204696","volume":"26","author":"L Sha","year":"1993","unstructured":"Sha L, Klein MH and Goodenough JB (1993). Rate monotonic analysis for real-time systems. Computer 26(3): 73\u201374 http:\/\/dx.doi.org\/10.1109\/2.204696","journal-title":"Computer"},{"key":"44_CR25","unstructured":"Vestal S (1998) Software programmer\u2019s manual for the Honeywell Aerospace Compiled Kernel (MetaH Language Reference Manual). Honeywell Technology Center, Minneapolis"},{"key":"44_CR26","doi-asserted-by":"crossref","unstructured":"Zalila B, Hamid I, Hugues J, Pautet L (2007) Generating distributed high integrity applications from their architectural description. In: 12th international conference on reliable software technologies Ada-Europe 2007, pp 155\u2013167","DOI":"10.1007\/978-3-540-73230-3_12"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-008-0044-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-008-0044-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-008-0044-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T09:47:44Z","timestamp":1559382464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-008-0044-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,1,31]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,4]]}},"alternative-id":["44"],"URL":"https:\/\/doi.org\/10.1007\/s11334-008-0044-5","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"type":"print","value":"1614-5046"},{"type":"electronic","value":"1614-5054"}],"subject":[],"published":{"date-parts":[[2008,1,31]]}}}