HTTP/2 200 date: Tue, 03 Feb 2026 23:48:24 GMT content-type: application/json content-length: 2219 access-control-expose-headers: Link access-control-allow-headers: X-Requested-With, Accept, Accept-Encoding, Accept-Charset, Accept-Language, Accept-Ranges, Cache-Control access-control-allow-origin: * vary: Accept-Encoding content-encoding: gzip server: Jetty(9.4.40.v20210413) x-rate-limit: 5 x-rate-limit-interval: 1s x-concurrency-limit: 1 x-api-pool: public permissions-policy: interest-cohort=() {"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:41:51Z","timestamp":1764783711558},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,1]]},"DOI":"10.1109\/hase.2015.25","type":"proceedings-article","created":{"date-parts":[[2015,2,5]],"date-time":"2015-02-05T19:16:33Z","timestamp":1423163793000},"source":"Crossref","is-referenced-by-count":65,"title":["Weaving an Assurance Case from Design: A Model-Based Approach"],"prefix":"10.1109","author":[{"given":"Richard","family":"Hawkins","sequence":"first","affiliation":[]},{"given":"Ibrahim","family":"Habli","sequence":"additional","affiliation":[]},{"given":"Dimitris","family":"Kolovos","sequence":"additional","affiliation":[]},{"given":"Richard","family":"Paige","sequence":"additional","affiliation":[]},{"given":"Tim","family":"Kelly","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"The Epsilon book","author":"kolovos","year":"2013"},{"key":"ref11","article-title":"Separation and integration in MILS (The MILS constitution)","author":"rushby","year":"2008","journal-title":"Technical Report SRI-CSL-08-XX SRI International"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2008.19"},{"key":"ref13","article-title":"Architecture analysis & design language (AADL), Annex C AADL Meta Model and Interchange Formats","year":"2006","journal-title":"SAE International"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ASSURE.2013.6614267"},{"key":"ref15","year":"0"},{"key":"ref16","article-title":"Machine-checkable assurance case language (MACL)","year":"2012","journal-title":"RFI"},{"key":"ref17","article-title":"A pattern-based approach towards modular safety analysis and argumentation","author":"schaetz","year":"2014","journal-title":"Embedded Real Time Software and Systems (ERTS2)"},{"key":"ref18","article-title":"Automated safety case compilation for product-based argumentation","author":"armengaud","year":"2014","journal-title":"Embedded Real Tme Software and Systems (ERTS2)"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84996-086-1_1"},{"key":"ref28","article-title":"Safety Cases and Their Role in ISO 26262 Functional Safety Assessment","author":"habli","year":"2013","journal-title":"International Conference on Computer Safety Reliability and Security"},{"key":"ref4","article-title":"Structured assurance case metamodel (SACM)","year":"2013","journal-title":"Version 1 0"},{"key":"ref27","article-title":"An independent review into the broader issues surrounding the loss of the RAF Nimrod MR2 Aircraft XV230 in Afghanistan in 2006","author":"cave","year":"2006","journal-title":"The Stationary Office Tech Rep"},{"key":"ref3","year":"0"},{"key":"ref6","first-page":"8","article-title":"Advocate: An assurance case automation toolset","author":"denney","year":"2012","journal-title":"proc Workshop on Next Generation of System Assurance Approaches for Safety Critical Systems (SASSUR)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0997-6_5"},{"key":"ref8","article-title":"AMW: A generic model weaver","author":"del fabro","year":"2005","journal-title":"proc 1èrcs Journées sur l'Ingénierie Dirigée par les Modèles"},{"key":"ref7","article-title":"Towards modular certification using integrated model-based safety cases","author":"voss","year":"2013","journal-title":"proc VeriSure Verification and Assurance Workshop"},{"key":"ref2","article-title":"GSN community standard","year":"2011"},{"key":"ref9","article-title":"Applying generic model management to data mapping","author":"didonet","year":"2005","journal-title":"proc Bases de Données Avancées (BDA05)"},{"key":"ref1","article-title":"Using safety cases in industry and healthcare","year":"2012"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40793-2_1"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-40793-2_3","article-title":"A formal basis for safety case patterns","author":"denney","year":"2013","journal-title":"proc 32nd International Conference on Computer Safety Reliability and Security (SafeComp '13)"},{"key":"ref21","article-title":"Mechanized support for assurance case argumentation","author":"rushby","year":"2013","journal-title":"proc 1st International Workshop on Argument for Agreement and Assurance (AAA 2013)"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2014.97"},{"key":"ref23","article-title":"A lightweight methodology for safety case assembly","author":"denney","year":"2012","journal-title":"proc 31st International Conference on Computer Safety Reliability and Security (SafeComp '12)"},{"key":"ref26","article-title":"Balancing the formal and informal in safety case arguments","author":"habli","year":"2014","journal-title":"VeriSure Verification and Assurance Workshop colocated with Computer-Aided Verification (CAV) 2014"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2011.35"}],"event":{"name":"2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE)","location":"Daytona Beach Shores, FL, USA","start":{"date-parts":[[2015,1,8]]},"end":{"date-parts":[[2015,1,10]]}},"container-title":["2015 IEEE 16th International Symposium on High Assurance Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7027113\/7027398\/07027421.pdf?arnumber=7027421","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T05:02:13Z","timestamp":1498194133000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7027421\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/hase.2015.25","relation":{},"subject":[],"published":{"date-parts":[[2015,1]]}}}