SlideShare a Scribd company logo
1 of 21
Download to read offline
The Genesis of Holistic
Systems Design
Completeness and Consistency Management of the Digital Thread
Enrique Krajmalnik, Zuken
Istvan Rath, IncQuery Labs
2021 MODELS Industry Days
Copyright © 2021 by Enrique Krajmalnik and Istvan Rath.
The MBSE Value Chain
• The promised benefits of MBSE
• Improved communication
• Fewer defects / higher quality
• To improve not just quality of SE, but the overall quality and value of
engineering across the organization
• Increased efficiency
• Better collaboration
• Systems architecture as the “single source of truth”
• Silos remain disconnected even though the goal of MBSE is to
connect silos
• Closed product ecosystems
• Lack of good APIs and interchange formats
3
2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
The impact of disconnected silos
• SE remains an isolated discipline
• One of many silos next to mechanical, electrical, ALM/PLM, …
• As disconnected silos, what is the interface between architecture and
disciplines?
• It is often a document produced from an MBSE tool
• Consequence: data reentry and/or copy-paste
• No guarantee of completeness, correctness and
consistency
• A lot of time and money is wasted!
4
2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
Example: transition to detailed design
5
Transition to Detailed Design
V-Model
2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
The silo problem of “transition to detailed design”
Video Drone Model Cable/Harness
Systems Engineering Detailed Design
6
SysML extension for ECAD (Electrical Computer-aided Design)
(modeling-languages.com)
2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
The 3C Challenge:
Building High Quality Model of Models
• Completeness
• Make sure all my components and functions exist both in SE and ECAD
• Correctness
• If component A has is of type “PCB” (in SE)
è it should be mapped to a PCB device (in ECAD)
• Consistency
• If a connection transfers an item between components A and B (in SE)
è there is a wire carrying the corresponding signal between devices A and B
(in ECAD)
7
2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
What causes 3C’s?
• Input error
• Forgetting/missing something
• Copy/paste error
• Incorrect mappings
• Roundtripping gone bad
• Change
8
2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
Our take
9
Discipline-specific, automated
bridge tools that create the
digital thread
Overlaid layer of digital thread
analytics that can expose parts
of the digital thread depending
on the need/use-case
Vendor-neutral federated
toolchain
2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
• Provide the right data at the right time
• Automatically transfer engineering data
• Improve efficiency and reduce errors
• Create digital traceability
• Maintain a single source of truth
• Ensure that the architecture remains relevant
The E3.GENESYS Connector
10
Video Drone Model Cable/Harness Topology Editor
Systems Engineering Detailed Design
Transfer Logical
Architecture
Diagrams
Requirements
Parameters
Verification Requirements
Expose the Model
Design Envelope
2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
Building the Electrical Viewpoint
11
• Components, signals, and ports
are analyzed
• Signals are of type electrical
• Ports have pin:signal assignments,
part number, or are of type
electrical
• Components are of type ECU, PCB
or are part of an electrical signal
2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
The E3.GENESYS Interface
12
1
1 Navigate the model repository
2 Connect the model, map elements, and load into E3
2
3
3 View model details to provide context, criteria, constraints,
etc...
4
4 Provide feedback on observed parameters to verify back to
the architecture
2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
Video demonstration of the GENESYS.E3 Connector
13
2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
Our take
14
Discipline-specific, automated
bridge tools that create the
digital thread
Overlaid layer of digital thread
analytics that can expose parts
of the digital thread depending
on the need/use-case
Vendor-neutral federated
toolchain
2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
• Single source of truth is NOT a single model
è it is the ”model of models”
• Digital thread analytics can
• look at links AND look into models
• Semantically analyze both
• Holistic à adaptable to all tools in the
toolchain
NETWORK.
LEARN.
INNOVATE.
© Zuken 2016
©2018 Zuken
© Zuken 2016
©2020 Zuken
15
Zuken proprietary information. Forwarding beyond the intended recipient(s) is not permitted.
Zuken proprietary information. Forwarding beyond the intended recipient(s) is not permitted.
• Efficiently extracts your engineering data from proprietary silos
IncQuery Suite
Digital Thread Analytics
• Helps you create detailed validation reports and analysis
dashboards that integrate seamlessly with modern, web-based tools
• Creates a unified, searchable, and analyzable representation of
your complete digital thread: the knowledge graph
15
2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
The IncQuery Suite Connects to:
16
2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
• Integrated with
• the popular Jupyter ecosystem through
open-source Python libraries and the
OpenAPI interface
• documentation management systems
such as the OpenMBEE View Editor or
Atlassian Confluence
• Easy-to-use analyst workbench to manage automated validation and
analysis reports
• Supports standards such as SysML, UPDM, UAF
• as well as open-source libraries
(SAIC Digital Engineering Validation Tool)
• Custom rules can be defined by queries (e.g. SPARQL, ElasticSearch)
• E.g. GENESYS.E3 naming consistency rule ààà
17
2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
3C Analysis for the GENESYS.E3 Connector
• Step 1: Initial mapping performed with GENESYS.E3 Connector
• Result:
• Partially complete
(Subsystem mapping is disabled
by default)
18
“If a connection transfers an item between components A and B (in SE)
è there is a wire carrying the corresponding signal between
devices A and B (in ECAD)”
• Inconsistent signal allocations
2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
Step 2: Adding missing wiring and signal allocation
19
2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
3C Analysis
• Step 3: Re-run the validation
• Result: One pair of allocation problems is resolved
20
2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
§ Historical analytics as the “progress bar” of a complex engineering process
– Model Integrator / Reviewer can follow the “Transition to Detailed Design” process on a version
control dashboard
– Track progress via KPIs as the mapping completeness is improved
– Identify and fix correctness issues quickly
Progress tracking
21
2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
Takeaways
• Disconnected / loosely connected silos are a significant problem today -
breaking the MBSE Value Chain
• We proposed a conceptual framework to fix this problem
• Purpose-built light-weight bridges
• Digital Thread Analytics to tackle the 3C Challenge
• Applicable to other tools / scenarios as well!
• Check out the next talk by Daniel Siegl on MBSE and DevOps, featuring Git,
LemonTree, and the IncQuery Suite!
• https://www.zuken.com/us/product/model-based-wire-harness-design/
• https://incquery.io
22
2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath

More Related Content

What's hot

One Lifecycle One Tool webinar
One Lifecycle One Tool webinarOne Lifecycle One Tool webinar
One Lifecycle One Tool webinarElizabeth Steiner
 
DevOpsCon 2020: The Past, Present, and Future of Cloud Native API Gateways
DevOpsCon 2020: The Past, Present, and Future of Cloud Native API GatewaysDevOpsCon 2020: The Past, Present, and Future of Cloud Native API Gateways
DevOpsCon 2020: The Past, Present, and Future of Cloud Native API GatewaysDaniel Bryant
 
CV Ranan Fraer Apr 2016
CV Ranan Fraer Apr 2016CV Ranan Fraer Apr 2016
CV Ranan Fraer Apr 2016Ranan Fraer
 
Migrating from Java EE to cloud-native Reactive systems
Migrating from Java EE to cloud-native Reactive systemsMigrating from Java EE to cloud-native Reactive systems
Migrating from Java EE to cloud-native Reactive systemsMarkus Eisele
 
TES Electronic Solutions System on Silicon and Design Capabilities
TES Electronic Solutions System on Silicon and Design CapabilitiesTES Electronic Solutions System on Silicon and Design Capabilities
TES Electronic Solutions System on Silicon and Design CapabilitiesGuenter Zeisel
 
Orchestrating the lifecycle of network services
Orchestrating the lifecycle of network servicesOrchestrating the lifecycle of network services
Orchestrating the lifecycle of network servicesJames Crawshaw
 
AllTheTalks 2020: "The Past, Present, and Future of Cloud Native API Gateways"
AllTheTalks 2020: "The Past, Present, and Future of Cloud Native API Gateways"AllTheTalks 2020: "The Past, Present, and Future of Cloud Native API Gateways"
AllTheTalks 2020: "The Past, Present, and Future of Cloud Native API Gateways"Daniel Bryant
 
Azure Digital Twins 2.0
Azure Digital Twins 2.0Azure Digital Twins 2.0
Azure Digital Twins 2.0Marco Parenzan
 
Roofline Model for FPGA: A tool for Performance Analysis and Application Opti...
Roofline Model for FPGA: A tool for Performance Analysis and Application Opti...Roofline Model for FPGA: A tool for Performance Analysis and Application Opti...
Roofline Model for FPGA: A tool for Performance Analysis and Application Opti...NECST Lab @ Politecnico di Milano
 
Discrete-Event Modeling and Simulation for Development of Embedded and Real-T...
Discrete-Event Modeling and Simulation for Development of Embedded and Real-T...Discrete-Event Modeling and Simulation for Development of Embedded and Real-T...
Discrete-Event Modeling and Simulation for Development of Embedded and Real-T...Facultad de Informática UCM
 
Distributed Clouds and Software Defined Networking
Distributed Clouds and Software Defined NetworkingDistributed Clouds and Software Defined Networking
Distributed Clouds and Software Defined NetworkingUS-Ignite
 
Connect2 Development Plan phase 1 v.0.0.4a-2
Connect2 Development Plan phase 1 v.0.0.4a-2Connect2 Development Plan phase 1 v.0.0.4a-2
Connect2 Development Plan phase 1 v.0.0.4a-2Ganesha DM
 

What's hot (17)

One Lifecycle One Tool webinar
One Lifecycle One Tool webinarOne Lifecycle One Tool webinar
One Lifecycle One Tool webinar
 
DevOpsCon 2020: The Past, Present, and Future of Cloud Native API Gateways
DevOpsCon 2020: The Past, Present, and Future of Cloud Native API GatewaysDevOpsCon 2020: The Past, Present, and Future of Cloud Native API Gateways
DevOpsCon 2020: The Past, Present, and Future of Cloud Native API Gateways
 
CV Ranan Fraer Apr 2016
CV Ranan Fraer Apr 2016CV Ranan Fraer Apr 2016
CV Ranan Fraer Apr 2016
 
Accelerating reinforcement-learning-in-engineering
Accelerating reinforcement-learning-in-engineeringAccelerating reinforcement-learning-in-engineering
Accelerating reinforcement-learning-in-engineering
 
Power Meter Presentation
Power Meter PresentationPower Meter Presentation
Power Meter Presentation
 
Migrating from Java EE to cloud-native Reactive systems
Migrating from Java EE to cloud-native Reactive systemsMigrating from Java EE to cloud-native Reactive systems
Migrating from Java EE to cloud-native Reactive systems
 
Vishesh_shrivastava_resume
Vishesh_shrivastava_resumeVishesh_shrivastava_resume
Vishesh_shrivastava_resume
 
TES Electronic Solutions System on Silicon and Design Capabilities
TES Electronic Solutions System on Silicon and Design CapabilitiesTES Electronic Solutions System on Silicon and Design Capabilities
TES Electronic Solutions System on Silicon and Design Capabilities
 
Orchestrating the lifecycle of network services
Orchestrating the lifecycle of network servicesOrchestrating the lifecycle of network services
Orchestrating the lifecycle of network services
 
AllTheTalks 2020: "The Past, Present, and Future of Cloud Native API Gateways"
AllTheTalks 2020: "The Past, Present, and Future of Cloud Native API Gateways"AllTheTalks 2020: "The Past, Present, and Future of Cloud Native API Gateways"
AllTheTalks 2020: "The Past, Present, and Future of Cloud Native API Gateways"
 
Icsoc16a.ppt
Icsoc16a.pptIcsoc16a.ppt
Icsoc16a.ppt
 
Azure Digital Twins 2.0
Azure Digital Twins 2.0Azure Digital Twins 2.0
Azure Digital Twins 2.0
 
Roofline Model for FPGA: A tool for Performance Analysis and Application Opti...
Roofline Model for FPGA: A tool for Performance Analysis and Application Opti...Roofline Model for FPGA: A tool for Performance Analysis and Application Opti...
Roofline Model for FPGA: A tool for Performance Analysis and Application Opti...
 
EntryLevel Resume
EntryLevel ResumeEntryLevel Resume
EntryLevel Resume
 
Discrete-Event Modeling and Simulation for Development of Embedded and Real-T...
Discrete-Event Modeling and Simulation for Development of Embedded and Real-T...Discrete-Event Modeling and Simulation for Development of Embedded and Real-T...
Discrete-Event Modeling and Simulation for Development of Embedded and Real-T...
 
Distributed Clouds and Software Defined Networking
Distributed Clouds and Software Defined NetworkingDistributed Clouds and Software Defined Networking
Distributed Clouds and Software Defined Networking
 
Connect2 Development Plan phase 1 v.0.0.4a-2
Connect2 Development Plan phase 1 v.0.0.4a-2Connect2 Development Plan phase 1 v.0.0.4a-2
Connect2 Development Plan phase 1 v.0.0.4a-2
 

Similar to The Genesis of Holistic Systems Engineering: Completeness and Consistency Management of the Digital Thread

The Genesis of Holistic Systems Design
The Genesis of Holistic Systems DesignThe Genesis of Holistic Systems Design
The Genesis of Holistic Systems DesignIncQuery Labs
 
IncQuery-Integrate22-20220607.pdf
IncQuery-Integrate22-20220607.pdfIncQuery-Integrate22-20220607.pdf
IncQuery-Integrate22-20220607.pdfIncQuery Labs
 
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 ...
Capella Days 2021 | An example of model-centric engineering environment with ...Obeo
 
IncQuery Group's presentation for the INCOSE Polish Chapter 20220310
IncQuery Group's presentation for the INCOSE Polish Chapter 20220310IncQuery Group's presentation for the INCOSE Polish Chapter 20220310
IncQuery Group's presentation for the INCOSE Polish Chapter 20220310IncQuery Labs
 
Engineering 4.0: Digitization through task automation and reuse
Engineering 4.0:  Digitization through task automation and reuseEngineering 4.0:  Digitization through task automation and reuse
Engineering 4.0: Digitization through task automation and reuseCARLOS III UNIVERSITY OF MADRID
 
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
 
IncQuery Suite demo for INCOSE 2022IW
IncQuery Suite demo for INCOSE 2022IWIncQuery Suite demo for INCOSE 2022IW
IncQuery Suite demo for INCOSE 2022IWIncQuery Labs
 
elecworks for PTC Creo - Mechatronics software - 3D CAD software
elecworks for PTC Creo - Mechatronics software - 3D CAD softwareelecworks for PTC Creo - Mechatronics software - 3D CAD software
elecworks for PTC Creo - Mechatronics software - 3D CAD softwareGuillem Fiter
 
[Capella Day 2019] Integrating Capella, SCADE and medini analyze, for MBSE, E...
[Capella Day 2019] Integrating Capella, SCADE and medini analyze, for MBSE, E...[Capella Day 2019] Integrating Capella, SCADE and medini analyze, for MBSE, E...
[Capella Day 2019] Integrating Capella, SCADE and medini analyze, for MBSE, E...Obeo
 
Pattern driven Enterprise Architecture
Pattern driven Enterprise ArchitecturePattern driven Enterprise Architecture
Pattern driven Enterprise ArchitectureWSO2
 
Mark Minnucci: Deployment of MBSE and the Emergence of a Systems-Thinking Cul...
Mark Minnucci: Deployment of MBSE and the Emergence of a Systems-Thinking Cul...Mark Minnucci: Deployment of MBSE and the Emergence of a Systems-Thinking Cul...
Mark Minnucci: Deployment of MBSE and the Emergence of a Systems-Thinking Cul...EnergyTech2015
 
High speed-pcb-board-design-and-analysiscadence-130218085524-phpapp01
High speed-pcb-board-design-and-analysiscadence-130218085524-phpapp01High speed-pcb-board-design-and-analysiscadence-130218085524-phpapp01
High speed-pcb-board-design-and-analysiscadence-130218085524-phpapp01khalid noman husainy
 
IncQuery_presentation_Incose_EMEA_WSEC.pptx
IncQuery_presentation_Incose_EMEA_WSEC.pptxIncQuery_presentation_Incose_EMEA_WSEC.pptx
IncQuery_presentation_Incose_EMEA_WSEC.pptxIncQuery Labs
 
NAVIWALA_Resume_161118
NAVIWALA_Resume_161118NAVIWALA_Resume_161118
NAVIWALA_Resume_161118Iqbal Naviwala
 
Sailing the V: Engineering digitalization through task automation and reuse i...
Sailing the V: Engineering digitalization through task automation and reuse i...Sailing the V: Engineering digitalization through task automation and reuse i...
Sailing the V: Engineering digitalization through task automation and reuse i...CARLOS III UNIVERSITY OF MADRID
 
Elecworks - electrical and automation CAD software - ECAD
Elecworks - electrical and automation CAD software - ECADElecworks - electrical and automation CAD software - ECAD
Elecworks - electrical and automation CAD software - ECADGuillem Fiter
 
Electronic Design Automation
Electronic Design AutomationElectronic Design Automation
Electronic Design AutomationCADD Centre
 

Similar to The Genesis of Holistic Systems Engineering: Completeness and Consistency Management of the Digital Thread (20)

The Genesis of Holistic Systems Design
The Genesis of Holistic Systems DesignThe Genesis of Holistic Systems Design
The Genesis of Holistic Systems Design
 
IncQuery-Integrate22-20220607.pdf
IncQuery-Integrate22-20220607.pdfIncQuery-Integrate22-20220607.pdf
IncQuery-Integrate22-20220607.pdf
 
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 ...
Capella Days 2021 | An example of model-centric engineering environment with ...
 
IncQuery Group's presentation for the INCOSE Polish Chapter 20220310
IncQuery Group's presentation for the INCOSE Polish Chapter 20220310IncQuery Group's presentation for the INCOSE Polish Chapter 20220310
IncQuery Group's presentation for the INCOSE Polish Chapter 20220310
 
Engineering 4.0: Digitization through task automation and reuse
Engineering 4.0:  Digitization through task automation and reuseEngineering 4.0:  Digitization through task automation and reuse
Engineering 4.0: Digitization through task automation and reuse
 
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
 
Gourp 12 Report.pptx
Gourp 12 Report.pptxGourp 12 Report.pptx
Gourp 12 Report.pptx
 
IncQuery Suite demo for INCOSE 2022IW
IncQuery Suite demo for INCOSE 2022IWIncQuery Suite demo for INCOSE 2022IW
IncQuery Suite demo for INCOSE 2022IW
 
elecworks for PTC Creo - Mechatronics software - 3D CAD software
elecworks for PTC Creo - Mechatronics software - 3D CAD softwareelecworks for PTC Creo - Mechatronics software - 3D CAD software
elecworks for PTC Creo - Mechatronics software - 3D CAD software
 
[Capella Day 2019] Integrating Capella, SCADE and medini analyze, for MBSE, E...
[Capella Day 2019] Integrating Capella, SCADE and medini analyze, for MBSE, E...[Capella Day 2019] Integrating Capella, SCADE and medini analyze, for MBSE, E...
[Capella Day 2019] Integrating Capella, SCADE and medini analyze, for MBSE, E...
 
Pattern driven Enterprise Architecture
Pattern driven Enterprise ArchitecturePattern driven Enterprise Architecture
Pattern driven Enterprise Architecture
 
Mark Minnucci: Deployment of MBSE and the Emergence of a Systems-Thinking Cul...
Mark Minnucci: Deployment of MBSE and the Emergence of a Systems-Thinking Cul...Mark Minnucci: Deployment of MBSE and the Emergence of a Systems-Thinking Cul...
Mark Minnucci: Deployment of MBSE and the Emergence of a Systems-Thinking Cul...
 
High speed-pcb-board-design-and-analysiscadence-130218085524-phpapp01
High speed-pcb-board-design-and-analysiscadence-130218085524-phpapp01High speed-pcb-board-design-and-analysiscadence-130218085524-phpapp01
High speed-pcb-board-design-and-analysiscadence-130218085524-phpapp01
 
IncQuery_presentation_Incose_EMEA_WSEC.pptx
IncQuery_presentation_Incose_EMEA_WSEC.pptxIncQuery_presentation_Incose_EMEA_WSEC.pptx
IncQuery_presentation_Incose_EMEA_WSEC.pptx
 
NAVIWALA_Resume_161118
NAVIWALA_Resume_161118NAVIWALA_Resume_161118
NAVIWALA_Resume_161118
 
Sailing the V: Engineering digitalization through task automation and reuse i...
Sailing the V: Engineering digitalization through task automation and reuse i...Sailing the V: Engineering digitalization through task automation and reuse i...
Sailing the V: Engineering digitalization through task automation and reuse i...
 
Elecworks - electrical and automation CAD software - ECAD
Elecworks - electrical and automation CAD software - ECADElecworks - electrical and automation CAD software - ECAD
Elecworks - electrical and automation CAD software - ECAD
 
NETGEN short pres. eng
NETGEN short pres. engNETGEN short pres. eng
NETGEN short pres. eng
 
Unit 1b
Unit 1bUnit 1b
Unit 1b
 
Electronic Design Automation
Electronic Design AutomationElectronic Design Automation
Electronic Design Automation
 

More from IncQuery Labs

Towards Continuous Consistency Checking of DevOps Artefacts
Towards Continuous Consistency Checking of DevOps ArtefactsTowards Continuous Consistency Checking of DevOps Artefacts
Towards Continuous Consistency Checking of DevOps ArtefactsIncQuery Labs
 
Towards the Next Generation of Reactive Model Transformations on Low-Code Pla...
Towards the Next Generation of Reactive Model Transformations on Low-Code Pla...Towards the Next Generation of Reactive Model Transformations on Low-Code Pla...
Towards the Next Generation of Reactive Model Transformations on Low-Code Pla...IncQuery Labs
 
Model Checking as a Service: Towards Pragmatic Hidden Formal Methods
Model Checking as a Service: Towards Pragmatic Hidden Formal MethodsModel Checking as a Service: Towards Pragmatic Hidden Formal Methods
Model Checking as a Service: Towards Pragmatic Hidden Formal MethodsIncQuery Labs
 
IncQuery Labs Models 2020 MIP Talk
IncQuery Labs Models 2020 MIP TalkIncQuery Labs Models 2020 MIP Talk
IncQuery Labs Models 2020 MIP TalkIncQuery Labs
 
Incquery Suite Models 2020 Conference by István Ráth, CEO of IncQuery Labs
Incquery Suite Models 2020 Conference by István Ráth, CEO of IncQuery LabsIncquery Suite Models 2020 Conference by István Ráth, CEO of IncQuery Labs
Incquery Suite Models 2020 Conference by István Ráth, CEO of IncQuery LabsIncQuery Labs
 
Introducing the New MagicDraw Plug-In for RTI Connext DDS: Industrial IoT Mee...
Introducing the New MagicDraw Plug-In for RTI Connext DDS: Industrial IoT Mee...Introducing the New MagicDraw Plug-In for RTI Connext DDS: Industrial IoT Mee...
Introducing the New MagicDraw Plug-In for RTI Connext DDS: Industrial IoT Mee...IncQuery Labs
 
Lessons learned from building Eclipse-based add-ons for commercial modeling t...
Lessons learned from building Eclipse-based add-ons for commercial modeling t...Lessons learned from building Eclipse-based add-ons for commercial modeling t...
Lessons learned from building Eclipse-based add-ons for commercial modeling t...IncQuery Labs
 

More from IncQuery Labs (7)

Towards Continuous Consistency Checking of DevOps Artefacts
Towards Continuous Consistency Checking of DevOps ArtefactsTowards Continuous Consistency Checking of DevOps Artefacts
Towards Continuous Consistency Checking of DevOps Artefacts
 
Towards the Next Generation of Reactive Model Transformations on Low-Code Pla...
Towards the Next Generation of Reactive Model Transformations on Low-Code Pla...Towards the Next Generation of Reactive Model Transformations on Low-Code Pla...
Towards the Next Generation of Reactive Model Transformations on Low-Code Pla...
 
Model Checking as a Service: Towards Pragmatic Hidden Formal Methods
Model Checking as a Service: Towards Pragmatic Hidden Formal MethodsModel Checking as a Service: Towards Pragmatic Hidden Formal Methods
Model Checking as a Service: Towards Pragmatic Hidden Formal Methods
 
IncQuery Labs Models 2020 MIP Talk
IncQuery Labs Models 2020 MIP TalkIncQuery Labs Models 2020 MIP Talk
IncQuery Labs Models 2020 MIP Talk
 
Incquery Suite Models 2020 Conference by István Ráth, CEO of IncQuery Labs
Incquery Suite Models 2020 Conference by István Ráth, CEO of IncQuery LabsIncquery Suite Models 2020 Conference by István Ráth, CEO of IncQuery Labs
Incquery Suite Models 2020 Conference by István Ráth, CEO of IncQuery Labs
 
Introducing the New MagicDraw Plug-In for RTI Connext DDS: Industrial IoT Mee...
Introducing the New MagicDraw Plug-In for RTI Connext DDS: Industrial IoT Mee...Introducing the New MagicDraw Plug-In for RTI Connext DDS: Industrial IoT Mee...
Introducing the New MagicDraw Plug-In for RTI Connext DDS: Industrial IoT Mee...
 
Lessons learned from building Eclipse-based add-ons for commercial modeling t...
Lessons learned from building Eclipse-based add-ons for commercial modeling t...Lessons learned from building Eclipse-based add-ons for commercial modeling t...
Lessons learned from building Eclipse-based add-ons for commercial modeling t...
 

Recently uploaded

Try MyIntelliAccount Cloud Accounting Software As A Service Solution Risk Fre...
Try MyIntelliAccount Cloud Accounting Software As A Service Solution Risk Fre...Try MyIntelliAccount Cloud Accounting Software As A Service Solution Risk Fre...
Try MyIntelliAccount Cloud Accounting Software As A Service Solution Risk Fre...MyIntelliSource, Inc.
 
EY_Graph Database Powered Sustainability
EY_Graph Database Powered SustainabilityEY_Graph Database Powered Sustainability
EY_Graph Database Powered SustainabilityNeo4j
 
办理学位证(UQ文凭证书)昆士兰大学毕业证成绩单原版一模一样
办理学位证(UQ文凭证书)昆士兰大学毕业证成绩单原版一模一样办理学位证(UQ文凭证书)昆士兰大学毕业证成绩单原版一模一样
办理学位证(UQ文凭证书)昆士兰大学毕业证成绩单原版一模一样umasea
 
GOING AOT WITH GRAALVM – DEVOXX GREECE.pdf
GOING AOT WITH GRAALVM – DEVOXX GREECE.pdfGOING AOT WITH GRAALVM – DEVOXX GREECE.pdf
GOING AOT WITH GRAALVM – DEVOXX GREECE.pdfAlina Yurenko
 
BATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASE
BATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASEBATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASE
BATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASEOrtus Solutions, Corp
 
Professional Resume Template for Software Developers
Professional Resume Template for Software DevelopersProfessional Resume Template for Software Developers
Professional Resume Template for Software DevelopersVinodh Ram
 
software engineering Chapter 5 System modeling.pptx
software engineering Chapter 5 System modeling.pptxsoftware engineering Chapter 5 System modeling.pptx
software engineering Chapter 5 System modeling.pptxnada99848
 
(Genuine) Escort Service Lucknow | Starting ₹,5K To @25k with A/C 🧑🏽‍❤️‍🧑🏻 89...
(Genuine) Escort Service Lucknow | Starting ₹,5K To @25k with A/C 🧑🏽‍❤️‍🧑🏻 89...(Genuine) Escort Service Lucknow | Starting ₹,5K To @25k with A/C 🧑🏽‍❤️‍🧑🏻 89...
(Genuine) Escort Service Lucknow | Starting ₹,5K To @25k with A/C 🧑🏽‍❤️‍🧑🏻 89...gurkirankumar98700
 
Alluxio Monthly Webinar | Cloud-Native Model Training on Distributed Data
Alluxio Monthly Webinar | Cloud-Native Model Training on Distributed DataAlluxio Monthly Webinar | Cloud-Native Model Training on Distributed Data
Alluxio Monthly Webinar | Cloud-Native Model Training on Distributed DataAlluxio, Inc.
 
Intelligent Home Wi-Fi Solutions | ThinkPalm
Intelligent Home Wi-Fi Solutions | ThinkPalmIntelligent Home Wi-Fi Solutions | ThinkPalm
Intelligent Home Wi-Fi Solutions | ThinkPalmSujith Sukumaran
 
Adobe Marketo Engage Deep Dives: Using Webhooks to Transfer Data
Adobe Marketo Engage Deep Dives: Using Webhooks to Transfer DataAdobe Marketo Engage Deep Dives: Using Webhooks to Transfer Data
Adobe Marketo Engage Deep Dives: Using Webhooks to Transfer DataBradBedford3
 
Automate your Kamailio Test Calls - Kamailio World 2024
Automate your Kamailio Test Calls - Kamailio World 2024Automate your Kamailio Test Calls - Kamailio World 2024
Automate your Kamailio Test Calls - Kamailio World 2024Andreas Granig
 
Steps To Getting Up And Running Quickly With MyTimeClock Employee Scheduling ...
Steps To Getting Up And Running Quickly With MyTimeClock Employee Scheduling ...Steps To Getting Up And Running Quickly With MyTimeClock Employee Scheduling ...
Steps To Getting Up And Running Quickly With MyTimeClock Employee Scheduling ...MyIntelliSource, Inc.
 
Asset Management Software - Infographic
Asset Management Software - InfographicAsset Management Software - Infographic
Asset Management Software - InfographicHr365.us smith
 
Building Real-Time Data Pipelines: Stream & Batch Processing workshop Slide
Building Real-Time Data Pipelines: Stream & Batch Processing workshop SlideBuilding Real-Time Data Pipelines: Stream & Batch Processing workshop Slide
Building Real-Time Data Pipelines: Stream & Batch Processing workshop SlideChristina Lin
 
Advancing Engineering with AI through the Next Generation of Strategic Projec...
Advancing Engineering with AI through the Next Generation of Strategic Projec...Advancing Engineering with AI through the Next Generation of Strategic Projec...
Advancing Engineering with AI through the Next Generation of Strategic Projec...OnePlan Solutions
 
Building a General PDE Solving Framework with Symbolic-Numeric Scientific Mac...
Building a General PDE Solving Framework with Symbolic-Numeric Scientific Mac...Building a General PDE Solving Framework with Symbolic-Numeric Scientific Mac...
Building a General PDE Solving Framework with Symbolic-Numeric Scientific Mac...stazi3110
 
Russian Call Girls in Karol Bagh Aasnvi ➡️ 8264348440 💋📞 Independent Escort S...
Russian Call Girls in Karol Bagh Aasnvi ➡️ 8264348440 💋📞 Independent Escort S...Russian Call Girls in Karol Bagh Aasnvi ➡️ 8264348440 💋📞 Independent Escort S...
Russian Call Girls in Karol Bagh Aasnvi ➡️ 8264348440 💋📞 Independent Escort S...soniya singh
 
Cloud Management Software Platforms: OpenStack
Cloud Management Software Platforms: OpenStackCloud Management Software Platforms: OpenStack
Cloud Management Software Platforms: OpenStackVICTOR MAESTRE RAMIREZ
 

Recently uploaded (20)

Try MyIntelliAccount Cloud Accounting Software As A Service Solution Risk Fre...
Try MyIntelliAccount Cloud Accounting Software As A Service Solution Risk Fre...Try MyIntelliAccount Cloud Accounting Software As A Service Solution Risk Fre...
Try MyIntelliAccount Cloud Accounting Software As A Service Solution Risk Fre...
 
EY_Graph Database Powered Sustainability
EY_Graph Database Powered SustainabilityEY_Graph Database Powered Sustainability
EY_Graph Database Powered Sustainability
 
办理学位证(UQ文凭证书)昆士兰大学毕业证成绩单原版一模一样
办理学位证(UQ文凭证书)昆士兰大学毕业证成绩单原版一模一样办理学位证(UQ文凭证书)昆士兰大学毕业证成绩单原版一模一样
办理学位证(UQ文凭证书)昆士兰大学毕业证成绩单原版一模一样
 
GOING AOT WITH GRAALVM – DEVOXX GREECE.pdf
GOING AOT WITH GRAALVM – DEVOXX GREECE.pdfGOING AOT WITH GRAALVM – DEVOXX GREECE.pdf
GOING AOT WITH GRAALVM – DEVOXX GREECE.pdf
 
BATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASE
BATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASEBATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASE
BATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASE
 
Professional Resume Template for Software Developers
Professional Resume Template for Software DevelopersProfessional Resume Template for Software Developers
Professional Resume Template for Software Developers
 
software engineering Chapter 5 System modeling.pptx
software engineering Chapter 5 System modeling.pptxsoftware engineering Chapter 5 System modeling.pptx
software engineering Chapter 5 System modeling.pptx
 
Hot Sexy call girls in Patel Nagar🔝 9953056974 🔝 escort Service
Hot Sexy call girls in Patel Nagar🔝 9953056974 🔝 escort ServiceHot Sexy call girls in Patel Nagar🔝 9953056974 🔝 escort Service
Hot Sexy call girls in Patel Nagar🔝 9953056974 🔝 escort Service
 
(Genuine) Escort Service Lucknow | Starting ₹,5K To @25k with A/C 🧑🏽‍❤️‍🧑🏻 89...
(Genuine) Escort Service Lucknow | Starting ₹,5K To @25k with A/C 🧑🏽‍❤️‍🧑🏻 89...(Genuine) Escort Service Lucknow | Starting ₹,5K To @25k with A/C 🧑🏽‍❤️‍🧑🏻 89...
(Genuine) Escort Service Lucknow | Starting ₹,5K To @25k with A/C 🧑🏽‍❤️‍🧑🏻 89...
 
Alluxio Monthly Webinar | Cloud-Native Model Training on Distributed Data
Alluxio Monthly Webinar | Cloud-Native Model Training on Distributed DataAlluxio Monthly Webinar | Cloud-Native Model Training on Distributed Data
Alluxio Monthly Webinar | Cloud-Native Model Training on Distributed Data
 
Intelligent Home Wi-Fi Solutions | ThinkPalm
Intelligent Home Wi-Fi Solutions | ThinkPalmIntelligent Home Wi-Fi Solutions | ThinkPalm
Intelligent Home Wi-Fi Solutions | ThinkPalm
 
Adobe Marketo Engage Deep Dives: Using Webhooks to Transfer Data
Adobe Marketo Engage Deep Dives: Using Webhooks to Transfer DataAdobe Marketo Engage Deep Dives: Using Webhooks to Transfer Data
Adobe Marketo Engage Deep Dives: Using Webhooks to Transfer Data
 
Automate your Kamailio Test Calls - Kamailio World 2024
Automate your Kamailio Test Calls - Kamailio World 2024Automate your Kamailio Test Calls - Kamailio World 2024
Automate your Kamailio Test Calls - Kamailio World 2024
 
Steps To Getting Up And Running Quickly With MyTimeClock Employee Scheduling ...
Steps To Getting Up And Running Quickly With MyTimeClock Employee Scheduling ...Steps To Getting Up And Running Quickly With MyTimeClock Employee Scheduling ...
Steps To Getting Up And Running Quickly With MyTimeClock Employee Scheduling ...
 
Asset Management Software - Infographic
Asset Management Software - InfographicAsset Management Software - Infographic
Asset Management Software - Infographic
 
Building Real-Time Data Pipelines: Stream & Batch Processing workshop Slide
Building Real-Time Data Pipelines: Stream & Batch Processing workshop SlideBuilding Real-Time Data Pipelines: Stream & Batch Processing workshop Slide
Building Real-Time Data Pipelines: Stream & Batch Processing workshop Slide
 
Advancing Engineering with AI through the Next Generation of Strategic Projec...
Advancing Engineering with AI through the Next Generation of Strategic Projec...Advancing Engineering with AI through the Next Generation of Strategic Projec...
Advancing Engineering with AI through the Next Generation of Strategic Projec...
 
Building a General PDE Solving Framework with Symbolic-Numeric Scientific Mac...
Building a General PDE Solving Framework with Symbolic-Numeric Scientific Mac...Building a General PDE Solving Framework with Symbolic-Numeric Scientific Mac...
Building a General PDE Solving Framework with Symbolic-Numeric Scientific Mac...
 
Russian Call Girls in Karol Bagh Aasnvi ➡️ 8264348440 💋📞 Independent Escort S...
Russian Call Girls in Karol Bagh Aasnvi ➡️ 8264348440 💋📞 Independent Escort S...Russian Call Girls in Karol Bagh Aasnvi ➡️ 8264348440 💋📞 Independent Escort S...
Russian Call Girls in Karol Bagh Aasnvi ➡️ 8264348440 💋📞 Independent Escort S...
 
Cloud Management Software Platforms: OpenStack
Cloud Management Software Platforms: OpenStackCloud Management Software Platforms: OpenStack
Cloud Management Software Platforms: OpenStack
 

The Genesis of Holistic Systems Engineering: Completeness and Consistency Management of the Digital Thread

  • 1. The Genesis of Holistic Systems Design Completeness and Consistency Management of the Digital Thread Enrique Krajmalnik, Zuken Istvan Rath, IncQuery Labs 2021 MODELS Industry Days Copyright © 2021 by Enrique Krajmalnik and Istvan Rath.
  • 2. The MBSE Value Chain • The promised benefits of MBSE • Improved communication • Fewer defects / higher quality • To improve not just quality of SE, but the overall quality and value of engineering across the organization • Increased efficiency • Better collaboration • Systems architecture as the “single source of truth” • Silos remain disconnected even though the goal of MBSE is to connect silos • Closed product ecosystems • Lack of good APIs and interchange formats 3 2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
  • 3. The impact of disconnected silos • SE remains an isolated discipline • One of many silos next to mechanical, electrical, ALM/PLM, … • As disconnected silos, what is the interface between architecture and disciplines? • It is often a document produced from an MBSE tool • Consequence: data reentry and/or copy-paste • No guarantee of completeness, correctness and consistency • A lot of time and money is wasted! 4 2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
  • 4. Example: transition to detailed design 5 Transition to Detailed Design V-Model 2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
  • 5. The silo problem of “transition to detailed design” Video Drone Model Cable/Harness Systems Engineering Detailed Design 6 SysML extension for ECAD (Electrical Computer-aided Design) (modeling-languages.com) 2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
  • 6. The 3C Challenge: Building High Quality Model of Models • Completeness • Make sure all my components and functions exist both in SE and ECAD • Correctness • If component A has is of type “PCB” (in SE) è it should be mapped to a PCB device (in ECAD) • Consistency • If a connection transfers an item between components A and B (in SE) è there is a wire carrying the corresponding signal between devices A and B (in ECAD) 7 2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
  • 7. What causes 3C’s? • Input error • Forgetting/missing something • Copy/paste error • Incorrect mappings • Roundtripping gone bad • Change 8 2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
  • 8. Our take 9 Discipline-specific, automated bridge tools that create the digital thread Overlaid layer of digital thread analytics that can expose parts of the digital thread depending on the need/use-case Vendor-neutral federated toolchain 2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath • Provide the right data at the right time • Automatically transfer engineering data • Improve efficiency and reduce errors • Create digital traceability • Maintain a single source of truth • Ensure that the architecture remains relevant
  • 9. The E3.GENESYS Connector 10 Video Drone Model Cable/Harness Topology Editor Systems Engineering Detailed Design Transfer Logical Architecture Diagrams Requirements Parameters Verification Requirements Expose the Model Design Envelope 2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
  • 10. Building the Electrical Viewpoint 11 • Components, signals, and ports are analyzed • Signals are of type electrical • Ports have pin:signal assignments, part number, or are of type electrical • Components are of type ECU, PCB or are part of an electrical signal 2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
  • 11. The E3.GENESYS Interface 12 1 1 Navigate the model repository 2 Connect the model, map elements, and load into E3 2 3 3 View model details to provide context, criteria, constraints, etc... 4 4 Provide feedback on observed parameters to verify back to the architecture 2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
  • 12. Video demonstration of the GENESYS.E3 Connector 13 2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
  • 13. Our take 14 Discipline-specific, automated bridge tools that create the digital thread Overlaid layer of digital thread analytics that can expose parts of the digital thread depending on the need/use-case Vendor-neutral federated toolchain 2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath • Single source of truth is NOT a single model è it is the ”model of models” • Digital thread analytics can • look at links AND look into models • Semantically analyze both • Holistic à adaptable to all tools in the toolchain
  • 14. NETWORK. LEARN. INNOVATE. © Zuken 2016 ©2018 Zuken © Zuken 2016 ©2020 Zuken 15 Zuken proprietary information. Forwarding beyond the intended recipient(s) is not permitted. Zuken proprietary information. Forwarding beyond the intended recipient(s) is not permitted. • Efficiently extracts your engineering data from proprietary silos IncQuery Suite Digital Thread Analytics • Helps you create detailed validation reports and analysis dashboards that integrate seamlessly with modern, web-based tools • Creates a unified, searchable, and analyzable representation of your complete digital thread: the knowledge graph 15 2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
  • 15. The IncQuery Suite Connects to: 16 2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
  • 16. • Integrated with • the popular Jupyter ecosystem through open-source Python libraries and the OpenAPI interface • documentation management systems such as the OpenMBEE View Editor or Atlassian Confluence • Easy-to-use analyst workbench to manage automated validation and analysis reports • Supports standards such as SysML, UPDM, UAF • as well as open-source libraries (SAIC Digital Engineering Validation Tool) • Custom rules can be defined by queries (e.g. SPARQL, ElasticSearch) • E.g. GENESYS.E3 naming consistency rule ààà 17 2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
  • 17. 3C Analysis for the GENESYS.E3 Connector • Step 1: Initial mapping performed with GENESYS.E3 Connector • Result: • Partially complete (Subsystem mapping is disabled by default) 18 “If a connection transfers an item between components A and B (in SE) è there is a wire carrying the corresponding signal between devices A and B (in ECAD)” • Inconsistent signal allocations 2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
  • 18. Step 2: Adding missing wiring and signal allocation 19 2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
  • 19. 3C Analysis • Step 3: Re-run the validation • Result: One pair of allocation problems is resolved 20 2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
  • 20. § Historical analytics as the “progress bar” of a complex engineering process – Model Integrator / Reviewer can follow the “Transition to Detailed Design” process on a version control dashboard – Track progress via KPIs as the mapping completeness is improved – Identify and fix correctness issues quickly Progress tracking 21 2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath
  • 21. Takeaways • Disconnected / loosely connected silos are a significant problem today - breaking the MBSE Value Chain • We proposed a conceptual framework to fix this problem • Purpose-built light-weight bridges • Digital Thread Analytics to tackle the 3C Challenge • Applicable to other tools / scenarios as well! • Check out the next talk by Daniel Siegl on MBSE and DevOps, featuring Git, LemonTree, and the IncQuery Suite! • https://www.zuken.com/us/product/model-based-wire-harness-design/ • https://incquery.io 22 2021 MODELS Industry Days. The Genesis of Holistic Systems Design - Enrique Krajmalnik and Istvan Rath