{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T18:43:14Z","timestamp":1761676994809,"version":"3.37.3"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2021,7,19]],"date-time":"2021-07-19T00:00:00Z","timestamp":1626652800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,7,19]],"date-time":"2021-07-19T00:00:00Z","timestamp":1626652800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2022,12]]},"DOI":"10.1007\/s11334-021-00410-w","type":"journal-article","created":{"date-parts":[[2021,7,19]],"date-time":"2021-07-19T13:03:26Z","timestamp":1626699806000},"page":"485-504","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Awas: AADL information flow and error propagation analysis framework"],"prefix":"10.1007","volume":"18","author":[{"given":"Hariharan","family":"Thiagarajan","sequence":"first","affiliation":[]},{"given":"John","family":"Hatcliff","sequence":"additional","affiliation":[]},{"family":"Robby","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,7,19]]},"reference":[{"key":"410_CR1","doi-asserted-by":"crossref","unstructured":"Carpenter T, Hatcliff J, Vasserman EY (2017) 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","DOI":"10.1145\/3137003.3137008"},{"key":"410_CR2","doi-asserted-by":"crossref","unstructured":"Delange J, Feiler P (2014) Architecture fault modeling with the AADL error-model annex. In: 2014 40th EUROMICRO conference on software engineering and advanced applications. IEEE, pp 361\u2013368","DOI":"10.1109\/SEAA.2014.20"},{"key":"410_CR3","doi-asserted-by":"crossref","unstructured":"Falessi D, Nejati S, Sabetzadeh M, Briand L, Messina A (2011) Safeslice: a model slicing and design safety inspection tool for sysml. In: Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, pp 460\u2013463","DOI":"10.1145\/2025113.2025191"},{"issue":"3","key":"410_CR4","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/2692956.2663177","volume":"34","author":"A Gacek","year":"2014","unstructured":"Gacek A, Backes J, Cofer D, Slind K, Whalen M (2014) Resolute: an assurance case language for architecture models. ACM SIGAda Ada Lett 34(3):19\u201328","journal-title":"ACM SIGAda Ada Lett"},{"key":"410_CR5","doi-asserted-by":"crossref","unstructured":"Hatcliff J, Larson B, Carpenter T, Jones P, Zhang Y, Jorgens J (2019) The open PCA pump project: an exemplar open source medical device as a community resource. SIGBED Rev. pp 8\u201313","DOI":"10.1145\/3357495.3357496"},{"key":"410_CR6","doi-asserted-by":"crossref","unstructured":"Hatcliff J, Wassyng A, Kelly T, Comar C, Jones PL (2014) Certifiably safe software-dependent systems: challenges and directions. In: Proceedings of the on future of software engineering (ICSE FOSE), pp 182\u2013200 (2014)","DOI":"10.1145\/2593882.2593895"},{"key":"410_CR7","unstructured":"Herrera D, Chen H, Lavoie E, Hendren L (2018) Webassembly and javascript challenge: numerical program performance using modern browser technologies and devices. Technical report. Technical report SABLE-TR-2018-2. Montr\u00e9al, Qu\u00e9bec, Canada"},{"issue":"1","key":"410_CR8","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/77606.77608","volume":"12","author":"S Horwitz","year":"1990","unstructured":"Horwitz S, Reps T, Binkley D (1990) Interprocedural slicing using dependence graphs. ACM Trans Program Lang Syst (TOPLAS) 12(1):26\u201360","journal-title":"ACM Trans Program Lang Syst (TOPLAS)"},{"key":"410_CR9","unstructured":"Jackson D, Rollins EJ (1994) Chopping: a generalization of slicing. Carnegie-Mellon Univ pittsburgh pa Dept of Computer Science. Technical report"},{"key":"410_CR10","doi-asserted-by":"crossref","unstructured":"Kildall GA (1973) A unified approach to global program optimization. In: Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on principles of programming languages. ACM, pp 194\u2013206","DOI":"10.1145\/512927.512945"},{"key":"410_CR11","doi-asserted-by":"crossref","unstructured":"Larson B, Chalin P, Hatcliff J (2013) BLESS: formal specification and verification of behaviors for embedded systems with software. In: Proceedings of the 2013 NASA formal methods conference. Lecture notes in computer science, vol 7871. Springer, pp 276\u2013290","DOI":"10.1007\/978-3-642-38088-4_19"},{"issue":"3","key":"410_CR12","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/2658982.2527271","volume":"33","author":"B Larson","year":"2013","unstructured":"Larson B, Hatcliff J, Fowler K, Delange J (2013) Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device. ACM SIGAda Ada Lett 33(3):65\u201384","journal-title":"ACM SIGAda Ada Lett"},{"issue":"5","key":"410_CR13","doi-asserted-by":"publisher","first-page":"380","DOI":"10.2345\/0899-8205-51.5.380","volume":"51","author":"B Larson","year":"2017","unstructured":"Larson B, Jones P, Zhang Y, Hatcliff J (2017) Principles and benefits of explicitly designed medical device safety architecture. Biomed Inst Technol 51(5):380\u2013389","journal-title":"Biomed Inst Technol"},{"issue":"5\u20136","key":"410_CR14","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/s10009-007-0043-0","volume":"9","author":"VP Ranganath","year":"2007","unstructured":"Ranganath VP, Hatcliff J (2007) Slicing concurrent java programs using Indus and Kaveri. STTT 9(5\u20136):489\u2013504","journal-title":"STTT"},{"key":"410_CR15","doi-asserted-by":"crossref","unstructured":"Rasmussen S, Kingston D, Humphrey LR (2018) A brief introduction to unmanned systems autonomy services (UXAS). In: 2018 international conference on unmanned aircraft systems (ICUAS), pp 257\u2013268","DOI":"10.1109\/ICUAS.2018.8453287"},{"key":"410_CR16","doi-asserted-by":"crossref","unstructured":"Reps T, Horwitz S, Sagiv M (1995) Precise interprocedural dataflow analysis via graph reachability. In: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, pp 49\u201361","DOI":"10.1145\/199448.199462"},{"key":"410_CR17","unstructured":"Roudier Y, Apvrille L (2015) Sysml-sec: a model driven approach for designing safe and secure systems. In: 2015 3rd international conference on model-driven engineering and software development (MODELSWARD). IEEE, pp 655\u2013664"},{"key":"410_CR18","unstructured":"SAE AS-2C architecture description language subcommittee: SAE architecture analysis and design language (AADL) annex volume 3: annex E: error model language. Technical report, SAE Aerospace"},{"key":"410_CR19","unstructured":"Thiagarajan H, Hatcliff J. Awas user documentation. https:\/\/awas.sireum.org"},{"key":"410_CR20","doi-asserted-by":"crossref","unstructured":"Thiagarajan H, Hatcliff J, Belt J, Robby (2012) Bakar Alir: supporting developers in construction of information flow contracts in SPARK. In: 2012 IEEE 12th international working conference on source code analysis and manipulation, pp 132\u2013137","DOI":"10.1109\/SCAM.2012.25"},{"key":"410_CR21","doi-asserted-by":"crossref","unstructured":"Thiagarajan H, Larson B, Hatcliff J, Zhang Y (2020) Model-based risk analysis for an open-source PCA pump using AADL error modeling. In: Proceedings of the international conference on model-based safety analysis (2020)","DOI":"10.1007\/978-3-030-58920-2_3"},{"issue":"3","key":"410_CR22","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.entcs.2005.02.051","volume":"141","author":"M Wallace","year":"2005","unstructured":"Wallace M (2005) Modular architectural representation and analysis of fault propagation and transformation. Electron Notes Theor Comput Sci 141(3):53\u201371","journal-title":"Electron Notes Theor Comput Sci"},{"key":"410_CR23","unstructured":"Weiser M (1981) Program slicing. In: Proceedings of the 5th international conference on Software engineering. IEEE Press, pp 439\u2013449"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-021-00410-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11334-021-00410-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-021-00410-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,14]],"date-time":"2022-11-14T09:16:23Z","timestamp":1668417383000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11334-021-00410-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,19]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2022,12]]}},"alternative-id":["410"],"URL":"https:\/\/doi.org\/10.1007\/s11334-021-00410-w","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"type":"print","value":"1614-5046"},{"type":"electronic","value":"1614-5054"}],"subject":[],"published":{"date-parts":[[2021,7,19]]},"assertion":[{"value":"18 January 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 June 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 July 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}