{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T04:26:56Z","timestamp":1744086416046,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336775"},{"type":"electronic","value":"9783642336782"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33678-2_15","type":"book-chapter","created":{"date-parts":[[2012,9,6]],"date-time":"2012-09-06T15:02:42Z","timestamp":1346943762000},"page":"173-184","source":"Crossref","is-referenced-by-count":2,"title":["An Ontological Approach to Systematization of\u00a0SW-FMEA"],"prefix":"10.1007","author":[{"given":"Irene","family":"Bicchierai","sequence":"first","affiliation":[]},{"given":"Giacomo","family":"Bucci","sequence":"additional","affiliation":[]},{"given":"Carlo","family":"Nocentini","sequence":"additional","affiliation":[]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"15_CR1","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing\u00a01(1), 11\u201333 (2004)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"15_CR2","series-title":"CCIS","first-page":"185","volume-title":"ICSOFT\/ENASE 2007","author":"G. Bucci","year":"2009","unstructured":"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.\u00a022, pp. 185\u2013200. Springer, Heidelberg (2009)"},{"key":"15_CR3","unstructured":"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)"},{"key":"15_CR4","unstructured":"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)"},{"key":"15_CR5","unstructured":"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\u2013216 (August 2004)"},{"key":"15_CR6","unstructured":"European Cooperation for Space Standardization. ECSS-Q-ST-30-02C Space product assurance - Failure modes, effects (and criticality) analysis (FMEA\/FMECA) (March 2009)"},{"key":"15_CR7","unstructured":"European Cooperation for Space Standardization. ECSS-Q-ST-80C Space product assurance - Software product assurance (March 2009)"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/978-3-642-24270-0_34","volume-title":"Computer Safety, Reliability, and Security","author":"A. Fiaschetti","year":"2011","unstructured":"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.\u00a06894, pp. 467\u2013479. Springer, Heidelberg (2011)"},{"key":"15_CR9","unstructured":"FINMECCANICA. Iniziativa software, http:\/\/www.iniziativasoftware.it\/"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Goddard, P.: Software FMEA techniques. In: Proceedings of Annual Reliability and Maintainability Symposium, pp. 118\u2013123 (2000)","DOI":"10.1109\/RAMS.2000.816294"},{"issue":"2","key":"15_CR11","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T.R. Gruber","year":"1993","unstructured":"Gruber, T.R.: A Translation Approach to Portable Ontology Specifications. Knowledge Acquisition\u00a05(2), 199\u2013220 (1993)","journal-title":"Knowledge Acquisition"},{"key":"15_CR12","unstructured":"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\/"},{"key":"15_CR13","unstructured":"IEEE Computer Society. IEEE Guide to Software Requirements Specifications (Std 830 - 1993). Technical report. IEEE (1993)"},{"key":"15_CR14","unstructured":"IEEE Computer Society. IEEE Recommended Practice for Software Design Descriptions (Std 1016 - 1998). Technical report. IEEE (1998)"},{"key":"15_CR15","unstructured":"International Electrotechnical Commission. IEC-60812 Analysis techniques for system reliability - Procedure for failure mode and effects analysis, FMEA (1985)"},{"key":"15_CR16","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M. Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the Association for Computing Machinery\u00a042, 741\u2013843 (1995)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"15_CR17","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1017\/S089006040115403X","volume":"15","author":"B.H. Lee","year":"2001","unstructured":"Lee, B.H.: Using FMEA models and ontologies to build diagnostic models. Artif. Intell. Eng. Des. Anal. Manuf.\u00a015, 281\u2013293 (2001)","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"key":"15_CR18","unstructured":"Leveson, N.: Safeware: system safety and computers. Addison-Wesley (1995)"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1023\/A:1018929719710","volume":"3","author":"R.R. Lutz","year":"1997","unstructured":"Lutz, R.R., Woodhouse, R.M.: Requirements analysis using forward and backward search. Annals of Software Engineering\u00a03, 459\u2013475 (1997)","journal-title":"Annals of Software Engineering"},{"key":"15_CR20","unstructured":"McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language (February 2004), http:\/\/www.w3.org\/TR\/owl-features\/"},{"key":"15_CR21","unstructured":"National Aeronautics and Space Administration. NASA Software Safety Guidebook NASA-GB-8719.13 - NASA TECHNICAL STANDARD (March 2004)"},{"key":"15_CR22","unstructured":"Object Management Group. Ontology Definition Metamodel v1.0 (2009)"},{"key":"15_CR23","unstructured":"Pentti, H., Atte, H.: Failure Mode and Effects Analysis of software-based automation systems - STUK-YTO-TR 190. VTT Industrial Systems - STUK (August. 2002)"},{"key":"15_CR24","unstructured":"Prud\u2019hommeaux, E., Seaborne, A.: SPARQL query language for RDF (January 2008), http:\/\/www.w3.org\/TR\/rdf-sparql-query\/"},{"key":"15_CR25","unstructured":"PTC Product Development Company. Windchill FMEA (formerly Relex FMEA) official website, http:\/\/www.ptc.com\/product\/windchill\/fmea"},{"key":"15_CR26","unstructured":"Radio Technical Commission for Aeronautics. DO-178B, Software Considerations in Airborne Systems and Equipment Certification (1992)"},{"key":"15_CR27","volume-title":"The New Hacker\u2019s Dictionary","author":"E.S. Raymond","year":"1991","unstructured":"Raymond, E.S.: The New Hacker\u2019s Dictionary. The MIT Press, Cambridge (1991)"},{"issue":"3","key":"15_CR28","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1109\/TR.1979.5220578","volume":"R-28","author":"D.J. Reifer","year":"1979","unstructured":"Reifer, D.J.: Software Failure Modes and Effects Analysis. IEEE Transactions on Reliability\u00a0R-28(3), 247\u2013249 (1979)","journal-title":"IEEE Transactions on Reliability"},{"key":"15_CR29","unstructured":"ReliaSoft. XFMEA official website, http:\/\/www.reliasoft.com\/xfmea\/"},{"key":"15_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2367-3","volume-title":"Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package","author":"R.A. Sahner","year":"1996","unstructured":"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)"},{"issue":"2","key":"15_CR31","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E. Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. J. Web Sem.\u00a05(2), 51\u201353 (2007)","journal-title":"J. Web Sem."},{"key":"15_CR32","unstructured":"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)"},{"key":"15_CR33","unstructured":"United States Department of Defense. MIL-STD-1629A, Procedures for Performing a Failure Mode, Effects and Criticality Analysis. Technical report, USDoD (1980)"},{"key":"15_CR34","unstructured":"United States Department of Defense. MIL-STD-498, Military Standard For Software Development And Documentation. Technical report, USDoD (1994)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33678-2_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T23:27:12Z","timestamp":1744068432000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33678-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336775","9783642336782"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33678-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}