Digitally assisted design for safety analysis

Obeo
ObeoProducts and Marketing manager at OBEO
| Last updated: 08/09/2023
model-based
safety analysis
framework
for the
aerospace
industry
ANZEN PUBLIC
Who are we?
2
ANZEN PUBLIC
System, safety and
reliability experts
✓ Highly experienced system-safety & reliability
engineers
✓ Specialization in complying with the highest quality
standards for safety/availability critical missions
Specialization
✓ Complex electronics
✓ Safety Critical Systems
✓ Autonomous & software
defined systems
Digitalization of
systems engineering
✓ Development and extension of model-based software
tools for digitalization of the system & safety
engineering process
Outline
• Introduction to digital engineering
• ATICA, our safety engineering hub
• ATICA4Capella
• Use case example: eVTOL vehicle
• Wrap-up and next steps
3
ANZEN PUBLIC
The systems engineering process
ANZEN PUBLIC 4
Model Based
Systems Engineering (MBSE)
Model
Based
Design
(MBD)
Digital
Twin
Model Based Safety Analysis
Mission
concept
System
design
Sub-system /
components
Use of digital tools to support the systems engineering process
Requirement management
tools
✓ Software data base
✓ Enhanced traceability
✓ Customization and reuse
Model Based System
Engineering
✓ Interoperability with
requirement tools
✓ Systems architecture
Model Based Design
✓ Interoperability with MBSE
✓ Systems prototyping and
detailed definition
✓ Simulation
✓ Automatic code generation
Digital Twin
✓ Enhanced virtual
representation of the
system
✓ Multi-physics simulation
✓ Operational scenarios
Product Life cycle
management
✓ Configuration
management and version
control
Model Based Safety
Analysis
✓ Interoperability
✓ Centralized source of
information
✓ Semi-automated analysis
and documentation
Framework and tools
ANZEN PUBLIC 5
Model Based
Systems Engineering (MBSE)
Model
Based
Design
(MBD)
Digital
Twin
Mathworks
Simulink
Mathworks
SystemComposer
Mathworks
RequirementsToolbox
Mathworks
Simscape
IBM
DOORS
IBM
RHAPSODY
ANSYS
SCADE
CAMEO
Systems Modeler
SIEMENS
TEAMCENTER
SIEMENS
POLARION
CAPELLA
Model Based Safety Analysis
Use of digital tools to support the systems engineering process
Framework and tools
ANZEN PUBLIC 6
Model Based
Systems Engineering (MBSE)
Model
Based
Design
(MBD)
Digital
Twin
Model Based Safety Analysis
ATICA Framework
ATICA
@reqs
ATICA
@mbsa
ATICA
@fdir
ATICA @rpf
ATICA @dt
ATICA
@mbd
ATICA, our safety engineering hub
ANZEN PUBLIC 7
ATICA
MBSA
Safety & Reliability
Analysis Backends
Requirements
Product Lifecycle
Management
Model Based Systems
Engineering
Model Based Design and
Simulation
atica4capella
On going
On going
prospect
prospect
CAMEO
CAPELLA
SIMULINK
SCADE
RHAPSODY
DOORS TEAM
CENTER JAMA
TEAM
CENTER
WIND
CHILL
SES
STUDIO
Outline
• Introduction to digital engineering
• ATICA, our safety engineering hub
• ATICA4Capella
• Use case example: eVTOL vehicle
• Wrap-up and next steps
8
ANZEN PUBLIC
Digitally-assisted design for safety
9
Operational
analysis
Systems
analysis
Logical
architectures
Physical
architecture
Design and
simulation
Model-based
systems engineering
(Arcadia)
Stakeholder
needs
Functional
requirements
System
requirements
Implementation
requirements
Requirement
management
Certification basis
/ SORA
Functional
Hazard Analysis
Fault Tree Analysis,
FMEA / FMECA
Reliability
Prediction
Model-based
safety analysis
(Atica)
V&V
requirements
System
integrator
Equipment
manufacturer
System
Operators
Safety
assessment
process on civil
airborne systems
ARP-4761
ANZEN PUBLIC
Tailored to ARP-4754A,
INCOSE, etc.
ATICA4Capella | MBSA toolset
10
ATICA
Model Based Safety Analysis
Model Based Systems
Engineering
Capella / Arcadia
MBSE front end ATICA4Capella
Safety metamodel plugin
ARP-4761
Safety methodology
- Integrated in
Capella/Arcadia
- Aligned with ARP-4761
Safety ontology:
- Failure Condition
- Functional Failure
- Failure Mode
Fault Tree Analysis Backend
Markov chain Backend
Probabilistic analysis Backend
Safety & Reliability
Analysis
Backends
ANZEN PUBLIC
Tailored to ARP-4754A,
INCOSE, etc.
ATICA4Capella
A Capella addon for model-based safety analysis
Pre-requisites (Capella versions)
• Capella 5.2 (nightly release)
• Capella 6+
ANZEN PUBLIC 11
Compatibility with other addons
• Requirements viewpoint
• M2Doc
anzenengineering.com/atica4capella-download/
ATICA4Capella | Safety metamodel
ANZEN PUBLIC 12
FHA
FTA
FMES /
FMECA
ATICA4Capella | Functional breakdown
ANZEN PUBLIC 13
System functions (functional breakdown)
Automatic document
generation based on
pre-defined templates
System analysis
Functional
Requirements
Functional
Hazard Analysis
System
requirements
ATICA4Capella | Functional breakdown
ANZEN PUBLIC 14
System functions (functional breakdown)
Tested with Capella 6.1
ATICA4Capella |
ANZEN PUBLIC 15
Model Based Safety Analysis
Functional Hazard Analysis (FHA)
System analysis
Functional
Requirements
FHA
System requirements
Functional Chains and Failure Conditions
ATICA4Capella |
ANZEN PUBLIC 16
Model Based Safety Analysis
Functional Hazard Analysis (FHA)
Functional Chains and Failure Conditions
ANZEN PUBLIC 17
Aligned with
ARP4761
prescriptions
FHA
ATICA4Capella | Model Based Safety Analysis
Functional Hazard Analysis (FHA)
Automatic report
generation
based on
template
ANZEN PUBLIC 18
ATICA4Capella | Model Based Safety Analysis
Fault tree analysis and FMEA
Logical and physical architectures
Enhanced
traceability from
conceptual
design to
implementation
Outline
• Introduction to digital engineering
• ATICA, our safety engineering hub
• ATICA4Capella
• Use case example: eVTOL vehicle
• Wrap-up and next steps
19
ANZEN PUBLIC
eVTOL mission description
20
❑ Autonomous vehicle
❑ 4 passengers
❑ Vertical take-off and landing
❑ Urban mobility
❑ 150km range / 1h autonomy
Stakeholder
needs
ANZEN PUBLIC
Operational Analysis
eVTOL Operational Concept
21
Stakeholder
needs
Certification basis
Functional
requirements
Analysis of Operational Capabilities
ANZEN PUBLIC
System analysis
eVTOL System Analysis
22
Functional
Requirements
Mission and system capabilities
ANZEN PUBLIC
System analysis
eVTOL System Analysis
23
Functional
Requirements
FHA
System
requirements
Mode diagram
ANZEN PUBLIC
System analysis
eVTOL System Analysis
24
Functional
Requirements
FHA
System
requirements
System functions (functional breakdown)
ANZEN PUBLIC
System analysis
eVTOL System Analysis
25
Functional
Requirements
FHA
System
requirements
System functions (system architecture)
ANZEN PUBLIC
System analysis
eVTOL System Analysis
26
Functional
Requirements
FHA
System
requirements
System functions (functional chains)
ANZEN PUBLIC
System analysis
eVTOL Functional Hazard Analysis
27
Functional
Requirements
FHA
System
requirements
Functional Hazard Analysis
ANZEN PUBLIC
System analysis
eVTOL Functional Hazard Analysis
28
Functional
Requirements
FHA
System
requirements
Functional Hazard Analysis (Failure Conditions)
ANZEN PUBLIC
eVTOL Functional Hazard Analysis
29
Aligned with
ARP4761
prescriptions
FHA
ANZEN PUBLIC
ANZEN PUBLIC 30
ATICA4Capella | Model Based Safety Analysis
Automatic document generation
Automatic document generation (right)
based on pre-defined (fully customizable) templates (left)
Outline
• Introduction to digital engineering
• ATICA, our safety engineering hub
• ATICA4Capella
• Use case example: eVTOL vehicle
• Wrap-up and next steps
31
ANZEN PUBLIC
Import (export) from (to) file
32
ANZEN PUBLIC
New Feature
Under consolidation
ATICA4Capella &
Requirements Viewpoint
33
Prob < 1e-9 h-1
ANZEN PUBLIC
New Feature
Under consolidation
One of the failure conditions
associated to the system
function is catastrophic
Requirements associated to
the failure condition, to be
verified by safety analysis
Requirements associated to
the system function, to be
considered for design
(Semi) automated safety analysis
ANZEN PUBLIC 34
35
ANZEN PUBLIC
Fault Tree Analysis and Cut Sets
ATICA4Capella
New Feature
Under consolidation
36
Cut Sets
ATICA4Capella
Results visualization directly
available in Capella and linked to
model elements
ANZEN PUBLIC
New Feature
Under consolidation
Fault Tree Analysis
37
Limited visualization features,
improvement on going
ATICA4Capella
Example from ARP-4761
• Failure of all three engines is catastrophic
Voter Voter
Voter
Backup OBC PSU 4 Engine 3
ANZEN PUBLIC
New Feature
Under consolidation
Failure
condition
Failure
modes
Key takeaways
ATICA4CAPELLA is a Capella add-on for safety analysis
✓ Especially conceived for the aerospace industry but applicable to other sectors
• ATICA safety metamodel complies with ARP-4761
• The framework can be tailored to meet specific use-cases and company policies
✓ Trial version available, compatible with Capella versions 5.2 and 6+
• Presentation of system analysis and FHA
• Advanced features under consolidation: Fault Tree Analysis, FMECA
ANZEN PUBLIC 38
anzenengineering.com/
atica4capella-download/
39
Pablo Lopez Negro
ATICA Product Owner
pablolopez@anzenengineering.com
Luis Cárdenas
MBSE Engineer
luiscardenas@anzenengineering.com
ANZEN PUBLIC
1 of 39

Recommended

CapellaDays2022 | NavalGroup | Closing the gap between traditional engineerin... by
CapellaDays2022 | NavalGroup | Closing the gap between traditional engineerin...CapellaDays2022 | NavalGroup | Closing the gap between traditional engineerin...
CapellaDays2022 | NavalGroup | Closing the gap between traditional engineerin...Obeo
199 views64 slides
Tailoring Arcadia Framework in Thales UK by
Tailoring Arcadia Framework in Thales UKTailoring Arcadia Framework in Thales UK
Tailoring Arcadia Framework in Thales UKObeo
151 views19 slides
Strategies and Tools for Model Reuse with Capella by
Strategies and Tools for Model Reuse with CapellaStrategies and Tools for Model Reuse with Capella
Strategies and Tools for Model Reuse with CapellaObeo
731 views38 slides
CapellaDays2022 | Thales DMS | A global engineering process based on MBSE to ... by
CapellaDays2022 | Thales DMS | A global engineering process based on MBSE to ...CapellaDays2022 | Thales DMS | A global engineering process based on MBSE to ...
CapellaDays2022 | Thales DMS | A global engineering process based on MBSE to ...Obeo
221 views24 slides
Multi domain product architecture: start integrated, stay integrated by
Multi domain product architecture: start integrated, stay integratedMulti domain product architecture: start integrated, stay integrated
Multi domain product architecture: start integrated, stay integratedObeo
423 views38 slides
Capella Days 2021 | Introduction to CAPELLA/ARCADIA and NASA Systems Engineer... by
Capella Days 2021 | Introduction to CAPELLA/ARCADIA and NASA Systems Engineer...Capella Days 2021 | Introduction to CAPELLA/ARCADIA and NASA Systems Engineer...
Capella Days 2021 | Introduction to CAPELLA/ARCADIA and NASA Systems Engineer...Obeo
1.3K views70 slides

More Related Content

What's hot

[Capella Days 2020] Innovating with MBSE – Medical Device Example by
[Capella Days 2020] Innovating with MBSE – Medical Device Example[Capella Days 2020] Innovating with MBSE – Medical Device Example
[Capella Days 2020] Innovating with MBSE – Medical Device ExampleObeo
415 views35 slides
Capella Days 2021 | A STEP towards Model-based: Case Study covering Conceptua... by
Capella Days 2021 | A STEP towards Model-based: Case Study covering Conceptua...Capella Days 2021 | A STEP towards Model-based: Case Study covering Conceptua...
Capella Days 2021 | A STEP towards Model-based: Case Study covering Conceptua...Obeo
220 views30 slides
CapellaDays2022 | Thales | Stairway to heaven: Climbing the very first steps by
CapellaDays2022 | Thales | Stairway to heaven: Climbing the very first stepsCapellaDays2022 | Thales | Stairway to heaven: Climbing the very first steps
CapellaDays2022 | Thales | Stairway to heaven: Climbing the very first stepsObeo
129 views31 slides
Capella Days 2021 | Where to Start with MBSE when Thousands of System Require... by
Capella Days 2021 | Where to Start with MBSE when Thousands of System Require...Capella Days 2021 | Where to Start with MBSE when Thousands of System Require...
Capella Days 2021 | Where to Start with MBSE when Thousands of System Require...Obeo
285 views21 slides
CapellaDays2022 | ThermoFisher - ESI TNO | A method for quantitative evaluati... by
CapellaDays2022 | ThermoFisher - ESI TNO | A method for quantitative evaluati...CapellaDays2022 | ThermoFisher - ESI TNO | A method for quantitative evaluati...
CapellaDays2022 | ThermoFisher - ESI TNO | A method for quantitative evaluati...Obeo
141 views32 slides
Scripting with Python to interact with Capella model by
Scripting with Python to interact with Capella modelScripting with Python to interact with Capella model
Scripting with Python to interact with Capella modelObeo
783 views17 slides

What's hot(20)

[Capella Days 2020] Innovating with MBSE – Medical Device Example by Obeo
[Capella Days 2020] Innovating with MBSE – Medical Device Example[Capella Days 2020] Innovating with MBSE – Medical Device Example
[Capella Days 2020] Innovating with MBSE – Medical Device Example
Obeo415 views
Capella Days 2021 | A STEP towards Model-based: Case Study covering Conceptua... by Obeo
Capella Days 2021 | A STEP towards Model-based: Case Study covering Conceptua...Capella Days 2021 | A STEP towards Model-based: Case Study covering Conceptua...
Capella Days 2021 | A STEP towards Model-based: Case Study covering Conceptua...
Obeo220 views
CapellaDays2022 | Thales | Stairway to heaven: Climbing the very first steps by Obeo
CapellaDays2022 | Thales | Stairway to heaven: Climbing the very first stepsCapellaDays2022 | Thales | Stairway to heaven: Climbing the very first steps
CapellaDays2022 | Thales | Stairway to heaven: Climbing the very first steps
Obeo129 views
Capella Days 2021 | Where to Start with MBSE when Thousands of System Require... by Obeo
Capella Days 2021 | Where to Start with MBSE when Thousands of System Require...Capella Days 2021 | Where to Start with MBSE when Thousands of System Require...
Capella Days 2021 | Where to Start with MBSE when Thousands of System Require...
Obeo285 views
CapellaDays2022 | ThermoFisher - ESI TNO | A method for quantitative evaluati... by Obeo
CapellaDays2022 | ThermoFisher - ESI TNO | A method for quantitative evaluati...CapellaDays2022 | ThermoFisher - ESI TNO | A method for quantitative evaluati...
CapellaDays2022 | ThermoFisher - ESI TNO | A method for quantitative evaluati...
Obeo141 views
Scripting with Python to interact with Capella model by Obeo
Scripting with Python to interact with Capella modelScripting with Python to interact with Capella model
Scripting with Python to interact with Capella model
Obeo783 views
CapellaDays2022 | Saratech | Interface Control Document Generation and Linkag... by Obeo
CapellaDays2022 | Saratech | Interface Control Document Generation and Linkag...CapellaDays2022 | Saratech | Interface Control Document Generation and Linkag...
CapellaDays2022 | Saratech | Interface Control Document Generation and Linkag...
Obeo267 views
[ Capella Day 2019 ] Augmenting requirements with models to improve the artic... by Obeo
[ Capella Day 2019 ] Augmenting requirements with models to improve the artic...[ Capella Day 2019 ] Augmenting requirements with models to improve the artic...
[ Capella Day 2019 ] Augmenting requirements with models to improve the artic...
Obeo959 views
Requirements Management for Safety-Critical Products by David Hetherington
Requirements Management for Safety-Critical ProductsRequirements Management for Safety-Critical Products
Requirements Management for Safety-Critical Products
David Hetherington290 views
Capella Days 2021 | Exploring the various roles of MBSE in the digital thread by Obeo
Capella Days 2021 | Exploring the various roles of MBSE in the digital threadCapella Days 2021 | Exploring the various roles of MBSE in the digital thread
Capella Days 2021 | Exploring the various roles of MBSE in the digital thread
Obeo247 views
CapellaDays2022 | Politecnico di Milano | Interplanetary Space Mission as a r... by Obeo
CapellaDays2022 | Politecnico di Milano | Interplanetary Space Mission as a r...CapellaDays2022 | Politecnico di Milano | Interplanetary Space Mission as a r...
CapellaDays2022 | Politecnico di Milano | Interplanetary Space Mission as a r...
Obeo230 views
System of systems modeling with Capella by Obeo
System of systems modeling with CapellaSystem of systems modeling with Capella
System of systems modeling with Capella
Obeo888 views
Capella Days 2021 | Enhancing CubeSat design through ARCADIA and Capella: a c... by Obeo
Capella Days 2021 | Enhancing CubeSat design through ARCADIA and Capella: a c...Capella Days 2021 | Enhancing CubeSat design through ARCADIA and Capella: a c...
Capella Days 2021 | Enhancing CubeSat design through ARCADIA and Capella: a c...
Obeo317 views
Capella Days 2021 | An example of model-centric engineering environment with ... by Obeo
Capella Days 2021 | An example of model-centric engineering environment with ...Capella Days 2021 | An example of model-centric engineering environment with ...
Capella Days 2021 | An example of model-centric engineering environment with ...
Obeo250 views
STPA Analysis of Automotive Safety Using Arcadia and Capella by David Hetherington
STPA Analysis of Automotive Safety Using Arcadia and CapellaSTPA Analysis of Automotive Safety Using Arcadia and Capella
STPA Analysis of Automotive Safety Using Arcadia and Capella
David Hetherington344 views
CapellaDays2022 | CILAS - ArianeGroup | CILAS feedback about Capella use by Obeo
CapellaDays2022 | CILAS - ArianeGroup | CILAS feedback about Capella useCapellaDays2022 | CILAS - ArianeGroup | CILAS feedback about Capella use
CapellaDays2022 | CILAS - ArianeGroup | CILAS feedback about Capella use
Obeo80 views
System engineering capabilities of 3 dexperience platform for nuclear market ... by Capgemini
System engineering capabilities of 3 dexperience platform for nuclear market ...System engineering capabilities of 3 dexperience platform for nuclear market ...
System engineering capabilities of 3 dexperience platform for nuclear market ...
Capgemini385 views
MBSE with Arcadia method step-by-step System Analysis.pdf by Helder Castro
MBSE with Arcadia method step-by-step System Analysis.pdfMBSE with Arcadia method step-by-step System Analysis.pdf
MBSE with Arcadia method step-by-step System Analysis.pdf
Helder Castro2K views
ArchiMate introduction by Ashraf Fouad
ArchiMate introductionArchiMate introduction
ArchiMate introduction
Ashraf Fouad1.7K views
Easily enrich capella models with your own domain extensions by Obeo
Easily enrich capella models with your own domain extensionsEasily enrich capella models with your own domain extensions
Easily enrich capella models with your own domain extensions
Obeo858 views

Similar to Digitally assisted design for safety analysis

#SiriusCon 2015: Talk by Christophe Boudjennah "Experimenting the Open Source... by
#SiriusCon 2015: Talk by Christophe Boudjennah "Experimenting the Open Source...#SiriusCon 2015: Talk by Christophe Boudjennah "Experimenting the Open Source...
#SiriusCon 2015: Talk by Christophe Boudjennah "Experimenting the Open Source...Obeo
1.1K views33 slides
resume by
resumeresume
resumeranjithkumar03
541 views8 slides
Introduction to TTCN-3 and AUTOSAR Conformance Testing by
Introduction to TTCN-3 and AUTOSAR Conformance TestingIntroduction to TTCN-3 and AUTOSAR Conformance Testing
Introduction to TTCN-3 and AUTOSAR Conformance TestingOak Systems
714 views33 slides
SDN in the Enterprise by
SDN in the EnterpriseSDN in the Enterprise
SDN in the EnterpriseCisco Canada
693 views33 slides
Automated Requirements-Based Testing for Medical Device Software by
Automated Requirements-Based Testing for Medical Device SoftwareAutomated Requirements-Based Testing for Medical Device Software
Automated Requirements-Based Testing for Medical Device SoftwareQA Systems
41 views21 slides
SAFIRE Security Concept at EFFRA Event by
SAFIRE Security Concept at EFFRA EventSAFIRE Security Concept at EFFRA Event
SAFIRE Security Concept at EFFRA EventSebastian Scholze
83 views13 slides

Similar to Digitally assisted design for safety analysis(20)

#SiriusCon 2015: Talk by Christophe Boudjennah "Experimenting the Open Source... by Obeo
#SiriusCon 2015: Talk by Christophe Boudjennah "Experimenting the Open Source...#SiriusCon 2015: Talk by Christophe Boudjennah "Experimenting the Open Source...
#SiriusCon 2015: Talk by Christophe Boudjennah "Experimenting the Open Source...
Obeo1.1K views
Introduction to TTCN-3 and AUTOSAR Conformance Testing by Oak Systems
Introduction to TTCN-3 and AUTOSAR Conformance TestingIntroduction to TTCN-3 and AUTOSAR Conformance Testing
Introduction to TTCN-3 and AUTOSAR Conformance Testing
Oak Systems714 views
SDN in the Enterprise by Cisco Canada
SDN in the EnterpriseSDN in the Enterprise
SDN in the Enterprise
Cisco Canada693 views
Automated Requirements-Based Testing for Medical Device Software by QA Systems
Automated Requirements-Based Testing for Medical Device SoftwareAutomated Requirements-Based Testing for Medical Device Software
Automated Requirements-Based Testing for Medical Device Software
QA Systems41 views
Automated requirements based testing for ISO 26262 by QA Systems
Automated requirements based testing for ISO 26262 Automated requirements based testing for ISO 26262
Automated requirements based testing for ISO 26262
QA Systems77 views
Automated Requirements-Based Testing for Medical Device Software.ppsx by QA Systems
Automated Requirements-Based Testing for Medical Device Software.ppsxAutomated Requirements-Based Testing for Medical Device Software.ppsx
Automated Requirements-Based Testing for Medical Device Software.ppsx
QA Systems10 views
Towards 0-bug software in the automotive industry by Ashley Zupkus
Towards 0-bug software in the automotive industryTowards 0-bug software in the automotive industry
Towards 0-bug software in the automotive industry
Ashley Zupkus104 views
Piacere general presentation by PIACERE
Piacere general presentationPiacere general presentation
Piacere general presentation
PIACERE 137 views
Model-based Development for Vehicular Embedded Systems by Alessio Bucaioni
Model-based Development for Vehicular Embedded SystemsModel-based Development for Vehicular Embedded Systems
Model-based Development for Vehicular Embedded Systems
Alessio Bucaioni230 views
Safety-Certifying Open Source Software: The Case of the Xen Hypervisor by Stefano Stabellini
Safety-Certifying Open Source Software: The Case of the Xen HypervisorSafety-Certifying Open Source Software: The Case of the Xen Hypervisor
Safety-Certifying Open Source Software: The Case of the Xen Hypervisor
Stefano Stabellini668 views
Afry software safety ISO26262 (Embedded @ Gothenburg Meetup) by Dimitrios Platis
Afry software safety ISO26262 (Embedded @ Gothenburg Meetup)Afry software safety ISO26262 (Embedded @ Gothenburg Meetup)
Afry software safety ISO26262 (Embedded @ Gothenburg Meetup)
Dimitrios Platis161 views
DOTNET 2013 IEEE MOBILECOMPUTING PROJECT Model based analysis of wireless sys... by IEEEGLOBALSOFTTECHNOLOGIES
DOTNET 2013 IEEE MOBILECOMPUTING PROJECT Model based analysis of wireless sys...DOTNET 2013 IEEE MOBILECOMPUTING PROJECT Model based analysis of wireless sys...
DOTNET 2013 IEEE MOBILECOMPUTING PROJECT Model based analysis of wireless sys...
Model-Driven Development of ARINC 653 Configuration tables by Ákos Horváth
Model-Driven Development of ARINC 653 Configuration tablesModel-Driven Development of ARINC 653 Configuration tables
Model-Driven Development of ARINC 653 Configuration tables
Ákos Horváth626 views
Asset Utilization Metrics Propel a Revival in Safety Solutions by ARC Advisory Group
Asset Utilization Metrics Propel a Revival in Safety SolutionsAsset Utilization Metrics Propel a Revival in Safety Solutions
Asset Utilization Metrics Propel a Revival in Safety Solutions
ARC Advisory Group173 views
[SiriusCon 2020] Realization of Model-Based Safety Analysis and Integration w... by Obeo
[SiriusCon 2020] Realization of Model-Based Safety Analysis and Integration w...[SiriusCon 2020] Realization of Model-Based Safety Analysis and Integration w...
[SiriusCon 2020] Realization of Model-Based Safety Analysis and Integration w...
Obeo554 views

More from Obeo

CapellaDays2022 | COMAC - PGM | How We Use Capella for Collaborative Design i... by
CapellaDays2022 | COMAC - PGM | How We Use Capella for Collaborative Design i...CapellaDays2022 | COMAC - PGM | How We Use Capella for Collaborative Design i...
CapellaDays2022 | COMAC - PGM | How We Use Capella for Collaborative Design i...Obeo
113 views38 slides
Gestion applicative des données, un REX du Ministère de l'Éducation Nationale by
Gestion applicative des données, un REX du Ministère de l'Éducation NationaleGestion applicative des données, un REX du Ministère de l'Éducation Nationale
Gestion applicative des données, un REX du Ministère de l'Éducation NationaleObeo
42 views36 slides
Simulation with Python and MATLAB® in Capella by
Simulation with Python and MATLAB® in CapellaSimulation with Python and MATLAB® in Capella
Simulation with Python and MATLAB® in CapellaObeo
343 views37 slides
From Model-based to Model and Simulation-based Systems Architectures by
From Model-based to Model and Simulation-based Systems ArchitecturesFrom Model-based to Model and Simulation-based Systems Architectures
From Model-based to Model and Simulation-based Systems ArchitecturesObeo
109 views17 slides
Sirius Web Advanced : Customize and Extend the Platform by
Sirius Web Advanced : Customize and Extend the PlatformSirius Web Advanced : Customize and Extend the Platform
Sirius Web Advanced : Customize and Extend the PlatformObeo
137 views66 slides
Sirius Web 101 : Create a Modeler With No Code by
Sirius Web 101 : Create a Modeler With No CodeSirius Web 101 : Create a Modeler With No Code
Sirius Web 101 : Create a Modeler With No CodeObeo
49 views9 slides

More from Obeo(16)

CapellaDays2022 | COMAC - PGM | How We Use Capella for Collaborative Design i... by Obeo
CapellaDays2022 | COMAC - PGM | How We Use Capella for Collaborative Design i...CapellaDays2022 | COMAC - PGM | How We Use Capella for Collaborative Design i...
CapellaDays2022 | COMAC - PGM | How We Use Capella for Collaborative Design i...
Obeo113 views
Gestion applicative des données, un REX du Ministère de l'Éducation Nationale by Obeo
Gestion applicative des données, un REX du Ministère de l'Éducation NationaleGestion applicative des données, un REX du Ministère de l'Éducation Nationale
Gestion applicative des données, un REX du Ministère de l'Éducation Nationale
Obeo42 views
Simulation with Python and MATLAB® in Capella by Obeo
Simulation with Python and MATLAB® in CapellaSimulation with Python and MATLAB® in Capella
Simulation with Python and MATLAB® in Capella
Obeo343 views
From Model-based to Model and Simulation-based Systems Architectures by Obeo
From Model-based to Model and Simulation-based Systems ArchitecturesFrom Model-based to Model and Simulation-based Systems Architectures
From Model-based to Model and Simulation-based Systems Architectures
Obeo109 views
Sirius Web Advanced : Customize and Extend the Platform by Obeo
Sirius Web Advanced : Customize and Extend the PlatformSirius Web Advanced : Customize and Extend the Platform
Sirius Web Advanced : Customize and Extend the Platform
Obeo137 views
Sirius Web 101 : Create a Modeler With No Code by Obeo
Sirius Web 101 : Create a Modeler With No CodeSirius Web 101 : Create a Modeler With No Code
Sirius Web 101 : Create a Modeler With No Code
Obeo49 views
Sirius Project, Now and In the Future by Obeo
Sirius Project, Now and In the FutureSirius Project, Now and In the Future
Sirius Project, Now and In the Future
Obeo65 views
Visualizing, Analyzing and Optimizing Automotive Architecture Models using Si... by Obeo
Visualizing, Analyzing and Optimizing Automotive Architecture Models using Si...Visualizing, Analyzing and Optimizing Automotive Architecture Models using Si...
Visualizing, Analyzing and Optimizing Automotive Architecture Models using Si...
Obeo76 views
Defining Viewpoints for Ontology-Based DSLs by Obeo
Defining Viewpoints for Ontology-Based DSLsDefining Viewpoints for Ontology-Based DSLs
Defining Viewpoints for Ontology-Based DSLs
Obeo125 views
Development of DSL for Context-Aware Mobile Applications by Obeo
Development of DSL for Context-Aware Mobile ApplicationsDevelopment of DSL for Context-Aware Mobile Applications
Development of DSL for Context-Aware Mobile Applications
Obeo23 views
SimfiaNeo - Workbench for Safety Analysis powered by Sirius by Obeo
SimfiaNeo - Workbench for Safety Analysis powered by SiriusSimfiaNeo - Workbench for Safety Analysis powered by Sirius
SimfiaNeo - Workbench for Safety Analysis powered by Sirius
Obeo213 views
Capella annual meeting 2022 by Obeo
Capella annual meeting 2022Capella annual meeting 2022
Capella annual meeting 2022
Obeo175 views
Générez automatiquement vos diagrammes d'architecture | Webinaire Obeo SmartEA by Obeo
Générez automatiquement vos diagrammes d'architecture | Webinaire Obeo SmartEAGénérez automatiquement vos diagrammes d'architecture | Webinaire Obeo SmartEA
Générez automatiquement vos diagrammes d'architecture | Webinaire Obeo SmartEA
Obeo85 views
Capella (once again) in space, meeting nanosatellites by Obeo
Capella (once again) in space, meeting nanosatellitesCapella (once again) in space, meeting nanosatellites
Capella (once again) in space, meeting nanosatellites
Obeo192 views
Identifier et suivre les applications à risque pour des processus métier | We... by Obeo
Identifier et suivre les applications à risque pour des processus métier | We...Identifier et suivre les applications à risque pour des processus métier | We...
Identifier et suivre les applications à risque pour des processus métier | We...
Obeo87 views
Webinaire IS Designer by Obeo
Webinaire IS DesignerWebinaire IS Designer
Webinaire IS Designer
Obeo143 views

Recently uploaded

A first look at MariaDB 11.x features and ideas on how to use them by
A first look at MariaDB 11.x features and ideas on how to use themA first look at MariaDB 11.x features and ideas on how to use them
A first look at MariaDB 11.x features and ideas on how to use themFederico Razzoli
45 views36 slides
Tridens DevOps by
Tridens DevOpsTridens DevOps
Tridens DevOpsTridens
9 views28 slides
360 graden fabriek by
360 graden fabriek360 graden fabriek
360 graden fabriekinfo33492
36 views25 slides
DSD-INT 2023 Wave-Current Interaction at Montrose Tidal Inlet System and Its ... by
DSD-INT 2023 Wave-Current Interaction at Montrose Tidal Inlet System and Its ...DSD-INT 2023 Wave-Current Interaction at Montrose Tidal Inlet System and Its ...
DSD-INT 2023 Wave-Current Interaction at Montrose Tidal Inlet System and Its ...Deltares
10 views32 slides
Dapr Unleashed: Accelerating Microservice Development by
Dapr Unleashed: Accelerating Microservice DevelopmentDapr Unleashed: Accelerating Microservice Development
Dapr Unleashed: Accelerating Microservice DevelopmentMiroslav Janeski
9 views29 slides
Airline Booking Software by
Airline Booking SoftwareAirline Booking Software
Airline Booking SoftwareSharmiMehta
5 views26 slides

Recently uploaded(20)

A first look at MariaDB 11.x features and ideas on how to use them by Federico Razzoli
A first look at MariaDB 11.x features and ideas on how to use themA first look at MariaDB 11.x features and ideas on how to use them
A first look at MariaDB 11.x features and ideas on how to use them
Federico Razzoli45 views
Tridens DevOps by Tridens
Tridens DevOpsTridens DevOps
Tridens DevOps
Tridens9 views
360 graden fabriek by info33492
360 graden fabriek360 graden fabriek
360 graden fabriek
info3349236 views
DSD-INT 2023 Wave-Current Interaction at Montrose Tidal Inlet System and Its ... by Deltares
DSD-INT 2023 Wave-Current Interaction at Montrose Tidal Inlet System and Its ...DSD-INT 2023 Wave-Current Interaction at Montrose Tidal Inlet System and Its ...
DSD-INT 2023 Wave-Current Interaction at Montrose Tidal Inlet System and Its ...
Deltares10 views
Dapr Unleashed: Accelerating Microservice Development by Miroslav Janeski
Dapr Unleashed: Accelerating Microservice DevelopmentDapr Unleashed: Accelerating Microservice Development
Dapr Unleashed: Accelerating Microservice Development
Airline Booking Software by SharmiMehta
Airline Booking SoftwareAirline Booking Software
Airline Booking Software
SharmiMehta5 views
20231129 - Platform @ localhost 2023 - Application-driven infrastructure with... by sparkfabrik
20231129 - Platform @ localhost 2023 - Application-driven infrastructure with...20231129 - Platform @ localhost 2023 - Application-driven infrastructure with...
20231129 - Platform @ localhost 2023 - Application-driven infrastructure with...
sparkfabrik5 views
DSD-INT 2023 Exploring flash flood hazard reduction in arid regions using a h... by Deltares
DSD-INT 2023 Exploring flash flood hazard reduction in arid regions using a h...DSD-INT 2023 Exploring flash flood hazard reduction in arid regions using a h...
DSD-INT 2023 Exploring flash flood hazard reduction in arid regions using a h...
Deltares5 views
DSD-INT 2023 European Digital Twin Ocean and Delft3D FM - Dols by Deltares
DSD-INT 2023 European Digital Twin Ocean and Delft3D FM - DolsDSD-INT 2023 European Digital Twin Ocean and Delft3D FM - Dols
DSD-INT 2023 European Digital Twin Ocean and Delft3D FM - Dols
Deltares7 views
DSD-INT 2023 The Danube Hazardous Substances Model - Kovacs by Deltares
DSD-INT 2023 The Danube Hazardous Substances Model - KovacsDSD-INT 2023 The Danube Hazardous Substances Model - Kovacs
DSD-INT 2023 The Danube Hazardous Substances Model - Kovacs
Deltares8 views
MariaDB stored procedures and why they should be improved by Federico Razzoli
MariaDB stored procedures and why they should be improvedMariaDB stored procedures and why they should be improved
MariaDB stored procedures and why they should be improved
DSD-INT 2023 Delft3D FM Suite 2024.01 1D2D - Beta testing programme - Geertsema by Deltares
DSD-INT 2023 Delft3D FM Suite 2024.01 1D2D - Beta testing programme - GeertsemaDSD-INT 2023 Delft3D FM Suite 2024.01 1D2D - Beta testing programme - Geertsema
DSD-INT 2023 Delft3D FM Suite 2024.01 1D2D - Beta testing programme - Geertsema
Deltares17 views
FIMA 2023 Neo4j & FS - Entity Resolution.pptx by Neo4j
FIMA 2023 Neo4j & FS - Entity Resolution.pptxFIMA 2023 Neo4j & FS - Entity Resolution.pptx
FIMA 2023 Neo4j & FS - Entity Resolution.pptx
Neo4j6 views
Headless JS UG Presentation.pptx by Jack Spektor
Headless JS UG Presentation.pptxHeadless JS UG Presentation.pptx
Headless JS UG Presentation.pptx
Jack Spektor7 views
DSD-INT 2023 3D hydrodynamic modelling of microplastic transport in lakes - J... by Deltares
DSD-INT 2023 3D hydrodynamic modelling of microplastic transport in lakes - J...DSD-INT 2023 3D hydrodynamic modelling of microplastic transport in lakes - J...
DSD-INT 2023 3D hydrodynamic modelling of microplastic transport in lakes - J...
Deltares9 views
SUGCON ANZ Presentation V2.1 Final.pptx by Jack Spektor
SUGCON ANZ Presentation V2.1 Final.pptxSUGCON ANZ Presentation V2.1 Final.pptx
SUGCON ANZ Presentation V2.1 Final.pptx
Jack Spektor22 views
BushraDBR: An Automatic Approach to Retrieving Duplicate Bug Reports by Ra'Fat Al-Msie'deen
BushraDBR: An Automatic Approach to Retrieving Duplicate Bug ReportsBushraDBR: An Automatic Approach to Retrieving Duplicate Bug Reports
BushraDBR: An Automatic Approach to Retrieving Duplicate Bug Reports
DSD-INT 2023 Delft3D FM Suite 2024.01 2D3D - New features + Improvements - Ge... by Deltares
DSD-INT 2023 Delft3D FM Suite 2024.01 2D3D - New features + Improvements - Ge...DSD-INT 2023 Delft3D FM Suite 2024.01 2D3D - New features + Improvements - Ge...
DSD-INT 2023 Delft3D FM Suite 2024.01 2D3D - New features + Improvements - Ge...
Deltares17 views

Digitally assisted design for safety analysis

  • 1. | Last updated: 08/09/2023 model-based safety analysis framework for the aerospace industry ANZEN PUBLIC
  • 2. Who are we? 2 ANZEN PUBLIC System, safety and reliability experts ✓ Highly experienced system-safety & reliability engineers ✓ Specialization in complying with the highest quality standards for safety/availability critical missions Specialization ✓ Complex electronics ✓ Safety Critical Systems ✓ Autonomous & software defined systems Digitalization of systems engineering ✓ Development and extension of model-based software tools for digitalization of the system & safety engineering process
  • 3. Outline • Introduction to digital engineering • ATICA, our safety engineering hub • ATICA4Capella • Use case example: eVTOL vehicle • Wrap-up and next steps 3 ANZEN PUBLIC
  • 4. The systems engineering process ANZEN PUBLIC 4 Model Based Systems Engineering (MBSE) Model Based Design (MBD) Digital Twin Model Based Safety Analysis Mission concept System design Sub-system / components Use of digital tools to support the systems engineering process Requirement management tools ✓ Software data base ✓ Enhanced traceability ✓ Customization and reuse Model Based System Engineering ✓ Interoperability with requirement tools ✓ Systems architecture Model Based Design ✓ Interoperability with MBSE ✓ Systems prototyping and detailed definition ✓ Simulation ✓ Automatic code generation Digital Twin ✓ Enhanced virtual representation of the system ✓ Multi-physics simulation ✓ Operational scenarios Product Life cycle management ✓ Configuration management and version control Model Based Safety Analysis ✓ Interoperability ✓ Centralized source of information ✓ Semi-automated analysis and documentation
  • 5. Framework and tools ANZEN PUBLIC 5 Model Based Systems Engineering (MBSE) Model Based Design (MBD) Digital Twin Mathworks Simulink Mathworks SystemComposer Mathworks RequirementsToolbox Mathworks Simscape IBM DOORS IBM RHAPSODY ANSYS SCADE CAMEO Systems Modeler SIEMENS TEAMCENTER SIEMENS POLARION CAPELLA Model Based Safety Analysis Use of digital tools to support the systems engineering process
  • 6. Framework and tools ANZEN PUBLIC 6 Model Based Systems Engineering (MBSE) Model Based Design (MBD) Digital Twin Model Based Safety Analysis ATICA Framework ATICA @reqs ATICA @mbsa ATICA @fdir ATICA @rpf ATICA @dt ATICA @mbd
  • 7. ATICA, our safety engineering hub ANZEN PUBLIC 7 ATICA MBSA Safety & Reliability Analysis Backends Requirements Product Lifecycle Management Model Based Systems Engineering Model Based Design and Simulation atica4capella On going On going prospect prospect CAMEO CAPELLA SIMULINK SCADE RHAPSODY DOORS TEAM CENTER JAMA TEAM CENTER WIND CHILL SES STUDIO
  • 8. Outline • Introduction to digital engineering • ATICA, our safety engineering hub • ATICA4Capella • Use case example: eVTOL vehicle • Wrap-up and next steps 8 ANZEN PUBLIC
  • 9. Digitally-assisted design for safety 9 Operational analysis Systems analysis Logical architectures Physical architecture Design and simulation Model-based systems engineering (Arcadia) Stakeholder needs Functional requirements System requirements Implementation requirements Requirement management Certification basis / SORA Functional Hazard Analysis Fault Tree Analysis, FMEA / FMECA Reliability Prediction Model-based safety analysis (Atica) V&V requirements System integrator Equipment manufacturer System Operators Safety assessment process on civil airborne systems ARP-4761 ANZEN PUBLIC Tailored to ARP-4754A, INCOSE, etc.
  • 10. ATICA4Capella | MBSA toolset 10 ATICA Model Based Safety Analysis Model Based Systems Engineering Capella / Arcadia MBSE front end ATICA4Capella Safety metamodel plugin ARP-4761 Safety methodology - Integrated in Capella/Arcadia - Aligned with ARP-4761 Safety ontology: - Failure Condition - Functional Failure - Failure Mode Fault Tree Analysis Backend Markov chain Backend Probabilistic analysis Backend Safety & Reliability Analysis Backends ANZEN PUBLIC Tailored to ARP-4754A, INCOSE, etc.
  • 11. ATICA4Capella A Capella addon for model-based safety analysis Pre-requisites (Capella versions) • Capella 5.2 (nightly release) • Capella 6+ ANZEN PUBLIC 11 Compatibility with other addons • Requirements viewpoint • M2Doc anzenengineering.com/atica4capella-download/
  • 12. ATICA4Capella | Safety metamodel ANZEN PUBLIC 12 FHA FTA FMES / FMECA
  • 13. ATICA4Capella | Functional breakdown ANZEN PUBLIC 13 System functions (functional breakdown) Automatic document generation based on pre-defined templates System analysis Functional Requirements Functional Hazard Analysis System requirements
  • 14. ATICA4Capella | Functional breakdown ANZEN PUBLIC 14 System functions (functional breakdown) Tested with Capella 6.1
  • 15. ATICA4Capella | ANZEN PUBLIC 15 Model Based Safety Analysis Functional Hazard Analysis (FHA) System analysis Functional Requirements FHA System requirements Functional Chains and Failure Conditions
  • 16. ATICA4Capella | ANZEN PUBLIC 16 Model Based Safety Analysis Functional Hazard Analysis (FHA) Functional Chains and Failure Conditions
  • 17. ANZEN PUBLIC 17 Aligned with ARP4761 prescriptions FHA ATICA4Capella | Model Based Safety Analysis Functional Hazard Analysis (FHA) Automatic report generation based on template
  • 18. ANZEN PUBLIC 18 ATICA4Capella | Model Based Safety Analysis Fault tree analysis and FMEA Logical and physical architectures Enhanced traceability from conceptual design to implementation
  • 19. Outline • Introduction to digital engineering • ATICA, our safety engineering hub • ATICA4Capella • Use case example: eVTOL vehicle • Wrap-up and next steps 19 ANZEN PUBLIC
  • 20. eVTOL mission description 20 ❑ Autonomous vehicle ❑ 4 passengers ❑ Vertical take-off and landing ❑ Urban mobility ❑ 150km range / 1h autonomy Stakeholder needs ANZEN PUBLIC
  • 21. Operational Analysis eVTOL Operational Concept 21 Stakeholder needs Certification basis Functional requirements Analysis of Operational Capabilities ANZEN PUBLIC
  • 22. System analysis eVTOL System Analysis 22 Functional Requirements Mission and system capabilities ANZEN PUBLIC
  • 23. System analysis eVTOL System Analysis 23 Functional Requirements FHA System requirements Mode diagram ANZEN PUBLIC
  • 24. System analysis eVTOL System Analysis 24 Functional Requirements FHA System requirements System functions (functional breakdown) ANZEN PUBLIC
  • 25. System analysis eVTOL System Analysis 25 Functional Requirements FHA System requirements System functions (system architecture) ANZEN PUBLIC
  • 26. System analysis eVTOL System Analysis 26 Functional Requirements FHA System requirements System functions (functional chains) ANZEN PUBLIC
  • 27. System analysis eVTOL Functional Hazard Analysis 27 Functional Requirements FHA System requirements Functional Hazard Analysis ANZEN PUBLIC
  • 28. System analysis eVTOL Functional Hazard Analysis 28 Functional Requirements FHA System requirements Functional Hazard Analysis (Failure Conditions) ANZEN PUBLIC
  • 29. eVTOL Functional Hazard Analysis 29 Aligned with ARP4761 prescriptions FHA ANZEN PUBLIC
  • 30. ANZEN PUBLIC 30 ATICA4Capella | Model Based Safety Analysis Automatic document generation Automatic document generation (right) based on pre-defined (fully customizable) templates (left)
  • 31. Outline • Introduction to digital engineering • ATICA, our safety engineering hub • ATICA4Capella • Use case example: eVTOL vehicle • Wrap-up and next steps 31 ANZEN PUBLIC
  • 32. Import (export) from (to) file 32 ANZEN PUBLIC New Feature Under consolidation
  • 33. ATICA4Capella & Requirements Viewpoint 33 Prob < 1e-9 h-1 ANZEN PUBLIC New Feature Under consolidation One of the failure conditions associated to the system function is catastrophic Requirements associated to the failure condition, to be verified by safety analysis Requirements associated to the system function, to be considered for design
  • 34. (Semi) automated safety analysis ANZEN PUBLIC 34
  • 35. 35 ANZEN PUBLIC Fault Tree Analysis and Cut Sets ATICA4Capella New Feature Under consolidation
  • 36. 36 Cut Sets ATICA4Capella Results visualization directly available in Capella and linked to model elements ANZEN PUBLIC New Feature Under consolidation
  • 37. Fault Tree Analysis 37 Limited visualization features, improvement on going ATICA4Capella Example from ARP-4761 • Failure of all three engines is catastrophic Voter Voter Voter Backup OBC PSU 4 Engine 3 ANZEN PUBLIC New Feature Under consolidation Failure condition Failure modes
  • 38. Key takeaways ATICA4CAPELLA is a Capella add-on for safety analysis ✓ Especially conceived for the aerospace industry but applicable to other sectors • ATICA safety metamodel complies with ARP-4761 • The framework can be tailored to meet specific use-cases and company policies ✓ Trial version available, compatible with Capella versions 5.2 and 6+ • Presentation of system analysis and FHA • Advanced features under consolidation: Fault Tree Analysis, FMECA ANZEN PUBLIC 38 anzenengineering.com/ atica4capella-download/
  • 39. 39 Pablo Lopez Negro ATICA Product Owner pablolopez@anzenengineering.com Luis Cárdenas MBSE Engineer luiscardenas@anzenengineering.com ANZEN PUBLIC