{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:24:16Z","timestamp":1762521856163,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/issrew.2015.7392064","type":"proceedings-article","created":{"date-parts":[[2016,1,28]],"date-time":"2016-01-28T21:42:58Z","timestamp":1454017378000},"page":"174-181","source":"Crossref","is-referenced-by-count":7,"title":["SysML-based and Prolog-supported FMEA"],"prefix":"10.1109","author":[{"given":"Fabio","family":"Scippacercola","sequence":"first","affiliation":[]},{"given":"Roberto","family":"Pietrantuono","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Russo","sequence":"additional","affiliation":[]},{"given":"Nuno Pedro","family":"Silva","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/504083.504085"},{"key":"ref10","first-page":"89","article-title":"A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs","volume":"47","author":"papadopoulos","year":"2004","journal-title":"Proceedings 9th Australian Workshop on Safety Critical Systems and Software (SCS '04)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.4271\/2009-01-0738"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2014.117"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/AIM.2014.6878163"},{"key":"ref14","article-title":"Automatic generation of static fault trees from AADL models","author":"joshi","year":"2007","journal-title":"Proceedings Workshop on Architecting Dependable Systems of The 37th Annual IEEE\/IFIP Int Conference on Dependable Systems and Networks"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39878-3_5"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2009.11.015"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2011.32"},{"key":"ref18","first-page":"8","article-title":"Towards a better interaction between design and dependability analysis: FMEA derived from UML\/SysML models","author":"david","year":"2008","journal-title":"Proc ESREL 2008 and 17th SRA-Europe Annual Conference"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ISSE.2013.6648239"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000494"},{"key":"ref4","article-title":"Automated failure effect analysis for PHM of UAVs","author":"snooke","year":"2008","journal-title":"Proceedings International System Safety and Reliability Conference (ISSRC)"},{"journal-title":"Commissariat à l'Energie Atomique Atos Cedric Dumoulin","article-title":"Papyrus","year":"0","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2012.87"},{"key":"ref6","first-page":"607","article-title":"Towards a practicable process for automated safety analysis","volume":"596","author":"lisagor","year":"2006","journal-title":"Proc 24th Int Syst Saf Conf"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1002\/0471739421"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0954-1810(97)10011-5"},{"key":"ref8","first-page":"750","article-title":"Autas: a tool for supporting FMECA generation in aeronautic systems","author":"picardi","year":"2004","journal-title":"Proceedings 16 th European Conference on Artificial Intelligence (ECAI04)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/spe.1039"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2013.20"},{"key":"ref9","article-title":"Safety, dependability and performance analysis of extended AADL models","author":"bozzano","year":"2010","journal-title":"The Computer Journal"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27869-8_22"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1115\/DETC2006-99131"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55930-2_5"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2009.06.033"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(93)90029-W"},{"key":"ref23","article-title":"An ontology-based annotation framework for representing the functionality of engineering devices","author":"schmidt","year":"2012","journal-title":"Proceedings Workshop on Spacecraft Flight Software (FSW-12)"},{"journal-title":"Eclipse Foundation","article-title":"Eclipse","year":"0","key":"ref26"},{"article-title":"Probabilistic Logic Programming (ProbLog)","year":"2015","author":"leuven","key":"ref25"}],"event":{"name":"2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","start":{"date-parts":[[2015,11,2]]},"location":"Gaithersburg, MD, USA","end":{"date-parts":[[2015,11,5]]}},"container-title":["2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7375770\/7392022\/07392064.pdf?arnumber=7392064","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:21:43Z","timestamp":1602685303000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7392064"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/issrew.2015.7392064","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}