SlideShare une entreprise Scribd logo

[Capella Day 2019] Integrating Capella, SCADE and medini analyze, for MBSE, Embedded SW Development and Safety Analysis

Obeo
Obeo
ObeoProducts and Marketing manager at OBEO à Obeo

Integrating Capella, SCADE and medini analyze, for MBSE, Embedded SW Development and Safety Analysis Thierry Le Sergent, ANSYS Thierry Le Sergent is Product Manager for ANSYS's SCADE Architect product. His focus is on model-based system & software engineering tools for the development of critical embedded systems.

[Capella Day 2019] Integrating Capella, SCADE and medini analyze, for MBSE, Embedded SW Development and Safety Analysis

1  sur  27
Télécharger pour lire hors ligne
Integrating Capella, SCADE
and medini analyze,
for MBSE, Embedded SW
Development and Safety Analysis
Thierry Le Sergent
SCADE Architect Product Manager
Agenda
• Introduction
• Models Synchronization
• Domain Specific Languages
• Capella – SCADE & medini toolchain
Model-Based Systems Engineering (MBSE)
• Objective
o Design the right Product/System from user needs
• Means
o Successive levels of abstraction to refine system requirements from user needs to real product
• Difficulties
o Management of complexity and ambiguity at each level
o Management of consistency between the levels of concerns
o Multiple languages for engineering disciplines & domains
• Models
o Help managing the complexity and ambiguity
o Not a single tool for everything !
 Managing the refinement process is key
MBSE Workflows, Methods, Tools
Models Synchronization
Domain Specific Language
Models Synchronization
SCADE Tools
Models consistency between models : 2 ways
• “Traceability” or “allocation”
o Verification of “completion” can be automated (checker)
o Manual operation: creation of objects at both levels and manual links
• Models “Synchronization”
o = Model transformation + model diff-merge (allows incremental edition on both sides)
o Partial model transformation : each side has its own added value
‐ Only a subset of the models represent the same information.
o Automated transformation  Consistent by construction
Models consistency between models
SW detailed design & code generation
 SCADE Suite
SW components
interface
Sensors, HW,
actuators
abstractionsFunctions
System Safety analysis
 medini analyze
SW behavior
System simulation
 TwinBuilder
Systems design from User requirements
 Capella
MBSE guided methodology
Malfunctions,
Failure modes, …
Sensors, HW,
actuators behavior,
Environment behavior
System & Software
detailed architecture
 SCADE Architect
DSL, AADL,
FACE, AUTOSAR

Recommandé

MBSE and Model-Based Testing with Capella
MBSE and Model-Based Testing with CapellaMBSE and Model-Based Testing with Capella
MBSE and Model-Based Testing with CapellaObeo
 
Adaptive AUTOSAR - The New AUTOSAR Architecture
Adaptive AUTOSAR - The New AUTOSAR ArchitectureAdaptive AUTOSAR - The New AUTOSAR Architecture
Adaptive AUTOSAR - The New AUTOSAR ArchitectureAdaCore
 
Simulation with Python and MATLAB® in Capella
Simulation with Python and MATLAB® in CapellaSimulation with Python and MATLAB® in Capella
Simulation with Python and MATLAB® in CapellaObeo
 
System of systems modeling with Capella
System of systems modeling with CapellaSystem of systems modeling with Capella
System of systems modeling with CapellaObeo
 
[ Capella Day 2019 ] Model-based safety analysis on Capella using Component F...
[ Capella Day 2019 ] Model-based safety analysis on Capella using Component F...[ Capella Day 2019 ] Model-based safety analysis on Capella using Component F...
[ Capella Day 2019 ] Model-based safety analysis on Capella using Component F...Obeo
 
Using FMI (Functional Mock-up Interface) for MBSE at all steps of System Design
Using FMI (Functional Mock-up Interface) for MBSE at all steps of System DesignUsing FMI (Functional Mock-up Interface) for MBSE at all steps of System Design
Using FMI (Functional Mock-up Interface) for MBSE at all steps of System DesignSiemens PLM Software
 
Writing perfect textual requirements
Writing perfect textual requirementsWriting perfect textual requirements
Writing perfect textual requirementsObeo
 

Contenu connexe

Tendances

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...
Capella Days 2021 | Where to Start with MBSE when Thousands of System Require...Obeo
 
ISO 26262 introduction
ISO 26262 introductionISO 26262 introduction
ISO 26262 introductionKoenLeekens
 
Automotive engineering design - Model Based Design
Automotive engineering design - Model Based DesignAutomotive engineering design - Model Based Design
Automotive engineering design - Model Based DesignVinayagam Mariappan
 
CapellaDays2022 | Thales | Stairway to heaven: Climbing the very first steps
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
 
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...
Capella Days 2021 | Enhancing CubeSat design through ARCADIA and Capella: a c...Obeo
 
Tailoring Arcadia Framework in Thales UK
Tailoring Arcadia Framework in Thales UKTailoring Arcadia Framework in Thales UK
Tailoring Arcadia Framework in Thales UKObeo
 
CapellaDays2022 | Saratech | Interface Control Document Generation and Linkag...
CapellaDays2022 | Saratech | Interface Control Document Generation and Linkag...CapellaDays2022 | Saratech | Interface Control Document Generation and Linkag...
CapellaDays2022 | Saratech | Interface Control Document Generation and Linkag...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...
CapellaDays2022 | Politecnico di Milano | Interplanetary Space Mission as a r...Obeo
 
Automotive embedded systems part5 v1
Automotive embedded systems part5 v1Automotive embedded systems part5 v1
Automotive embedded systems part5 v1Keroles karam khalil
 
Strategies and Tools for Model Reuse with Capella
Strategies and Tools for Model Reuse with CapellaStrategies and Tools for Model Reuse with Capella
Strategies and Tools for Model Reuse with CapellaObeo
 
Model based design-Hardware in loop-software in loop
Model based design-Hardware in loop-software in loopModel based design-Hardware in loop-software in loop
Model based design-Hardware in loop-software in loopMahmoud Hussein
 
[Capella Day 2019] Model execution and system simulation in Capella
[Capella Day 2019] Model execution and system simulation in Capella[Capella Day 2019] Model execution and system simulation in Capella
[Capella Day 2019] Model execution and system simulation in CapellaObeo
 
Semantic Technologies for Vehicle Data - Defense
Semantic Technologies for Vehicle Data - Defense Semantic Technologies for Vehicle Data - Defense
Semantic Technologies for Vehicle Data - Defense Benjamin Klotz
 
Safety and Security Aspects of Automotive High Performance Controllers
Safety and Security Aspects of Automotive High Performance ControllersSafety and Security Aspects of Automotive High Performance Controllers
Safety and Security Aspects of Automotive High Performance ControllersAlexander Much
 
Rhapsody Software
Rhapsody SoftwareRhapsody Software
Rhapsody SoftwareBill Duncan
 
Rhapsody and mechatronics, multi-domain simulation
Rhapsody and mechatronics, multi-domain simulationRhapsody and mechatronics, multi-domain simulation
Rhapsody and mechatronics, multi-domain simulationGraham Bleakley
 
Simplifying MBSE Tasks with Capella and MapleMBSE
Simplifying MBSE Tasks with Capella and MapleMBSESimplifying MBSE Tasks with Capella and MapleMBSE
Simplifying MBSE Tasks with Capella and MapleMBSEObeo
 
Connecting Textual Requirements with Capella Models
Connecting Textual Requirements with Capella Models Connecting Textual Requirements with Capella Models
Connecting Textual Requirements with Capella Models Obeo
 

Tendances (20)

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...
Capella Days 2021 | Where to Start with MBSE when Thousands of System Require...
 
ISO 26262 introduction
ISO 26262 introductionISO 26262 introduction
ISO 26262 introduction
 
Automotive engineering design - Model Based Design
Automotive engineering design - Model Based DesignAutomotive engineering design - Model Based Design
Automotive engineering design - Model Based Design
 
CapellaDays2022 | Thales | Stairway to heaven: Climbing the very first steps
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
 
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...
Capella Days 2021 | Enhancing CubeSat design through ARCADIA and Capella: a c...
 
Tailoring Arcadia Framework in Thales UK
Tailoring Arcadia Framework in Thales UKTailoring Arcadia Framework in Thales UK
Tailoring Arcadia Framework in Thales UK
 
CapellaDays2022 | Saratech | Interface Control Document Generation and Linkag...
CapellaDays2022 | Saratech | Interface Control Document Generation and Linkag...CapellaDays2022 | Saratech | Interface Control Document Generation and Linkag...
CapellaDays2022 | Saratech | Interface Control Document Generation and Linkag...
 
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...
CapellaDays2022 | Politecnico di Milano | Interplanetary Space Mission as a r...
 
Automotive embedded systems part5 v1
Automotive embedded systems part5 v1Automotive embedded systems part5 v1
Automotive embedded systems part5 v1
 
Strategies and Tools for Model Reuse with Capella
Strategies and Tools for Model Reuse with CapellaStrategies and Tools for Model Reuse with Capella
Strategies and Tools for Model Reuse with Capella
 
Model based design-Hardware in loop-software in loop
Model based design-Hardware in loop-software in loopModel based design-Hardware in loop-software in loop
Model based design-Hardware in loop-software in loop
 
[Capella Day 2019] Model execution and system simulation in Capella
[Capella Day 2019] Model execution and system simulation in Capella[Capella Day 2019] Model execution and system simulation in Capella
[Capella Day 2019] Model execution and system simulation in Capella
 
Semantic Technologies for Vehicle Data - Defense
Semantic Technologies for Vehicle Data - Defense Semantic Technologies for Vehicle Data - Defense
Semantic Technologies for Vehicle Data - Defense
 
Safety and Security Aspects of Automotive High Performance Controllers
Safety and Security Aspects of Automotive High Performance ControllersSafety and Security Aspects of Automotive High Performance Controllers
Safety and Security Aspects of Automotive High Performance Controllers
 
Autosar Basics hand book_v1
Autosar Basics  hand book_v1Autosar Basics  hand book_v1
Autosar Basics hand book_v1
 
Rhapsody Software
Rhapsody SoftwareRhapsody Software
Rhapsody Software
 
Rhapsody and mechatronics, multi-domain simulation
Rhapsody and mechatronics, multi-domain simulationRhapsody and mechatronics, multi-domain simulation
Rhapsody and mechatronics, multi-domain simulation
 
Simplifying MBSE Tasks with Capella and MapleMBSE
Simplifying MBSE Tasks with Capella and MapleMBSESimplifying MBSE Tasks with Capella and MapleMBSE
Simplifying MBSE Tasks with Capella and MapleMBSE
 
Automative basics v3
Automative basics v3Automative basics v3
Automative basics v3
 
Connecting Textual Requirements with Capella Models
Connecting Textual Requirements with Capella Models Connecting Textual Requirements with Capella Models
Connecting Textual Requirements with Capella Models
 

Similaire à [Capella Day 2019] Integrating Capella, SCADE and medini analyze, for MBSE, Embedded SW Development and Safety Analysis

Pragmatic Model Driven Development using openArchitectureWare
Pragmatic Model Driven Development using openArchitectureWarePragmatic Model Driven Development using openArchitectureWare
Pragmatic Model Driven Development using openArchitectureWareMichael Vorburger
 
IncQuery-Integrate22-20220607.pdf
IncQuery-Integrate22-20220607.pdfIncQuery-Integrate22-20220607.pdf
IncQuery-Integrate22-20220607.pdfIncQuery Labs
 
Sodius cassidian mdday2010
Sodius cassidian mdday2010Sodius cassidian mdday2010
Sodius cassidian mdday2010MD DAY
 
Project P erts2012
Project P erts2012Project P erts2012
Project P erts2012AdaCore
 
A Software Factory Integrating Rational & WebSphere Tools
A Software Factory Integrating Rational & WebSphere ToolsA Software Factory Integrating Rational & WebSphere Tools
A Software Factory Integrating Rational & WebSphere Toolsghodgkinson
 
SodiusCassidianmdday2010 101129081449-phpapp02
SodiusCassidianmdday2010 101129081449-phpapp02SodiusCassidianmdday2010 101129081449-phpapp02
SodiusCassidianmdday2010 101129081449-phpapp02SodiusWillert
 
Presentation Cable Project Cad Adc
Presentation Cable Project Cad AdcPresentation Cable Project Cad Adc
Presentation Cable Project Cad Adcglbarker
 
The Genesis of Holistic Systems Engineering: Completeness and Consistency Man...
The Genesis of Holistic Systems Engineering: Completeness and Consistency Man...The Genesis of Holistic Systems Engineering: Completeness and Consistency Man...
The Genesis of Holistic Systems Engineering: Completeness and Consistency Man...IncQuery Labs
 
Safety Architect – a Model-Based Safety Analysis Tool Benefiting from Sirius ...
Safety Architect – a Model-Based Safety Analysis Tool Benefiting from Sirius ...Safety Architect – a Model-Based Safety Analysis Tool Benefiting from Sirius ...
Safety Architect – a Model-Based Safety Analysis Tool Benefiting from Sirius ...Obeo
 
Using Model Driven Development to Easily Manage Variations in Software Define...
Using Model Driven Development to Easily Manage Variations in Software Define...Using Model Driven Development to Easily Manage Variations in Software Define...
Using Model Driven Development to Easily Manage Variations in Software Define...ADLINK Technology IoT
 
Innovations in Sencha Tooling and Framework
Innovations in Sencha Tooling and FrameworkInnovations in Sencha Tooling and Framework
Innovations in Sencha Tooling and FrameworkSandeep Adwankar
 
IncQuery_presentation_Incose_EMEA_WSEC.pptx
IncQuery_presentation_Incose_EMEA_WSEC.pptxIncQuery_presentation_Incose_EMEA_WSEC.pptx
IncQuery_presentation_Incose_EMEA_WSEC.pptxIncQuery Labs
 
Rhapsody Systems Software
Rhapsody Systems SoftwareRhapsody Systems Software
Rhapsody Systems SoftwareBill Duncan
 
IDEA StatiCa Seel Connections - seminar Genk/Kortrijk nov 2016
IDEA StatiCa Seel Connections - seminar Genk/Kortrijk nov 2016IDEA StatiCa Seel Connections - seminar Genk/Kortrijk nov 2016
IDEA StatiCa Seel Connections - seminar Genk/Kortrijk nov 2016Jo Gijbels
 
Tech Days 2015: Model Based Development with QGen
Tech Days 2015: Model Based Development with QGenTech Days 2015: Model Based Development with QGen
Tech Days 2015: Model Based Development with QGenAdaCore
 
Ecd302 unit 01(investigate ecad systems)
Ecd302 unit 01(investigate ecad systems)Ecd302 unit 01(investigate ecad systems)
Ecd302 unit 01(investigate ecad systems)Xi Qiu
 

Similaire à [Capella Day 2019] Integrating Capella, SCADE and medini analyze, for MBSE, Embedded SW Development and Safety Analysis (20)

Pragmatic Model Driven Development using openArchitectureWare
Pragmatic Model Driven Development using openArchitectureWarePragmatic Model Driven Development using openArchitectureWare
Pragmatic Model Driven Development using openArchitectureWare
 
Vsts intro
Vsts introVsts intro
Vsts intro
 
IncQuery-Integrate22-20220607.pdf
IncQuery-Integrate22-20220607.pdfIncQuery-Integrate22-20220607.pdf
IncQuery-Integrate22-20220607.pdf
 
Final Jspring2009 Mda Slimmer Ontwikkelen Van Java Ee Applicaties
Final Jspring2009 Mda Slimmer Ontwikkelen Van Java Ee ApplicatiesFinal Jspring2009 Mda Slimmer Ontwikkelen Van Java Ee Applicaties
Final Jspring2009 Mda Slimmer Ontwikkelen Van Java Ee Applicaties
 
Sodius cassidian mdday2010
Sodius cassidian mdday2010Sodius cassidian mdday2010
Sodius cassidian mdday2010
 
Project P erts2012
Project P erts2012Project P erts2012
Project P erts2012
 
Spectra Cx V3.2 Webcast 19 May 2010
Spectra Cx V3.2 Webcast 19 May 2010Spectra Cx V3.2 Webcast 19 May 2010
Spectra Cx V3.2 Webcast 19 May 2010
 
A Software Factory Integrating Rational & WebSphere Tools
A Software Factory Integrating Rational & WebSphere ToolsA Software Factory Integrating Rational & WebSphere Tools
A Software Factory Integrating Rational & WebSphere Tools
 
SodiusCassidianmdday2010 101129081449-phpapp02
SodiusCassidianmdday2010 101129081449-phpapp02SodiusCassidianmdday2010 101129081449-phpapp02
SodiusCassidianmdday2010 101129081449-phpapp02
 
Presentation Cable Project Cad Adc
Presentation Cable Project Cad AdcPresentation Cable Project Cad Adc
Presentation Cable Project Cad Adc
 
The Genesis of Holistic Systems Engineering: Completeness and Consistency Man...
The Genesis of Holistic Systems Engineering: Completeness and Consistency Man...The Genesis of Holistic Systems Engineering: Completeness and Consistency Man...
The Genesis of Holistic Systems Engineering: Completeness and Consistency Man...
 
Safety Architect – a Model-Based Safety Analysis Tool Benefiting from Sirius ...
Safety Architect – a Model-Based Safety Analysis Tool Benefiting from Sirius ...Safety Architect – a Model-Based Safety Analysis Tool Benefiting from Sirius ...
Safety Architect – a Model-Based Safety Analysis Tool Benefiting from Sirius ...
 
Using Model Driven Development to Easily Manage Variations in Software Define...
Using Model Driven Development to Easily Manage Variations in Software Define...Using Model Driven Development to Easily Manage Variations in Software Define...
Using Model Driven Development to Easily Manage Variations in Software Define...
 
Innovations in Sencha Tooling and Framework
Innovations in Sencha Tooling and FrameworkInnovations in Sencha Tooling and Framework
Innovations in Sencha Tooling and Framework
 
IncQuery_presentation_Incose_EMEA_WSEC.pptx
IncQuery_presentation_Incose_EMEA_WSEC.pptxIncQuery_presentation_Incose_EMEA_WSEC.pptx
IncQuery_presentation_Incose_EMEA_WSEC.pptx
 
Rhapsody Systems Software
Rhapsody Systems SoftwareRhapsody Systems Software
Rhapsody Systems Software
 
IDEA StatiCa Seel Connections - seminar Genk/Kortrijk nov 2016
IDEA StatiCa Seel Connections - seminar Genk/Kortrijk nov 2016IDEA StatiCa Seel Connections - seminar Genk/Kortrijk nov 2016
IDEA StatiCa Seel Connections - seminar Genk/Kortrijk nov 2016
 
Vimala_Gadegi
Vimala_GadegiVimala_Gadegi
Vimala_Gadegi
 
Tech Days 2015: Model Based Development with QGen
Tech Days 2015: Model Based Development with QGenTech Days 2015: Model Based Development with QGen
Tech Days 2015: Model Based Development with QGen
 
Ecd302 unit 01(investigate ecad systems)
Ecd302 unit 01(investigate ecad systems)Ecd302 unit 01(investigate ecad systems)
Ecd302 unit 01(investigate ecad systems)
 

Plus de Obeo

Digitally assisted design for safety analysis
Digitally assisted design for safety analysisDigitally assisted design for safety analysis
Digitally assisted design for safety analysisObeo
 
CapellaDays2022 | NavalGroup | Closing the gap between traditional engineerin...
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
 
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...
CapellaDays2022 | COMAC - PGM | How We Use Capella for Collaborative Design i...Obeo
 
CapellaDays2022 | CILAS - ArianeGroup | CILAS feedback about Capella use
CapellaDays2022 | CILAS - ArianeGroup | CILAS feedback about Capella useCapellaDays2022 | CILAS - ArianeGroup | CILAS feedback about Capella use
CapellaDays2022 | CILAS - ArianeGroup | CILAS feedback about Capella useObeo
 
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...
CapellaDays2022 | ThermoFisher - ESI TNO | A method for quantitative evaluati...Obeo
 
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 ...
CapellaDays2022 | Thales DMS | A global engineering process based on MBSE to ...Obeo
 
Gestion 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 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
 
From Model-based to Model and Simulation-based Systems Architectures
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
 
Sirius Web Advanced : Customize and Extend the Platform
Sirius Web Advanced : Customize and Extend the PlatformSirius Web Advanced : Customize and Extend the Platform
Sirius Web Advanced : Customize and Extend the PlatformObeo
 
Sirius Web 101 : Create a Modeler With No Code
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
 
Sirius Project, Now and In the Future
Sirius Project, Now and In the FutureSirius Project, Now and In the Future
Sirius Project, Now and In the FutureObeo
 
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...
Visualizing, Analyzing and Optimizing Automotive Architecture Models using Si...Obeo
 
Defining Viewpoints for Ontology-Based DSLs
Defining Viewpoints for Ontology-Based DSLsDefining Viewpoints for Ontology-Based DSLs
Defining Viewpoints for Ontology-Based DSLsObeo
 
Development of DSL for Context-Aware Mobile Applications
Development of DSL for Context-Aware Mobile ApplicationsDevelopment of DSL for Context-Aware Mobile Applications
Development of DSL for Context-Aware Mobile ApplicationsObeo
 
SimfiaNeo - Workbench for Safety Analysis powered by Sirius
SimfiaNeo - Workbench for Safety Analysis powered by SiriusSimfiaNeo - Workbench for Safety Analysis powered by Sirius
SimfiaNeo - Workbench for Safety Analysis powered by SiriusObeo
 
Capella annual meeting 2022
Capella annual meeting 2022Capella annual meeting 2022
Capella annual meeting 2022Obeo
 
Générez automatiquement vos diagrammes d'architecture | Webinaire Obeo SmartEA
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 SmartEAObeo
 
Capella (once again) in space, meeting nanosatellites
Capella (once again) in space, meeting nanosatellitesCapella (once again) in space, meeting nanosatellites
Capella (once again) in space, meeting nanosatellitesObeo
 
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...
Identifier et suivre les applications à risque pour des processus métier | We...Obeo
 
Scripting with Python to interact with Capella model
Scripting with Python to interact with Capella modelScripting with Python to interact with Capella model
Scripting with Python to interact with Capella modelObeo
 

Plus de Obeo (20)

Digitally assisted design for safety analysis
Digitally assisted design for safety analysisDigitally assisted design for safety analysis
Digitally assisted design for safety analysis
 
CapellaDays2022 | NavalGroup | Closing the gap between traditional engineerin...
CapellaDays2022 | NavalGroup | Closing the gap between traditional engineerin...CapellaDays2022 | NavalGroup | Closing the gap between traditional engineerin...
CapellaDays2022 | NavalGroup | Closing the gap between traditional engineerin...
 
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...
CapellaDays2022 | COMAC - PGM | How We Use Capella for Collaborative Design i...
 
CapellaDays2022 | CILAS - ArianeGroup | CILAS feedback about Capella use
CapellaDays2022 | CILAS - ArianeGroup | CILAS feedback about Capella useCapellaDays2022 | CILAS - ArianeGroup | CILAS feedback about Capella use
CapellaDays2022 | CILAS - ArianeGroup | CILAS feedback about Capella use
 
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...
CapellaDays2022 | ThermoFisher - ESI TNO | A method for quantitative evaluati...
 
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 ...
CapellaDays2022 | Thales DMS | A global engineering process based on MBSE to ...
 
Gestion 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 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
 
From Model-based to Model and Simulation-based Systems Architectures
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
 
Sirius Web Advanced : Customize and Extend the Platform
Sirius Web Advanced : Customize and Extend the PlatformSirius Web Advanced : Customize and Extend the Platform
Sirius Web Advanced : Customize and Extend the Platform
 
Sirius Web 101 : Create a Modeler With No Code
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
 
Sirius Project, Now and In the Future
Sirius Project, Now and In the FutureSirius Project, Now and In the Future
Sirius Project, Now and In the Future
 
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...
Visualizing, Analyzing and Optimizing Automotive Architecture Models using Si...
 
Defining Viewpoints for Ontology-Based DSLs
Defining Viewpoints for Ontology-Based DSLsDefining Viewpoints for Ontology-Based DSLs
Defining Viewpoints for Ontology-Based DSLs
 
Development of DSL for Context-Aware Mobile Applications
Development of DSL for Context-Aware Mobile ApplicationsDevelopment of DSL for Context-Aware Mobile Applications
Development of DSL for Context-Aware Mobile Applications
 
SimfiaNeo - Workbench for Safety Analysis powered by Sirius
SimfiaNeo - Workbench for Safety Analysis powered by SiriusSimfiaNeo - Workbench for Safety Analysis powered by Sirius
SimfiaNeo - Workbench for Safety Analysis powered by Sirius
 
Capella annual meeting 2022
Capella annual meeting 2022Capella annual meeting 2022
Capella annual meeting 2022
 
Générez automatiquement vos diagrammes d'architecture | Webinaire Obeo SmartEA
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
 
Capella (once again) in space, meeting nanosatellites
Capella (once again) in space, meeting nanosatellitesCapella (once again) in space, meeting nanosatellites
Capella (once again) in space, meeting nanosatellites
 
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...
Identifier et suivre les applications à risque pour des processus métier | We...
 
Scripting with Python to interact with Capella model
Scripting with Python to interact with Capella modelScripting with Python to interact with Capella model
Scripting with Python to interact with Capella model
 

Dernier

2024 February Patch Tuesday
2024 February Patch Tuesday2024 February Patch Tuesday
2024 February Patch TuesdayIvanti
 
Dissecting Real-World Database Performance Dilemmas
Dissecting Real-World Database Performance DilemmasDissecting Real-World Database Performance Dilemmas
Dissecting Real-World Database Performance DilemmasScyllaDB
 
Put a flag on it. A busy developer's guide to feature toggles.
Put a flag on it. A busy developer's guide to feature toggles.Put a flag on it. A busy developer's guide to feature toggles.
Put a flag on it. A busy developer's guide to feature toggles.Mateusz Kwasniewski
 
zigbee motion sensor user manual NAS-PD07B2.pdf
zigbee motion sensor user manual NAS-PD07B2.pdfzigbee motion sensor user manual NAS-PD07B2.pdf
zigbee motion sensor user manual NAS-PD07B2.pdfDomotica daVinci
 
Bluetooth Low Energy(BLE) and beacons working
Bluetooth Low Energy(BLE) and beacons workingBluetooth Low Energy(BLE) and beacons working
Bluetooth Low Energy(BLE) and beacons workingshrey Ansh
 
Quinto Z-Wave Heltun_HE-RS01_User_Manual_B9AH.pdf
Quinto Z-Wave Heltun_HE-RS01_User_Manual_B9AH.pdfQuinto Z-Wave Heltun_HE-RS01_User_Manual_B9AH.pdf
Quinto Z-Wave Heltun_HE-RS01_User_Manual_B9AH.pdfDomotica daVinci
 
Breaking Barriers & Leveraging the Latest Developments in AI Technology
Breaking Barriers & Leveraging the Latest Developments in AI TechnologyBreaking Barriers & Leveraging the Latest Developments in AI Technology
Breaking Barriers & Leveraging the Latest Developments in AI TechnologySafe Software
 
Manual Eurotronic Thermostatic Valve Comry Z-Wave
Manual Eurotronic Thermostatic Valve Comry Z-WaveManual Eurotronic Thermostatic Valve Comry Z-Wave
Manual Eurotronic Thermostatic Valve Comry Z-WaveDomotica daVinci
 
Traffic Signboard Classification with Voice alert to the driver.pptx
Traffic Signboard Classification with Voice alert to the driver.pptxTraffic Signboard Classification with Voice alert to the driver.pptx
Traffic Signboard Classification with Voice alert to the driver.pptxharimaxwell0712
 
Microsoft Azure News - Feb 2024
Microsoft Azure News - Feb 2024Microsoft Azure News - Feb 2024
Microsoft Azure News - Feb 2024Daniel Toomey
 
Heltun_HE-RS01_User_Manual_B9AH.pdf
Heltun_HE-RS01_User_Manual_B9AH.pdfHeltun_HE-RS01_User_Manual_B9AH.pdf
Heltun_HE-RS01_User_Manual_B9AH.pdfMarielaL5
 
Azure Migration Guide for IT Professionals
Azure Migration Guide for IT ProfessionalsAzure Migration Guide for IT Professionals
Azure Migration Guide for IT ProfessionalsChristine Shepherd
 
Semiconductor Review Magazine Feature.pdf
Semiconductor Review Magazine Feature.pdfSemiconductor Review Magazine Feature.pdf
Semiconductor Review Magazine Feature.pdfkeyaramicrochipusa
 
Enhancing SaaS Performance: A Hands-on Workshop for Partners
Enhancing SaaS Performance: A Hands-on Workshop for PartnersEnhancing SaaS Performance: A Hands-on Workshop for Partners
Enhancing SaaS Performance: A Hands-on Workshop for PartnersThousandEyes
 
Tete thermostatique Zigbee MOES BRT-100 V2.pdf
Tete thermostatique Zigbee MOES BRT-100 V2.pdfTete thermostatique Zigbee MOES BRT-100 V2.pdf
Tete thermostatique Zigbee MOES BRT-100 V2.pdfDomotica daVinci
 
Introduction to Serverless with AWS Lambda in C#.pptx
Introduction to Serverless with AWS Lambda in C#.pptxIntroduction to Serverless with AWS Lambda in C#.pptx
Introduction to Serverless with AWS Lambda in C#.pptxBrandon Minnick, MBA
 
Curtain Module Manual Zigbee Neo CS01-1C.pdf
Curtain Module Manual Zigbee Neo CS01-1C.pdfCurtain Module Manual Zigbee Neo CS01-1C.pdf
Curtain Module Manual Zigbee Neo CS01-1C.pdfDomotica daVinci
 
Importance of magazines in education ppt
Importance of magazines in education pptImportance of magazines in education ppt
Importance of magazines in education pptsafnarafeek2002
 

Dernier (20)

2024 February Patch Tuesday
2024 February Patch Tuesday2024 February Patch Tuesday
2024 February Patch Tuesday
 
Dissecting Real-World Database Performance Dilemmas
Dissecting Real-World Database Performance DilemmasDissecting Real-World Database Performance Dilemmas
Dissecting Real-World Database Performance Dilemmas
 
5 Tech Trend to Notice in ESG Landscape- 47Billion
5 Tech Trend to Notice in ESG Landscape- 47Billion5 Tech Trend to Notice in ESG Landscape- 47Billion
5 Tech Trend to Notice in ESG Landscape- 47Billion
 
Put a flag on it. A busy developer's guide to feature toggles.
Put a flag on it. A busy developer's guide to feature toggles.Put a flag on it. A busy developer's guide to feature toggles.
Put a flag on it. A busy developer's guide to feature toggles.
 
zigbee motion sensor user manual NAS-PD07B2.pdf
zigbee motion sensor user manual NAS-PD07B2.pdfzigbee motion sensor user manual NAS-PD07B2.pdf
zigbee motion sensor user manual NAS-PD07B2.pdf
 
Bluetooth Low Energy(BLE) and beacons working
Bluetooth Low Energy(BLE) and beacons workingBluetooth Low Energy(BLE) and beacons working
Bluetooth Low Energy(BLE) and beacons working
 
Quinto Z-Wave Heltun_HE-RS01_User_Manual_B9AH.pdf
Quinto Z-Wave Heltun_HE-RS01_User_Manual_B9AH.pdfQuinto Z-Wave Heltun_HE-RS01_User_Manual_B9AH.pdf
Quinto Z-Wave Heltun_HE-RS01_User_Manual_B9AH.pdf
 
Breaking Barriers & Leveraging the Latest Developments in AI Technology
Breaking Barriers & Leveraging the Latest Developments in AI TechnologyBreaking Barriers & Leveraging the Latest Developments in AI Technology
Breaking Barriers & Leveraging the Latest Developments in AI Technology
 
Manual Eurotronic Thermostatic Valve Comry Z-Wave
Manual Eurotronic Thermostatic Valve Comry Z-WaveManual Eurotronic Thermostatic Valve Comry Z-Wave
Manual Eurotronic Thermostatic Valve Comry Z-Wave
 
Traffic Signboard Classification with Voice alert to the driver.pptx
Traffic Signboard Classification with Voice alert to the driver.pptxTraffic Signboard Classification with Voice alert to the driver.pptx
Traffic Signboard Classification with Voice alert to the driver.pptx
 
Microsoft Azure News - Feb 2024
Microsoft Azure News - Feb 2024Microsoft Azure News - Feb 2024
Microsoft Azure News - Feb 2024
 
Heltun_HE-RS01_User_Manual_B9AH.pdf
Heltun_HE-RS01_User_Manual_B9AH.pdfHeltun_HE-RS01_User_Manual_B9AH.pdf
Heltun_HE-RS01_User_Manual_B9AH.pdf
 
Azure Migration Guide for IT Professionals
Azure Migration Guide for IT ProfessionalsAzure Migration Guide for IT Professionals
Azure Migration Guide for IT Professionals
 
Semiconductor Review Magazine Feature.pdf
Semiconductor Review Magazine Feature.pdfSemiconductor Review Magazine Feature.pdf
Semiconductor Review Magazine Feature.pdf
 
Enhancing SaaS Performance: A Hands-on Workshop for Partners
Enhancing SaaS Performance: A Hands-on Workshop for PartnersEnhancing SaaS Performance: A Hands-on Workshop for Partners
Enhancing SaaS Performance: A Hands-on Workshop for Partners
 
Tete thermostatique Zigbee MOES BRT-100 V2.pdf
Tete thermostatique Zigbee MOES BRT-100 V2.pdfTete thermostatique Zigbee MOES BRT-100 V2.pdf
Tete thermostatique Zigbee MOES BRT-100 V2.pdf
 
Introduction to Serverless with AWS Lambda in C#.pptx
Introduction to Serverless with AWS Lambda in C#.pptxIntroduction to Serverless with AWS Lambda in C#.pptx
Introduction to Serverless with AWS Lambda in C#.pptx
 
Curtain Module Manual Zigbee Neo CS01-1C.pdf
Curtain Module Manual Zigbee Neo CS01-1C.pdfCurtain Module Manual Zigbee Neo CS01-1C.pdf
Curtain Module Manual Zigbee Neo CS01-1C.pdf
 
COE AI Lab Universities
COE AI Lab UniversitiesCOE AI Lab Universities
COE AI Lab Universities
 
Importance of magazines in education ppt
Importance of magazines in education pptImportance of magazines in education ppt
Importance of magazines in education ppt
 

[Capella Day 2019] Integrating Capella, SCADE and medini analyze, for MBSE, Embedded SW Development and Safety Analysis

  • 1. Integrating Capella, SCADE and medini analyze, for MBSE, Embedded SW Development and Safety Analysis Thierry Le Sergent SCADE Architect Product Manager
  • 2. Agenda • Introduction • Models Synchronization • Domain Specific Languages • Capella – SCADE & medini toolchain
  • 3. Model-Based Systems Engineering (MBSE) • Objective o Design the right Product/System from user needs • Means o Successive levels of abstraction to refine system requirements from user needs to real product • Difficulties o Management of complexity and ambiguity at each level o Management of consistency between the levels of concerns o Multiple languages for engineering disciplines & domains • Models o Help managing the complexity and ambiguity o Not a single tool for everything !  Managing the refinement process is key MBSE Workflows, Methods, Tools Models Synchronization Domain Specific Language
  • 5. Models consistency between models : 2 ways • “Traceability” or “allocation” o Verification of “completion” can be automated (checker) o Manual operation: creation of objects at both levels and manual links • Models “Synchronization” o = Model transformation + model diff-merge (allows incremental edition on both sides) o Partial model transformation : each side has its own added value ‐ Only a subset of the models represent the same information. o Automated transformation  Consistent by construction
  • 6. Models consistency between models SW detailed design & code generation  SCADE Suite SW components interface Sensors, HW, actuators abstractionsFunctions System Safety analysis  medini analyze SW behavior System simulation  TwinBuilder Systems design from User requirements  Capella MBSE guided methodology Malfunctions, Failure modes, … Sensors, HW, actuators behavior, Environment behavior System & Software detailed architecture  SCADE Architect DSL, AADL, FACE, AUTOSAR
  • 7. SCADE capabilities for MBSE workflows AUTOSAR subset AADL Modeler AADL analysis tool AUTOSAR authoring tools for integration Customizable generated code DSL SysML Qualified C and Ada code FACE wrapper Import/Export model elements, ICDs, … FACE Modeler SCADE SuiteSCADE Architect FACE conformance and integration Qualified code generator AUTOSAR wrapper MBSE tools Safety analysis Models enrichment & synchronization
  • 8. Model-based Functional Safety Analysis and Design with medini System/SW Architecture Functional Safety Analysis and Design Safety requirements discovered and considered early in the design process Safety process seamlessly integrated with system development Safety analysis results always consistent Iterative synchronization System Architecture Model Extended with analysis related properties Hazard Analysis & Risk Assessment FMEA FTA HW Architectural Metrics Safety Requirements HAZOP SCADE Architect medini Analyze Enterprise
  • 9. Model-based Functional Safety Analysis and Design with medini Synchronization of blocks diagram SCADE Architect medini Analyze Enterprise
  • 10. Model-based Embedded Safety Critical SW with SCADE Suite AdaC SW Coding Auto Auto SCADE Suite Advanced Modeler SW Design Auto SW Architecture
  • 11. Domain Specific Language SCADE Architect Configurations
  • 12. SysML vs. DSL : tool perspectives Default IDE Customized IDE
  • 13. SysML vs. DSL : tool perspectives Default IDE Customized IDE Dedicated insert menu Depending on object context SCADE Architect Configurator
  • 14. SCADE Architect Configurator Workflow SCADE Architect Configurator SCADE Architect Modeler Configuration Plug-in Generate Deploy Specialist End-User Define customized object kinds, derived from SCADE Architect objects Domain specific modeler SCADE Architect Configurator
  • 15. Capella – SCADE & medini Toolchain
  • 16. SCADE Architect Configuration for Capella Definition of - Object kinds Matching Capella - Graphical styles & icons SCADE Architect for Capella
  • 17. Models Synchronization • Models synchronization  Import structural elements (packages, components, connections, allocations, types) and graphical diagrams • Graphical diagrams o Capella can represent components from other context, and their connections o SCADE Architect can represent these thanks to “references”, but not the “derived” connection o Medini analyze and SCADE Suite can represent only components of the block diagram container  Diagrams are fully imported in SCADE Architect / medini analyze / SCADE Suite when drawn with these constraints, otherwise partially imported. Capability and limitation SCADE Architect
  • 18. Demonstration model • Inspection drone o Based on AIDA models developed by IRT Saint-Exupéry o IRT forge : https://sahara.pf.irt-saintexupery.com SCADE Suite SCADE Architect
  • 19. Capella (Physical component of Drone: electrical power links)
  • 20. SCADE Architect (Physical component of Drone: electrical power links)
  • 21. Medini analyze (Physical component of Drone: electrical power links)
  • 22. Function ([SF2.5] Control thrust) Capella to SCADE Architect SCADE Architect to SCADE Suite
  • 24. SCADE Architect – Capella models synchronization • Capella model scopes o Current importer imports the whole Capella model (Logical and Physical levels) o Capella internal feature: definition of consistent scopes o  Import to SCADE Architect would allow simple selection of a defined scope • Functional chains o Capella allows for the definition of “functional chains” o SCADE Architect allows for a similar feature: “data propagation” o  Synchronization should translate Capella functional chains to SCADE Architect • Navigation between projects o As done eg between SCADE Architect & SCADE Suite • Productization Future evolutions TBD with interested customers
  • 25. Conclusion • Best in class industrially deployed tools o Capella ‐ Established method for Systems Engineering; well guided by IDE ‐ Very powerful graphical block diagrams o Medini for system safety analysis o SCADE for embedded SW architecture, design, code generation and V&V • Synchronizer tool allows for consistent co-evolutions of models o Share what’s make sense & value from each model o Synchronize = model transformation + diff-merge for incremental use o Guidelines to follow to synchronize nice diagrams between tools
  • 27. Model-Based Systems Engineering SCADE Architect Model-Based System Safety Analysis medini Analyze ANSYS Digital Safety & System Simulation Capabilities 3D Physics Simulation SPEOS System Simulation & Digital Twins Twin BuilderVRXPERIENCE ROM System Architecture Model-Based Software Engineering System/Software Architecture SCADE Suite SCADE Display

Notes de l'éditeur

  1. SCADE Architect Key Benefits: Consistency of the SW Architecture Key Features: Data Propagation & Allocations, Automatic ICD generation SCADE Suite Key Benefits: Correct SW components Design & Implementation Key Features: Qualified Code Generation, Qualified Verification SCADE Integrated Workflow Key Benefits Efficient design of complete smart systems with dedicated languages per domains Teams building and learning curve reduced Lower tool cost: shared module licenses Key Features Bi-directional models synchronization Shared features: ALM gateway, Document generation Model-based API Generated C code follows C99 standard, Generated A code follows Ada83 / SPARK 95 standards