Abstract
Assurance Based Development (ABD) is an approach to the construction of critical computing systems in which the system and an argument that it meets its assurance goals are developed simultaneously. ABD touches all aspects of the system lifecycle, but in this paper we focus on how the evolving assurance argument can guide architectural choices to increase system dependability. The goals with this approach to architectural choice are twofold. The first is to develop the architecture so that it provides the required evidence. The second is to refine the assurance case as architectural choices are made so that the evidence that will be provided supports the assurance claims. Combining development and assurance in this way facilitates detection—and thereby avoidance—of potential assurance difficulties as they arise, rather than after development is complete.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ANSI/IEEE standard, 1471-2000, Recommended Practice for Architectural Description of Software-Intensive Systems -Description
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
de Lemos, R., Gacek, C., Romanovsky, A. (eds.): Architecting Dependable Systems. LNCS, vol. 2677. Springer, Heidelberg (2003)
de Lemos, R., Gacek, C., Romanovsky, A. (eds.): Architecting Dependable Systems II. LNCS, vol. 3069. Springer, Heidelberg (2004)
de Lemos, R., Gacek, C., Romanovsky, A. (eds.): Architecting Dependable Systems III. LNCS, vol. 3549. Springer, Heidelberg (2005)
EUROCONTROL. The EUR RVSM Pre-Implementation Safety Case, ver. 2.0. Document RVSM 691 (August 14, 2001)
Green, D.F.: Runway Safety Monitor Algorithm for Runway Incursion Detection and Alerting. Technical report NASA CR-2002-211416 (January 2002)
Green, D.F.: Runway Safety Monitor Algorithm for Single and Crossing Runway Incursion Detection and Alerting. Technical report NASA CR-2006-214275 (February 2006)
Kelly, T.P.: A Systematic Approach to Safety Case Management. In: Proc. of SAE 2004 World Congress, Detroit, MI (March 2004)
Kelly, T., McDermid, J.: Safety Case Patterns – Reusing Successful Arguments. In: Proc. of IEE Colloquium on Understanding Patterns and Their Application to System Engineering, London (1998)
Kinnersly, S.: Whole Airspace ATM Safety Case - Preliminary Study (November 2001)
MoD, 00-56 Safety Management Requirements for Defence Systems, U.K. Ministry of Defence, Defence Standard, Issue 3 (December 2004)
Nagra. Project Opalinus Clay: Safety Report. Technical report NTB 02-05. (December 2002)
RTCA. Software Considerations in Airborne Systems and Equipment Certification, document RTCA/DO-178B. Washington, DC: RTCA (December 1992)
Shaw, M., Garlan, D.: Software Architecture: Perspectives On An Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)
Strunk, E.A., Knight, J.C.: Dependability Through Assured Reconfiguration in Embedded System Software. IEEE Transactions on Dependable and Secure Computing 3(3), 172–187 (2006)
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
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)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Graydon, P.J., Knight, J.C., Strunk, E.A. (2007). Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds) Architecting Dependable Systems IV. Lecture Notes in Computer Science, vol 4615. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74035-3_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-74035-3_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74033-9
Online ISBN: 978-3-540-74035-3
eBook Packages: Computer ScienceComputer Science (R0)