{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:59:02Z","timestamp":1764784742844,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030891589"},{"type":"electronic","value":"9783030891596"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-89159-6_18","type":"book-chapter","created":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T17:57:10Z","timestamp":1633975030000},"page":"274-295","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["HAMR: An AADL Multi-platform Code Generation Toolset"],"prefix":"10.1007","author":[{"given":"John","family":"Hatcliff","sequence":"first","affiliation":[]},{"given":"Jason","family":"Belt","sequence":"additional","affiliation":[]},{"family":"Robby","sequence":"additional","affiliation":[]},{"given":"Todd","family":"Carpenter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,12]]},"reference":[{"key":"18_CR1","unstructured":"SAE Architecture Analysis and Design Language (AADL) Annex Volume 2: Annex B: Data Modeling AnnexAnnex D: Behavior Model AnnexAnnex F: ARINC653 Annex"},{"key":"18_CR2","unstructured":"Aerospace Vehicle Systems Institute: motivation for advancing the system architecture virtual integration program (2020). https:\/\/savi.avsi.aero\/about-savi\/savi-motivation\/"},{"key":"18_CR3","unstructured":"AVSI: System Architecture Virtual Integration (SAVI) Initiative (2012)"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Borde, E., Rahmoun, S., Cadoret, F., Pautet, L., Singhoff, F., Dissaux, P.: Architecture models refinement for fine grain timing analysis of embedded systems. In: 2014 25nd IEEE International Symposium on Rapid System Prototyping, pp. 44\u201350 (2014)","DOI":"10.1109\/RSP.2014.6966691"},{"key":"18_CR5","unstructured":"Burns, A., Wellings, A.: Analysable Real-Time Systems: Programmed in Ada. CreateSpace (2016)"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Carpenter, T., Hatcliff, J., Vasserman, E.Y.: A reference separation architecture for mixed-criticality medical and IOT devices. In: Proceedings of the ACM Workshop on the Internet of Safe Things (SafeThings). ACM, November 2017","DOI":"10.1145\/3137003.3137008"},{"key":"18_CR7","doi-asserted-by":"publisher","unstructured":"Cofer, D., et al.: A formal approach to constructing secure air vehicle software. Computer 51, 14\u201323 (2018). https:\/\/doi.org\/10.1109\/MC.2018.2876051","DOI":"10.1109\/MC.2018.2876051"},{"key":"18_CR8","unstructured":"Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley, New York (2013)"},{"issue":"2","key":"18_CR9","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/3357495.3357496","volume":"16","author":"J Hatcliff","year":"2019","unstructured":"Hatcliff, J., Larson, B., Carpenter, T., Jones, P., Zhang, Y., Jorgens, J.: The open PCA pump project: an exemplar open source medical device as a community resource. SIGBED Rev. 16(2), 8\u201313 (2019)","journal-title":"SIGBED Rev."},{"key":"18_CR10","unstructured":"International, S.: SAE AS5506 Rev. C Architecture Analysis and Design Language (AADL). SAE International (2017)"},{"issue":"5","key":"18_CR11","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1016\/j.jss.2006.08.039","volume":"80","author":"I Kuz","year":"2007","unstructured":"Kuz, I., Liu, Y., Gorton, I., Heiser, G.: CAmkES: a component model for secure microkernel-based embedded systems. J. Syst. Softw. 80(5), 687\u2013699 (2007)","journal-title":"J. Syst. Softw."},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-642-01924-1_17","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2009","author":"G Lasnier","year":"2009","unstructured":"Lasnier, G., Zalila, B., Pautet, L., Hugues, J.: Ocarina: an environment for AADL models analysis and automatic code generation for high integrity applications. In: Kordon, F., Kermarrec, Y. (eds.) Ada-Europe 2009. LNCS, vol. 5570, pp. 237\u2013250. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-01924-1_17"},{"key":"18_CR13","unstructured":"NICTA, Dynamics, G.: sel4 microkernel (2015). sel4.systems"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Rushby, J.: The design and verification of secure systems. In: 8th ACM Symposium on Operating Systems Principles, vol. 15(5), pp. 12\u201321 (1981)","DOI":"10.1145\/1067627.806586"},{"key":"18_CR15","unstructured":"West, A.: Nasa study on flight software complexity, March 2009. https:\/\/www.nasa.gov\/pdf\/418878main_FSWC_Final_Report.pdf"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Zalila, B., Pautet, L., Hugues, J.: Towards automatic middleware generation. In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), pp. 221\u2013228 (2008)","DOI":"10.1109\/ISORC.2008.27"},{"key":"18_CR17","unstructured":"Sireum Awas website. https:\/\/awas.sireum.org"},{"key":"18_CR18","unstructured":"DARPA CASE Vagrant. https:\/\/github.com\/loonwerks\/CASE\/tree\/master\/TA5\/case-env"},{"key":"18_CR19","unstructured":"Open PCA Pump Project website (2018). http:\/\/openpcapump.santoslab.org"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-89159-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,25]],"date-time":"2022-03-25T08:06:42Z","timestamp":1648195602000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89159-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030891589","9783030891596"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89159-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"12 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/isola-conference.org\/isola2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}