Reliability study of complex physical systems using SysML

作者: 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.

参考文章(35)
Chokchai Leangsuksun, Hertong Song, Lixin Shen, Reliability Modeling Using UML. Software Engineering Research and Practice. pp. 259- 262 ,(2003)
R. Bell, IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview Control of Major Accidents and Hazards Directive (COMAH) - Implications for Electrical and Control Engineers (Ref. No. 1999/173), IEE Colloquium. ,(1999)
M. Bozzano, Adolfo Villafiorita, Ove Åkerlund, Pierre Bieber, Christian Bougnol, Eckard Böde, Matthias Bretschneider, Antonella Cavallo, C Castel, M Cifaldi, Alessandro Cimatti, A Griffault, C Kehren, B Lawrence, A Lüdtke, S Metge, C Papadopoulos, R Passarello, T Peikenkamp, P Persson, C Seguin, L Trotta, L Valacca, Gabriele Zacco, ESACS: an integrated methodology for design and safety analysis of complex systems ,(2003)
Andrea Bondavalli, András Pataricza, István Majzik, Mario Dal Cin, Diego Latella, Giancarlo Savoia, Dependability analysis in the early phases of UML-based system design Computer Systems: Science & Engineering. ,vol. 16, pp. 265- 275 ,(2001)
Chris Price, AutoSteve: automated electrical design analysis european conference on artificial intelligence. pp. 721- 725 ,(2000)
P G Hawkins, K A Edge, C R Burrows, D R Bull, D J Woollons, Computational tool for failure modes and effects analysis of hydraulic systems American Society of Mechanical Engineers, The Fluid Power and Systems Technology Division (Publication) FPST. ,vol. 3, pp. 113- 118 ,(1996)
C.C.P. Abraham Meilich Ph.D., Howard Lykins, Sanford Friedenthal, 4.4.4 Adapting UML for an Object Oriented Systems Engineering Method (OOSEM) INCOSE International Symposium. ,vol. 10, pp. 490- 497 ,(2000) , 10.1002/J.2334-5837.2000.TB00416.X
Karama Kanoun, Mohamed Kaaniche, Ana-Elena Rugina, An architecture-based dependability modeling framework using AADL arXiv: Performance. ,(2007)
Mary Ann Lundteigen, Marvin Rausand, Ingrid Bouwer Utne, Integrating RAMS engineering and management with the safety life cycle of IEC 61508 Reliability Engineering & System Safety. ,vol. 94, pp. 1894- 1903 ,(2009) , 10.1016/J.RESS.2009.06.005