{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:20:35Z","timestamp":1737436835559,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540740339"},{"type":"electronic","value":"9783540740353"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74035-3_16","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T15:46:17Z","timestamp":1188315977000},"page":"362-382","source":"Crossref","is-referenced-by-count":2,"title":["Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases"],"prefix":"10.1007","author":[{"given":"Patrick J.","family":"Graydon","sequence":"first","affiliation":[]},{"given":"John C.","family":"Knight","sequence":"additional","affiliation":[]},{"given":"Elisabeth A.","family":"Strunk","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"ANSI\/IEEE standard, 1471-2000, Recommended Practice for Architectural Description of Software-Intensive Systems -Description"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Bishop, P., Bloomfield, R.: A Methodology for Safety Case Development. In: Proc. of the Sixth Safety-critical Systems Symposium, Birmingham (February 1998), http:\/\/www.adelard.co.uk\/resources\/papers\/index.htm","DOI":"10.1007\/978-1-4471-1534-2_14"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Architecting Dependable Systems","year":"2003","unstructured":"de Lemos, R., Gacek, C., Romanovsky, A. (eds.): Architecting Dependable Systems. LNCS, vol.\u00a02677. Springer, Heidelberg (2003)"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Architecting Dependable Systems II","year":"2004","unstructured":"de Lemos, R., Gacek, C., Romanovsky, A. (eds.): Architecting Dependable Systems II. LNCS, vol.\u00a03069. Springer, Heidelberg (2004)"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Architecting Dependable Systems III","year":"2005","unstructured":"de Lemos, R., Gacek, C., Romanovsky, A. (eds.): Architecting Dependable Systems III. LNCS, vol.\u00a03549. Springer, Heidelberg (2005)"},{"key":"16_CR6","unstructured":"EUROCONTROL. The EUR RVSM Pre-Implementation Safety Case, ver. 2.0. Document RVSM 691 (August 14, 2001)"},{"key":"16_CR7","unstructured":"Green, D.F.: Runway Safety Monitor Algorithm for Runway Incursion Detection and Alerting. Technical report NASA CR-2002-211416 (January 2002)"},{"key":"16_CR8","unstructured":"Green, D.F.: Runway Safety Monitor Algorithm for Single and Crossing Runway Incursion Detection and Alerting. Technical report NASA CR-2006-214275 (February 2006)"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Kelly, T.P.: A Systematic Approach to Safety Case Management. In: Proc. of SAE 2004 World Congress, Detroit, MI (March 2004)","DOI":"10.4271\/2004-01-1779"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Kelly, T., McDermid, J.: Safety Case Patterns \u2013 Reusing Successful Arguments. In: Proc. of IEE Colloquium on Understanding Patterns and Their Application to System Engineering, London (1998)","DOI":"10.1049\/ic:19980543"},{"key":"16_CR11","unstructured":"Kinnersly, S.: Whole Airspace ATM Safety Case - Preliminary Study (November 2001)"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"MoD, 00-56 Safety Management Requirements for Defence Systems, U.K. Ministry of Defence, Defence Standard, Issue 3 (December 2004)","DOI":"10.1049\/ic:20050407"},{"key":"16_CR13","unstructured":"Nagra. Project Opalinus Clay: Safety Report. Technical report NTB 02-05. (December 2002)"},{"key":"16_CR14","unstructured":"RTCA. Software Considerations in Airborne Systems and Equipment Certification, document RTCA\/DO-178B. Washington, DC: RTCA (December 1992)"},{"key":"16_CR15","volume-title":"Software Architecture: Perspectives On An Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives On An Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)"},{"issue":"3","key":"16_CR16","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1109\/TDSC.2006.33","volume":"3","author":"E.A. Strunk","year":"2006","unstructured":"Strunk, E.A., Knight, J.C.: Dependability Through Assured Reconfiguration in Embedded System Software. IEEE Transactions on Dependable and Secure Computing\u00a03(3), 172\u2013187 (2006)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"16_CR17","unstructured":"Weaver, R.A., Kelly, T.P.: The Goal Structuring Notation - A Safety Argument Notation. In: Proc. of Dependable Systems and Networks, Workshop on Assurance Cases (July 2004) http:\/\/www-users.cs.york.ac.uk\/~tpk\/dsn2004.pdf"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Wojcik, R., Bachmann, F., Bass, L., Clements, P., Merson, P., Nord, R., Wood, B.: Attribute-Driven Design (ADD), Version 2.0. Technical report CMU\/SEI-2006-TR-023 (November 2006)","DOI":"10.21236\/ADA460414"}],"container-title":["Lecture Notes in Computer Science","Architecting Dependable Systems IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74035-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T18:14:44Z","timestamp":1737396884000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74035-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540740339","9783540740353"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74035-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}