Abstract
Currently, an increasing number of systems are controlled by software and rely on the correct operation of software. In this context, a safety-critical system is defined as a system in which malfunctioning software could result in death, injury or damage to environment. To mitigate these serious risks, the architecture of safety-critical systems needs to be carefully designed and analyzed. A common practice for modeling software architecture is the adoption of software architecture viewpoints to model the architecture for particular stakeholders and concerns. Existing architecture viewpoints tend to be general purpose and do not explicitly focus on safety concerns in particular. To provide a complementary and dedicated support for designing safety critical systems, we propose an architecture framework for software safety. The architecture framework is based on a metamodel that has been developed after a thorough domain analysis. The framework includes three coherent viewpoints, each of which addressing an important concern. The application of the viewpoints is illustrated for an industrial case of safety-critical avionics control computer system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Clements, P., Bachmann, F., Bass, L., Garlan, D., Ivers, J., Little, R., Nord, R., Stafford, J.: Documenting Software Architectures: Views and Beyond. Addison-Wesley, Boston (2003)
Douglass, B.P.: Analyze System Safety using UML within the IBM Rational Rhapsody Environment. IBM Rational White Paper, IBM Software Group (2009)
Gawand, H., Mundada, R.S., Swaminathan, P.: Design Patterns to Implement Safety and Fault Tolerance. International Journal of Computer Applications 18, 6–13 (2011)
Hofmeister, C., Nord, R., Soni, D.: Applied Software Architecture. Addison-Wesley, MA (2000)
ISO/DIS 26262, Road vehicles - Functional safety. International Organization for Standardization, Geneva, Switzerland (2009)
Kruchten, P.: The 4+1 View Model of Architecture. IEEE Software 12(6), 42–50 (1995)
Leveson, N.G., Harvey, P.R.: Analyzing Software Safety. IEEE Transactions on Software Engineering 9(5), 569–579 (1983)
Leveson, N.G.: Safeware: System Safety and Computers. Addison-Wesley, NY (1995)
Meta Object Facility (MOF), http://www.omg.org/mof/
Rozanski, N., Woods, E.: Software Architecture Systems Working with Stakeholders Using Viewpoints and Perspectives. Addison-Wesley (2005)
RTCA DO-178B, Software Considerations in Airborne Systems and Equipment Certification (1992)
Software Safety Guide Book, NASA Technical Standard, http://www.nasa.gov/
Sözer, H., Tekinerdogan, B., Aksit, M.: Optimizing Decomposition of Software Architecture for Local Recovery. Software Quality Journal 21(2), 203–240 (2013)
Taguchi, K.: Meta Modeling Approach to Safety Standard for Consumer Devices. Seminar on Systems Assurance & Safety for Consumer Devices (2011)
Tekinerdogan, B., Sözer, H.: Defining Architectural Viewpoints for Quality Concerns. In: Crnkovic, I., Gruhn, V., Book, M. (eds.) ECSA 2011. LNCS, vol. 6903, pp. 26–34. Springer, Heidelberg (2011)
Wu, W., Kelly, T.: Safety Tactics for Software Architecture Design. In: Proceedings of the 28th Annual International Computer Software and Applications Conference, pp. 368–375. IEEE Computer Society, USA (2004)
Zoughbi, G., Briand, L., Labiche, Y.: A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 574–588. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Gülay Gürbüz, H., Pala Er, N., Tekinerdogan, B. (2014). Architecture Framework for Software Safety. In: Amyot, D., Fonseca i Casas, P., Mussbacher, G. (eds) System Analysis and Modeling: Models and Reusability. SAM 2014. Lecture Notes in Computer Science, vol 8769. Springer, Cham. https://doi.org/10.1007/978-3-319-11743-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-11743-0_5
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11742-3
Online ISBN: 978-3-319-11743-0
eBook Packages: Computer ScienceComputer Science (R0)