Preliminary Hazard Analysis Generation Integrated with Operational Architecture - Application to Automobile
暂无分享,去创建一个
Eric Bonjour | Eric Levrat | Jean-Pierre Micaëlli | Samuel Deniaud | Pierre Mauborgne | Dominique Loise
[1] John A. McDermid,et al. Hierarchically Performed Hazard Origin and Propagation Studies , 1999, SAFECOMP.
[2] Harold E. Roland,et al. Preliminary Hazard Analysis , 2009 .
[3] Jean‐Marie Flaus,et al. Preliminary Hazard Analysis , 2013 .
[4] Gérard Bauvin. Management et informatique , 1971 .
[5] Vincent Idasiak,et al. Designing the database for a reliability aware Model-Based System Engineering process , 2013, Reliab. Eng. Syst. Saf..
[6] Nicole Lévy,et al. Reducing the Gap Between Formal and Informal Worlds in Automotive Safety-Critical Systems , 2012 .
[7] Mark-Alexander Sujan,et al. Computer Safety, Reliability, and Security , 2014, Lecture Notes in Computer Science.
[8] R. Bell,et al. IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .
[9] Marco Pistore,et al. NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.
[10] Antoine Rauzy,et al. The AltaRica 3.0 project for model-based safety assessment , 2013, 2013 11th IEEE International Conference on Industrial Informatics (INDIN).
[11] Devanandham Henry,et al. Experiences From Creating the Guide to the Systems Engineering Body of Knowledge (SEBoK) v. 1.0 , 2013, CSER.
[12] Nicole Lévy,et al. 11.2.2 Reducing the Gap Between Formal and Informal Worlds in Automotive Safety‐Critical Systems , 2011 .
[13] Pierre David,et al. Reliability study of complex physical systems using SysML , 2010, Reliab. Eng. Syst. Saf..
[14] Hans-Leo Ross. Functional Safety for Road Vehicles: New Challenges and Solutions for E-mobility and Automated Driving , 2016 .