Model-based assurance evidence management for safety–critical systems

Software & Systems Modeling ◽

10.1007/s10270-021-00957-z ◽

2022 ◽

Author(s):

Jose Luis de la Vara ◽

Arturo S. García ◽

Jorge Valero ◽

Clara Ayora

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Model Based ◽

Safety Critical Systems

Download Full-text

Model-Based Usability Analysis of Safety-Critical Systems

10.17918/etd-7349 ◽

2021 ◽

Author(s):

Andrew J. Abbate

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Model Based ◽

Usability Analysis ◽

Safety Critical Systems

Download Full-text

Industrial-Strength Model-Based Testing of Safety-Critical Systems

FM 2016: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-48989-6_1 ◽

2016 ◽

pp. 3-22 ◽

Author(s):

Jan Peleska ◽

Wen-ling Huang

Keyword(s):

Strength Model ◽

Critical Systems ◽

Safety Critical ◽

Model Based ◽

Model Based Testing ◽

Safety Critical Systems ◽

Industrial Strength

Download Full-text

Model Based Development of Safety-Critical Systems Using Template Based Code Generation

13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007) ◽

10.1109/prdc.2007.25 ◽

2007 ◽

Author(s):

Matthias Regensburger ◽

Christian Buckl ◽

Alois Knoll ◽

Gerhard Schrott

Keyword(s):

Code Generation ◽

Critical Systems ◽

Safety Critical ◽

Model Based ◽

Safety Critical Systems

Download Full-text

An auto-review tool for model-based testing of safety-critical systems

Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation - JAMAICA 2013 ◽

10.1145/2489280.2489294 ◽

2013 ◽

Author(s):

Atit Mishra ◽

Manjunatha Rao ◽

Chethan CU ◽

Vanishree Rao ◽

Yogananda Jeppu ◽

...

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Model Based ◽

Model Based Testing ◽

Safety Critical Systems

Download Full-text

Model-based design, analysis and assessment framework for safety-critical systems

10.1109/dsn-s52858.2021.00023 ◽

2021 ◽

Author(s):

Kuen-Long Lu ◽

Yung-Yuan Chen

Keyword(s):

Design Analysis ◽

Critical Systems ◽

Assessment Framework ◽

Safety Critical ◽

Model Based ◽

Safety Critical Systems

Download Full-text

Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice

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

10.1007/978-3-319-45480-1_26 ◽

2016 ◽

pp. 322-333 ◽

Author(s):

Marc Zeller ◽

Daniel Ratiu ◽

Kai Höfig

Keyword(s):

Critical Systems ◽

Industrial Practice ◽

Safety Critical ◽

Model Based ◽

Safety Critical Systems

Download Full-text

Safety critical systems design for civil aircrafts by model based systems engineering

Scientia Sinica Technologica ◽

10.1360/n092017-00205 ◽

2018 ◽

Vol 48 (3) ◽

pp. 299-311

Author(s):

ShaoJie ZHANG ◽

ZhengQiang LI ◽

XiaoHang HAI ◽

XingHua LIU ◽

Liang ZHU

Keyword(s):

Systems Engineering ◽

Systems Design ◽

Critical Systems ◽

Safety Critical ◽

Model Based ◽

Safety Critical Systems ◽

Model Based Systems Engineering

Download Full-text

Integrating Safety Certification Into Model-Based Testing of Safety-Critical Systems

2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE) ◽

10.1109/issre.2019.00033 ◽

2019 ◽

Author(s):

Aiman Gannous ◽

Anneliese Andrews

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Model Based ◽

Safety Certification ◽

Model Based Testing ◽

Safety Critical Systems

Download Full-text

Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems

Model-Based Safety and Assessment - Lecture Notes in Computer Science ◽

10.1007/978-3-030-58920-2_8 ◽

2020 ◽

pp. 115-129

Author(s):

Athira Varma Jayakumar ◽

Carl Elks

Keyword(s):

Fault Injection ◽

Critical Systems ◽

Safety Critical ◽

Model Based ◽

Novel Approach ◽

Safety Critical Systems

Download Full-text

Rule Checking within the Model-Based Development of Safety-Critical Systems and Embedded Automotive Software

Eighth International Symposium on Autonomous Decentralized Systems (ISADS'07) ◽

10.1109/isads.2007.66 ◽

2007 ◽

Author(s):

Tibor Farkas ◽

Daniel Grund

Keyword(s):

Critical Systems ◽

Automotive Software ◽

Safety Critical ◽

Model Based ◽

Rule Checking ◽

Safety Critical Systems

Download Full-text