作者: Pierre David , Vincent Idasiak , Frédéric Kratz
DOI: 10.1016/J.RESS.2009.11.015
关键词:
摘要: The development of safety critical systems becomes even harder since the complexity these grows continuously. Moreover, this kind process involves use powerful design methods and precise reliability techniques that utilize dissimilar models construction policy. In article we propose a method to unify enhance by linking functional phase using SysML with commonly used such as FMEA dysfunctional in AltaRica Data Flow. We present how can be analyzed automatically order produce an expose parallel between Flow ones. given approach is structured around database behaviors supports studies updated obtained results. exemplify analyze system level controlling tank.