Abstract
Complex software systems are commonly developed by integrating multiple, occasionally Off-The-Shelf (OTS), components. This process results into a more modular design and reduces development costs; however, it raises new dependability challenges in case of safety critical systems. Testing activities conducted during the development of the individual components might be not enough to ensure a proper safety level after the integration. The failures of the components and their impact on the overall system safety have to be assessed in critical scenarios. This paper proposes a method to support component integration in complex software systems. The method uses (i) the knowledge of the architectural dependencies among the system components, and (ii) the results of failure-modes emulation experiments, to assess both error propagation phenomena within the system and the criticality of the components in the system architecture. This information is valuable to design effective error-mitigation means and, when needed, to select the most suitable OTS item if multiple equivalent options are available. The method is applied to a real world Air Traffic Control system, developed in the context of an academic-industrial collaboration.
This is a preview of subscription content, log in via an institution to check access.
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
Hammet, R.: Flight-Critical Distributed Systems: Design Considerations. IEEE AESS Systems Magazines, 30–36 (2003)
Weyuker, E.J.: Testing Component-Based Software: A Cautionary Tale. IEEE Software 15(5), 54–59 (1998)
Moraes, R.L.O., Durães, J., Barbosa, R., Martins, E., Madeira, H.: Experimental Risk Assessment and Comparison Using Software
CENELEC: EN 50126 Railways Applications. The specification and demonstration of Reliability,Availability, Maintainability and Safety (RAMS)
DO-178B/ED12B Software consideration in airborne systems and equipment certification. RTCA and EUROCAE (December 1992)
SAF.ET1.ST03.1000-MAN-01. Air Navigation System Safety Assessment Methodology (v2-0). EUROCONTROL EATMP Safety Management (April 2004)
Functional safety and IEC 61508. Functional safety of electrical/electronic/programmable electronic safety-related systems. Produced by IEC/SC65A/WG14, The working group responsible for guidance on IEC 61508 (September 2005)
Storey, N.: Safety-Critical Computer Systems. Pearson and Prentice Hall (1996)
Hassami, A.G., Foord, A.G.: Systems safety-a real example (European rail traffic management system, ERTMS). In: Proc. of the Second IEEE International Conference on Human Interfaces in Control Rooms, Cockpits and Command Centres, pp. 327–334 (2001)
Pasquale, T., Rosaria, E., Pietro, M., Antonio, O.: Hazard analysis of complex distributed railway systems. In: Proc. of the 22nd IEEE International Symposium on Reliable Distributed Systems (SRDS 2003), pp. 283–292 (October 2003)
Mana, P., De Redet, J.M., Fowler, D.: Assurance Levels for ATM elements: Human (HAL), Operational Procedure (PAL), Software (SWAL). In: Proc. of the 2nd IEEE Int. Conference on Institution of Engineering and Technology, pp. 13–19 (October 2007)
Garrett, C., Apostolakis, G.: Automated hazard analysis of digital control systems. Reliability Engineering and System Safety 77, 1–17 (2002)
Garrett, C., Guarro, S., Apostolakis, G.: The Dynamic Flowgraph Methodology for Assessing the Dependability of Embedded Software Systems. IEEE Trans. on Syst., Man, and Cybern. 25(5), 824–840 (1995)
Supakkul, S., Lawrence, C.: Applying a Goal-Oriented Method for Hazard Analysis: A Case Study. In: Proc. of the 4th International Conference on Software Engineering Research, Management and Applications (SERA 2006), pp. 22–30 (August 2006)
Hewett, R.: Assessment of Software Risks with Model-Based Reasoning. In: Proc. of IEEE Inter. Conf. on Systems, Man and Cybernetics, vol. 4, pp. 3238–3243 (2005)
Powell, D.: Failure Mode Assumptions and Assumption Coverage. In: Proceedings of the 22nd Annual International Symposium on Fault-Tolerant Computing, FTCS 1992 (1992)
Pardo-Castellote, G.: OMG data-distribution service: Architectural overview. In: Proc. of the IEEE ICDCS Workshops, pp. 200–206 (2003)
Rubini, A., Corbet, J.: Linux Device Drivers, 2nd edn. O’Reilly, Sebastopol (2001)
Cotroneo, D., Pecchia, A., Pietrantuono, R., Russo, S.: A failure analysis of data distribution middleware in a mission-critical system for air traffic control. In: Proc. of the 4th ACM Int’l Workshop on Middleware for Service Oriented Computing, pp. 25–30 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pecchia, A., Pietrantuono, R., Russo, S. (2011). Criticality-Driven Component Integration in Complex Software Systems. In: Flammini, F., Bologna, S., Vittorini, V. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2011. Lecture Notes in Computer Science, vol 6894. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24270-0_33
Download citation
DOI: https://doi.org/10.1007/978-3-642-24270-0_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24269-4
Online ISBN: 978-3-642-24270-0
eBook Packages: Computer ScienceComputer Science (R0)