K6 Telecom, a Dynamic Component Library to Lead Model-Based Safety Analysis for Critical Communication Networks

Mapping Intimacies ◽

10.3850/978-981-18-2016-8_232-cd ◽

2021 ◽

Author(s):

Legendre Anthony ◽

Druet Jules ◽

Sanchez-Torres José ◽

Carer Philippe

Keyword(s):

Communication Networks ◽

Safety Analysis ◽

Component Library ◽

Dynamic Component ◽

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

Model-Based Communication Networks and VIRT: Orders of Magnitude Better for Information Superiority

MILCOM 2006 ◽

10.1109/milcom.2006.302354 ◽

2006 ◽

Cited By ~ 10

Author(s):

Frederick Hayes-Roth

Keyword(s):

Communication Networks ◽

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

Integrating Field Measurements into a Model-Based Simulator for Industrial Communication Networks

2020 16th IEEE International Conference on Factory Communication Systems (WFCS) ◽

10.1109/wfcs47810.2020.9114530 ◽

2020 ◽

Author(s):

Jing Geng ◽

Honglei Li ◽

Mohamed Kashef ◽

Yongkang Liu ◽

Richard Candell ◽

...

Keyword(s):

Communication Networks ◽

Field Measurements ◽

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