Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/11563228_10 ◽

2005 ◽

pp. 122-135 ◽

Cited By ~ 54

Author(s):

Anjali Joshi ◽

Mats P. E. Heimdahl

Keyword(s):

Safety Analysis ◽

Model Based

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

Model-based safety analysis of software product lines

International Journal of Embedded Systems ◽

10.1504/ijes.2016.10001344 ◽

2016 ◽

Vol 8 (5/6) ◽

pp. 412

Author(s):

Tim Kelly ◽

Ibrahim Habli ◽

Paulo Cesar Masiero ◽

André Luiz De Oliveira ◽

Rosana T.V. Braga ◽

...

Keyword(s):

Software Product Lines ◽

Safety Analysis ◽

Product Lines ◽

Model Based ◽

Software Product

Download Full-text