Abstract
Failure Mode and Effects Analysis (FMEA) is a widely used dependability and safety technique aiming at systematically identifying failure modes, their generating causes and their effects on the system.
While FMEA has been mainly thought for hardware systems, its use is also advocated for software (SW-FMEA). This involves several major challenges, such as the complexity of functional requirements, the difficulty to identify failure modes of SW components, the elusive nature of faults.
We present an approach for efficient and effective manipulation of data involved in the SW-FMEA process, introducing an ontological model which formalizes concepts involved in the analysis. The methodology provides a common conceptual framework supporting cohesion across different stages of a development life-cycle, giving a precise semantics to concepts collected in the artifacts of an industrial documentation process.
This also opens the way to the implementation of a tool, built on top of a stack of semantic web technologies, for automating the SW-FMEA process. Results of the application of the methodology and the tool to a real scenario, in which activities and documents are regulated by well-established standards, are reported. The experience proves the suitability and the practical effectiveness of the approach, showing improvements on SW-FMEA practices.
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.
References
Avizienis, A., Laprie, J., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing 1(1), 11–33 (2004)
Bucci, G., Sandrucci, V., Vicario, E.: An Ontological SW Architecture Supporting Agile Development of Semantic Portals. In: Filipe, J., Shishkov, B., Helfert, M., Maciaszek, L.A. (eds.) ICSOFT/ENASE 2007. CCIS, vol. 22, pp. 185–200. Springer, Heidelberg (2009)
BWB - Federal Office for Military Technology and Procurement of Germany. V-Model 97, Lifecycle Process Model-Developing Standard for IT Systems of the Federal Republic of Germany. General Directive No. 250 (June 1997)
CENELEC European Committee for Electrotechnical Standardization. CENELEC EN 50128 Railway applications - Communications, signalling and processing systems - Software for railway control and protection systems (March 2001)
Dittmann, L., Rademacher, T., Zelewski, S.: Performing FMEA Using Ontologies. In: Proceedings of 18th International Workshop on Qualitative Reasoning (QR 2004), Northwestern University, Evanston, USA, pp. 209–216 (August 2004)
European Cooperation for Space Standardization. ECSS-Q-ST-30-02C Space product assurance - Failure modes, effects (and criticality) analysis (FMEA/FMECA) (March 2009)
European Cooperation for Space Standardization. ECSS-Q-ST-80C Space product assurance - Software product assurance (March 2009)
Fiaschetti, A., Lavorato, F., Suraci, V., Palo, A., Taglialatela, A., Morgagni, A., Baldelli, R., Flammini, F.: On the Use of Semantic Technologies to Model and Control Security, Privacy and Dependability in Complex Systems. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 467–479. Springer, Heidelberg (2011)
FINMECCANICA. Iniziativa software, http://www.iniziativasoftware.it/
Goddard, P.: Software FMEA techniques. In: Proceedings of Annual Reliability and Maintainability Symposium, pp. 118–123 (2000)
Gruber, T.R.: A Translation Approach to Portable Ontology Specifications. Knowledge Acquisition 5(2), 199–220 (1993)
Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML (May 2004), http://www.w3.org/Submission/SWRL/
IEEE Computer Society. IEEE Guide to Software Requirements Specifications (Std 830 - 1993). Technical report. IEEE (1993)
IEEE Computer Society. IEEE Recommended Practice for Software Design Descriptions (Std 1016 - 1998). Technical report. IEEE (1998)
International Electrotechnical Commission. IEC-60812 Analysis techniques for system reliability - Procedure for failure mode and effects analysis, FMEA (1985)
Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the Association for Computing Machinery 42, 741–843 (1995)
Lee, B.H.: Using FMEA models and ontologies to build diagnostic models. Artif. Intell. Eng. Des. Anal. Manuf. 15, 281–293 (2001)
Leveson, N.: Safeware: system safety and computers. Addison-Wesley (1995)
Lutz, R.R., Woodhouse, R.M.: Requirements analysis using forward and backward search. Annals of Software Engineering 3, 459–475 (1997)
McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language (February 2004), http://www.w3.org/TR/owl-features/
National Aeronautics and Space Administration. NASA Software Safety Guidebook NASA-GB-8719.13 - NASA TECHNICAL STANDARD (March 2004)
Object Management Group. Ontology Definition Metamodel v1.0 (2009)
Pentti, H., Atte, H.: Failure Mode and Effects Analysis of software-based automation systems - STUK-YTO-TR 190. VTT Industrial Systems - STUK (August. 2002)
Prud’hommeaux, E., Seaborne, A.: SPARQL query language for RDF (January 2008), http://www.w3.org/TR/rdf-sparql-query/
PTC Product Development Company. Windchill FMEA (formerly Relex FMEA) official website, http://www.ptc.com/product/windchill/fmea
Radio Technical Commission for Aeronautics. DO-178B, Software Considerations in Airborne Systems and Equipment Certification (1992)
Raymond, E.S.: The New Hacker’s Dictionary. The MIT Press, Cambridge (1991)
Reifer, D.J.: Software Failure Modes and Effects Analysis. IEEE Transactions on Reliability R-28(3), 247–249 (1979)
ReliaSoft. XFMEA official website, http://www.reliasoft.com/xfmea/
Sahner, R.A., Trivedi, K.S., Puliafito, A.: Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package. Kluwer Academic Publishers, Norwell (1996)
Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. J. Web Sem. 5(2), 51–53 (2007)
Society of Automotive Engineers. SAE J-1739 Potential Failure Mode and Effects Analysis in Design (Design FMEA) and Potential Failure Mode and Effects Analysis in Manufacturing and assembly Processes (Process FMEA) Reference Manual (1994)
United States Department of Defense. MIL-STD-1629A, Procedures for Performing a Failure Mode, Effects and Criticality Analysis. Technical report, USDoD (1980)
United States Department of Defense. MIL-STD-498, Military Standard For Software Development And Documentation. Technical report, USDoD (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bicchierai, I., Bucci, G., Nocentini, C., Vicario, E. (2012). An Ontological Approach to Systematization of SW-FMEA. In: Ortmeier, F., Daniel, P. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2012. Lecture Notes in Computer Science, vol 7612. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33678-2_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-33678-2_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33677-5
Online ISBN: 978-3-642-33678-2
eBook Packages: Computer ScienceComputer Science (R0)