Behavioral Fault Modeling for Model-based Safety Analysis

10th IEEE High Assurance Systems Engineering Symposium (HASE'07) ◽

10.1109/hase.2007.58 ◽

2007 ◽

Cited By ~ 19

Author(s):

Anjali Joshi ◽

Mats P.E. Heimdahl

Keyword(s):

Safety Analysis ◽

Fault Modeling ◽

Model Based ◽

Behavioral Fault Modeling

Download Full-text

Petri Net Modeling and Behavioral Fault Modeling Scheme for VHDL Descriptions

Embedded System Applications ◽

10.1007/978-1-4757-2574-2_12 ◽

1997 ◽

pp. 171-181 ◽

Cited By ~ 1

Author(s):

Dominique Fédérici ◽

Jean-François Santucci ◽

Paul Bisgambiglia

Keyword(s):

Petri Net ◽

Fault Modeling ◽

Behavioral Fault Modeling

Download Full-text

Integration of model-based engineering with system safety analysis

International Journal of Industrial and Systems Engineering ◽

10.1504/ijise.2013.056096 ◽

2013 ◽

Vol 15 (2) ◽

pp. 193 ◽

Cited By ~ 3

Author(s):

Sven Scholz ◽

Kleanthis Thramboulidis

Keyword(s):

Safety Analysis ◽

System Safety ◽

Model Based

Download Full-text

Model based safety analysis: Automatic generation of safety validation test cases

2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC) ◽

10.1109/dasc.2017.8102108 ◽

2017 ◽

Cited By ~ 3

Author(s):

Gracy Philip ◽

Meenakshi Dsouza ◽

V P Abidha

Keyword(s):

Safety Analysis ◽

Automatic Generation ◽

Test Cases ◽

Validation Test ◽

Model Based

Download Full-text

Utilization of Constraint Satisfaction Problem Algorithms in Model-Based Safety Analysis [MBSA]

AIAA AVIATION 2020 FORUM ◽

10.2514/6.2020-3215 ◽

2020 ◽

Author(s):

Samar Elmeadawy ◽

Akram A. Abdellatif ◽

Florian Holzapfel

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problem ◽

Safety Analysis ◽

Model Based

Download Full-text

A Model Based Safety Analysis Framework for SysML and A Case Study

2019 3rd International Conference on Electronic Information Technology and Computer Engineering (EITCE) ◽

10.1109/eitce47263.2019.9094927 ◽

2019 ◽

Author(s):

Jun Hu ◽

Hongying Tang ◽

Jiexiang Kang ◽

Hui Wang

Keyword(s):

Safety Analysis ◽

Analysis Framework ◽

Model Based

Download Full-text

Model-based semiautomatic safety analysis of programmable systems in automotive applications

International Conference on Advanced Driver Assistance Systems (ADAS) ◽

10.1049/cp:20010498 ◽

2001 ◽

Cited By ~ 7

Author(s):

Y. Papadopoulos

Keyword(s):

Safety Analysis ◽

Automotive Applications ◽

Model Based

Download Full-text

Formal Model Based Safety Analysis Methods and the Application

Civil Aircraft Electrical Power System Safety Assessment ◽

10.1016/b978-0-08-100721-1.00010-8 ◽

2017 ◽

pp. 259-287

Author(s):

Peng Wang

Keyword(s):

Formal Model ◽

Safety Analysis ◽

Model Based ◽

Analysis Methods

Download Full-text

Model-Based Engineering, Safety Analysis and Risk Assessment for Personal Care Robots

2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) ◽

10.1109/iros.2018.8594115 ◽

2018 ◽

Cited By ~ 3

Author(s):

N. Yakymets ◽

M. Sango ◽

S. Dhouib ◽

R. Gelin

Keyword(s):

Risk Assessment ◽

Safety Analysis ◽

Personal Care ◽

Model Based ◽

Care Robots

Download Full-text

An integrated toolchain for model based functional safety analysis

Journal of Computational Science ◽

10.1016/j.jocs.2013.08.009 ◽

2014 ◽

Vol 5 (3) ◽

pp. 408-414 ◽

Cited By ~ 7

Author(s):

Lena Rogovchenko-Buffoni ◽

Andrea Tundis ◽

Muhammed Zoheb Hossain ◽

Mattias Nyberg ◽

Peter Fritzson

Keyword(s):

Safety Analysis ◽

Functional Safety ◽

Model Based

Download Full-text

Quantitative Model-Based Safety Analysis: A Case Study

FERS-Mitteilungen ◽

10.1007/bf03345451 ◽

2011 ◽

Vol 29 (1) ◽

pp. 5-16

Author(s):

Matthias Güdemann ◽

Frank Ortmeier

Keyword(s):

Safety Analysis ◽

Quantitative Model ◽

Model Based

Download Full-text