Model-Based Safety Analysis for Vehicle Guidance Systems

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

10.1007/978-3-319-66266-4_1 ◽

2017 ◽

pp. 3-19 ◽

Cited By ~ 7

Author(s):

Majdi Ghadhab ◽

Sebastian Junges ◽

Joost-Pieter Katoen ◽

Matthias Kuntz ◽

Matthias Volk

Keyword(s):

Safety Analysis ◽

Vehicle Guidance ◽

Model Based ◽

Guidance Systems

Download Full-text

Safety analysis for vehicle guidance systems with dynamic fault trees

Reliability Engineering & System Safety ◽

10.1016/j.ress.2019.02.005 ◽

2019 ◽

Vol 186 ◽

pp. 37-50 ◽

Cited By ~ 7

Author(s):

Majdi Ghadhab ◽

Sebastian Junges ◽

Joost-Pieter Katoen ◽

Matthias Kuntz ◽

Matthias Volk

Keyword(s):

Safety Analysis ◽

Vehicle Guidance ◽

Fault Trees ◽

Guidance Systems

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

Automated Vehicle Guidance Systems

Encyclopedia of Transportation: Social Science and Policy ◽

10.4135/9781483346526.n66 ◽

2014 ◽

Author(s):

Marion J. Herbert

Keyword(s):

Vehicle Guidance ◽

Automated Vehicle ◽

Guidance Systems

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