SlideShare a Scribd company logo
The Genesis of Holistic Systems Design
From System Architecture Overview to Detailed Physical Design with
GENESYS, E3.series and the IncQuery Suite
Enrique Krajmalnik, Zuken
Istvan Rath, IncQuery.io, Inc
2021 INCOSE Western States Regional Conference – San Diego, CA
Copyright © 2021 by Enrique Krajmalnik and Istvan Rath.
Permission granted to INCOSE to publish and use.
The MBSE Value Chain
2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 3
§ 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
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!
2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 4
Example: transition to detailed design
Transition to Detailed Design
V-Model
2021 WSRC – 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
§ 2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 6
SysML extension for ECAD (Electrical Computer-aided
Design) (modeling-languages.com)
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)
2021 WSRC – 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
2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 8
Our take
2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 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
The E3.GENESYS Connector
2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 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
Building the Electrical Viewpoint
2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 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
The E3.GENESYS Interface
2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 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
Video demonstration of the GENESYS.E3 Connector
2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 13
Our take
2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 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
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
2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 15
The IncQuery Suite Connects to:
2021 WSRC – 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 ààà
2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 17
3C Analysis for the GENESYS.E3 Connector
2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 18
§ Step 1: Initial mapping performed with GENESYS.E3 Connector
– Result:
• Partially complete (Subsystem mapping is disabled by default)
“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
Step 2: Adding missing wiring and signal allocation
2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 19
3C Analysis
2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 20
§ Step 3: Re-run the validation
– Result: One pair of allocation problems is resolved
§ 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
2021 WSRC – 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!
§ https://www.zuken.com/us/product/model-based-wire-harness-design/
§ https://incquery.io
2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 22

More Related Content

What's hot

Crafted Design - Sandro Mancuso
Crafted Design - Sandro MancusoCrafted Design - Sandro Mancuso
Crafted Design - Sandro Mancuso
JAXLondon2014
 
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
Daniel Bryant
 
CV Ranan Fraer Apr 2016
CV Ranan Fraer Apr 2016CV Ranan Fraer Apr 2016
CV Ranan Fraer Apr 2016
Ranan Fraer
 
Accelerating reinforcement-learning-in-engineering
Accelerating reinforcement-learning-in-engineeringAccelerating reinforcement-learning-in-engineering
Accelerating reinforcement-learning-in-engineering
Integral Solutions (Asia) Pte Ltd
 
CI/CD for Machine Learning
CI/CD for Machine LearningCI/CD for Machine Learning
CI/CD for Machine Learning
C4Media
 
Alok Resume
Alok ResumeAlok Resume
Alok Resume
Alok Singh
 
How to Use Innoslate for Advanced Users
How to Use Innoslate for Advanced UsersHow to Use Innoslate for Advanced Users
How to Use Innoslate for Advanced Users
Elizabeth Steiner
 
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
Guenter Zeisel
 
Orchestrating the lifecycle of network services
Orchestrating the lifecycle of network servicesOrchestrating the lifecycle of network services
Orchestrating the lifecycle of network services
James 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
 
Dive into POOSL : Simulate your systems!
Dive into POOSL : Simulate your systems!Dive into POOSL : Simulate your systems!
Dive into POOSL : Simulate your systems!
Obeo
 
Icsoc16a.ppt
Icsoc16a.pptIcsoc16a.ppt
EntryLevel Resume
EntryLevel ResumeEntryLevel Resume
EntryLevel Resume
Alexander Burkhart
 
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
 
Infrastructure Solutions for Deploying AI/ML/DL Workloads at Scale
Infrastructure Solutions for Deploying AI/ML/DL Workloads at ScaleInfrastructure Solutions for Deploying AI/ML/DL Workloads at Scale
Infrastructure Solutions for Deploying AI/ML/DL Workloads at Scale
Robb Boyd
 

What's hot (16)

Crafted Design - Sandro Mancuso
Crafted Design - Sandro MancusoCrafted Design - Sandro Mancuso
Crafted Design - Sandro Mancuso
 
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
 
CI/CD for Machine Learning
CI/CD for Machine LearningCI/CD for Machine Learning
CI/CD for Machine Learning
 
Alok Resume
Alok ResumeAlok Resume
Alok Resume
 
How to Use Innoslate for Advanced Users
How to Use Innoslate for Advanced UsersHow to Use Innoslate for Advanced Users
How to Use Innoslate for Advanced Users
 
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"
 
Dive into POOSL : Simulate your systems!
Dive into POOSL : Simulate your systems!Dive into POOSL : Simulate your systems!
Dive into POOSL : Simulate your systems!
 
Icsoc16a.ppt
Icsoc16a.pptIcsoc16a.ppt
Icsoc16a.ppt
 
EntryLevel Resume
EntryLevel ResumeEntryLevel Resume
EntryLevel Resume
 
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...
 
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...
 
Infrastructure Solutions for Deploying AI/ML/DL Workloads at Scale
Infrastructure Solutions for Deploying AI/ML/DL Workloads at ScaleInfrastructure Solutions for Deploying AI/ML/DL Workloads at Scale
Infrastructure Solutions for Deploying AI/ML/DL Workloads at Scale
 

Similar to The Genesis of Holistic Systems Design

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
 
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
 
IncQuery-Integrate22-20220607.pdf
IncQuery-Integrate22-20220607.pdfIncQuery-Integrate22-20220607.pdf
IncQuery-Integrate22-20220607.pdf
IncQuery Labs
 
Netlist Optimization for CMOS Place and Route in MICROWIND
Netlist Optimization for CMOS Place and Route in MICROWINDNetlist Optimization for CMOS Place and Route in MICROWIND
Netlist Optimization for CMOS Place and Route in MICROWIND
IRJET Journal
 
BRKDCN-2670 Day2 operations for Datacenter VxLAN EVPN fabrics.pdf
BRKDCN-2670 Day2 operations for Datacenter VxLAN EVPN fabrics.pdfBRKDCN-2670 Day2 operations for Datacenter VxLAN EVPN fabrics.pdf
BRKDCN-2670 Day2 operations for Datacenter VxLAN EVPN fabrics.pdf
HarryH11
 
Architecture & data acquisition by embedded systems in automobiles seminar re...
Architecture & data acquisition by embedded systems in automobiles seminar re...Architecture & data acquisition by embedded systems in automobiles seminar re...
Architecture & data acquisition by embedded systems in automobiles seminar re...
Ankit Kaul
 
RESUME
RESUMERESUME
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
khalid noman husainy
 
IncQuery_presentation_Incose_EMEA_WSEC.pptx
IncQuery_presentation_Incose_EMEA_WSEC.pptxIncQuery_presentation_Incose_EMEA_WSEC.pptx
IncQuery_presentation_Incose_EMEA_WSEC.pptx
IncQuery Labs
 
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
Jo Gijbels
 
Gourp 12 Report.pptx
Gourp 12 Report.pptxGourp 12 Report.pptx
Gourp 12 Report.pptx
ShubhamMane733576
 
Krishnakumar signalling
Krishnakumar signallingKrishnakumar signalling
Krishnakumar signalling
Krishna Kumar
 
Next-Generation Completeness and Consistency Management in the Digital Threa...
Next-Generation Completeness and Consistency Management in the Digital Threa...Next-Generation Completeness and Consistency Management in the Digital Threa...
Next-Generation Completeness and Consistency Management in the Digital Threa...
Ákos Horváth
 
ETABS and High-Rise Buildings in 2022
ETABS and High-Rise Buildings in 2022ETABS and High-Rise Buildings in 2022
ETABS and High-Rise Buildings in 2022
csiesplindia
 
1DS21LVS01-DEEKSHITHA P.pptx
1DS21LVS01-DEEKSHITHA P.pptx1DS21LVS01-DEEKSHITHA P.pptx
1DS21LVS01-DEEKSHITHA P.pptx
TcManjunath1
 
Maquina estado
Maquina estadoMaquina estado
Maquina estado
Cesar Gil Arrieta
 
Hardik_VLSI_Resume
Hardik_VLSI_ResumeHardik_VLSI_Resume
Hardik_VLSI_Resume
Hardik Trivedi
 
William Check Resume
William Check ResumeWilliam Check Resume
William Check Resume
Bill Check
 
IDEA StatiCa Steel Connections v. 8.2 November 2017
IDEA StatiCa Steel Connections v. 8.2 November 2017IDEA StatiCa Steel Connections v. 8.2 November 2017
IDEA StatiCa Steel Connections v. 8.2 November 2017
Jo Gijbels
 
NETGEN short pres. eng
NETGEN short pres. engNETGEN short pres. eng
NETGEN short pres. eng
Alexander Solovyov
 

Similar to The Genesis of Holistic Systems Design (20)

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...
 
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-Integrate22-20220607.pdf
IncQuery-Integrate22-20220607.pdfIncQuery-Integrate22-20220607.pdf
IncQuery-Integrate22-20220607.pdf
 
Netlist Optimization for CMOS Place and Route in MICROWIND
Netlist Optimization for CMOS Place and Route in MICROWINDNetlist Optimization for CMOS Place and Route in MICROWIND
Netlist Optimization for CMOS Place and Route in MICROWIND
 
BRKDCN-2670 Day2 operations for Datacenter VxLAN EVPN fabrics.pdf
BRKDCN-2670 Day2 operations for Datacenter VxLAN EVPN fabrics.pdfBRKDCN-2670 Day2 operations for Datacenter VxLAN EVPN fabrics.pdf
BRKDCN-2670 Day2 operations for Datacenter VxLAN EVPN fabrics.pdf
 
Architecture & data acquisition by embedded systems in automobiles seminar re...
Architecture & data acquisition by embedded systems in automobiles seminar re...Architecture & data acquisition by embedded systems in automobiles seminar re...
Architecture & data acquisition by embedded systems in automobiles seminar re...
 
RESUME
RESUMERESUME
RESUME
 
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
 
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
 
Krishnakumar signalling
Krishnakumar signallingKrishnakumar signalling
Krishnakumar signalling
 
Next-Generation Completeness and Consistency Management in the Digital Threa...
Next-Generation Completeness and Consistency Management in the Digital Threa...Next-Generation Completeness and Consistency Management in the Digital Threa...
Next-Generation Completeness and Consistency Management in the Digital Threa...
 
ETABS and High-Rise Buildings in 2022
ETABS and High-Rise Buildings in 2022ETABS and High-Rise Buildings in 2022
ETABS and High-Rise Buildings in 2022
 
1DS21LVS01-DEEKSHITHA P.pptx
1DS21LVS01-DEEKSHITHA P.pptx1DS21LVS01-DEEKSHITHA P.pptx
1DS21LVS01-DEEKSHITHA P.pptx
 
Maquina estado
Maquina estadoMaquina estado
Maquina estado
 
Hardik_VLSI_Resume
Hardik_VLSI_ResumeHardik_VLSI_Resume
Hardik_VLSI_Resume
 
William Check Resume
William Check ResumeWilliam Check Resume
William Check Resume
 
IDEA StatiCa Steel Connections v. 8.2 November 2017
IDEA StatiCa Steel Connections v. 8.2 November 2017IDEA StatiCa Steel Connections v. 8.2 November 2017
IDEA StatiCa Steel Connections v. 8.2 November 2017
 
NETGEN short pres. eng
NETGEN short pres. engNETGEN short pres. eng
NETGEN short pres. eng
 

More from IncQuery Labs

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
IncQuery Labs
 
IncQuery Suite demo for INCOSE 2022IW
IncQuery Suite demo for INCOSE 2022IWIncQuery Suite demo for INCOSE 2022IW
IncQuery Suite demo for INCOSE 2022IW
IncQuery 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 Methods
IncQuery Labs
 
IncQuery Labs Models 2020 MIP Talk
IncQuery Labs Models 2020 MIP TalkIncQuery Labs Models 2020 MIP Talk
IncQuery Labs Models 2020 MIP Talk
IncQuery 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 Labs
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...
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 (8)

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
 
IncQuery Suite demo for INCOSE 2022IW
IncQuery Suite demo for INCOSE 2022IWIncQuery Suite demo for INCOSE 2022IW
IncQuery Suite demo for INCOSE 2022IW
 
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

Oracle Database 19c New Features for DBAs and Developers.pptx
Oracle Database 19c New Features for DBAs and Developers.pptxOracle Database 19c New Features for DBAs and Developers.pptx
Oracle Database 19c New Features for DBAs and Developers.pptx
Remote DBA Services
 
Empowering Growth with Best Software Development Company in Noida - Deuglo
Empowering Growth with Best Software  Development Company in Noida - DeugloEmpowering Growth with Best Software  Development Company in Noida - Deuglo
Empowering Growth with Best Software Development Company in Noida - Deuglo
Deuglo Infosystem Pvt Ltd
 
UI5con 2024 - Boost Your Development Experience with UI5 Tooling Extensions
UI5con 2024 - Boost Your Development Experience with UI5 Tooling ExtensionsUI5con 2024 - Boost Your Development Experience with UI5 Tooling Extensions
UI5con 2024 - Boost Your Development Experience with UI5 Tooling Extensions
Peter Muessig
 
What is Master Data Management by PiLog Group
What is Master Data Management by PiLog GroupWhat is Master Data Management by PiLog Group
What is Master Data Management by PiLog Group
aymanquadri279
 
原版定制美国纽约州立大学奥尔巴尼分校毕业证学位证书原版一模一样
原版定制美国纽约州立大学奥尔巴尼分校毕业证学位证书原版一模一样原版定制美国纽约州立大学奥尔巴尼分校毕业证学位证书原版一模一样
原版定制美国纽约州立大学奥尔巴尼分校毕业证学位证书原版一模一样
mz5nrf0n
 
Neo4j - Product Vision and Knowledge Graphs - GraphSummit Paris
Neo4j - Product Vision and Knowledge Graphs - GraphSummit ParisNeo4j - Product Vision and Knowledge Graphs - GraphSummit Paris
Neo4j - Product Vision and Knowledge Graphs - GraphSummit Paris
Neo4j
 
openEuler Case Study - The Journey to Supply Chain Security
openEuler Case Study - The Journey to Supply Chain SecurityopenEuler Case Study - The Journey to Supply Chain Security
openEuler Case Study - The Journey to Supply Chain Security
Shane Coughlan
 
SWEBOK and Education at FUSE Okinawa 2024
SWEBOK and Education at FUSE Okinawa 2024SWEBOK and Education at FUSE Okinawa 2024
SWEBOK and Education at FUSE Okinawa 2024
Hironori Washizaki
 
How to write a program in any programming language
How to write a program in any programming languageHow to write a program in any programming language
How to write a program in any programming language
Rakesh Kumar R
 
Oracle 23c New Features For DBAs and Developers.pptx
Oracle 23c New Features For DBAs and Developers.pptxOracle 23c New Features For DBAs and Developers.pptx
Oracle 23c New Features For DBAs and Developers.pptx
Remote DBA Services
 
Neo4j - Product Vision and Knowledge Graphs - GraphSummit Paris
Neo4j - Product Vision and Knowledge Graphs - GraphSummit ParisNeo4j - Product Vision and Knowledge Graphs - GraphSummit Paris
Neo4j - Product Vision and Knowledge Graphs - GraphSummit Paris
Neo4j
 
Graspan: A Big Data System for Big Code Analysis
Graspan: A Big Data System for Big Code AnalysisGraspan: A Big Data System for Big Code Analysis
Graspan: A Big Data System for Big Code Analysis
Aftab Hussain
 
AI Fusion Buddy Review: Brand New, Groundbreaking Gemini-Powered AI App
AI Fusion Buddy Review: Brand New, Groundbreaking Gemini-Powered AI AppAI Fusion Buddy Review: Brand New, Groundbreaking Gemini-Powered AI App
AI Fusion Buddy Review: Brand New, Groundbreaking Gemini-Powered AI App
Google
 
Measures in SQL (SIGMOD 2024, Santiago, Chile)
Measures in SQL (SIGMOD 2024, Santiago, Chile)Measures in SQL (SIGMOD 2024, Santiago, Chile)
Measures in SQL (SIGMOD 2024, Santiago, Chile)
Julian Hyde
 
LORRAINE ANDREI_LEQUIGAN_HOW TO USE ZOOM
LORRAINE ANDREI_LEQUIGAN_HOW TO USE ZOOMLORRAINE ANDREI_LEQUIGAN_HOW TO USE ZOOM
LORRAINE ANDREI_LEQUIGAN_HOW TO USE ZOOM
lorraineandreiamcidl
 
E-commerce Development Services- Hornet Dynamics
E-commerce Development Services- Hornet DynamicsE-commerce Development Services- Hornet Dynamics
E-commerce Development Services- Hornet Dynamics
Hornet Dynamics
 
Using Xen Hypervisor for Functional Safety
Using Xen Hypervisor for Functional SafetyUsing Xen Hypervisor for Functional Safety
Using Xen Hypervisor for Functional Safety
Ayan Halder
 
Automated software refactoring with OpenRewrite and Generative AI.pptx.pdf
Automated software refactoring with OpenRewrite and Generative AI.pptx.pdfAutomated software refactoring with OpenRewrite and Generative AI.pptx.pdf
Automated software refactoring with OpenRewrite and Generative AI.pptx.pdf
timtebeek1
 
Revolutionizing Visual Effects Mastering AI Face Swaps.pdf
Revolutionizing Visual Effects Mastering AI Face Swaps.pdfRevolutionizing Visual Effects Mastering AI Face Swaps.pdf
Revolutionizing Visual Effects Mastering AI Face Swaps.pdf
Undress Baby
 
GraphSummit Paris - The art of the possible with Graph Technology
GraphSummit Paris - The art of the possible with Graph TechnologyGraphSummit Paris - The art of the possible with Graph Technology
GraphSummit Paris - The art of the possible with Graph Technology
Neo4j
 

Recently uploaded (20)

Oracle Database 19c New Features for DBAs and Developers.pptx
Oracle Database 19c New Features for DBAs and Developers.pptxOracle Database 19c New Features for DBAs and Developers.pptx
Oracle Database 19c New Features for DBAs and Developers.pptx
 
Empowering Growth with Best Software Development Company in Noida - Deuglo
Empowering Growth with Best Software  Development Company in Noida - DeugloEmpowering Growth with Best Software  Development Company in Noida - Deuglo
Empowering Growth with Best Software Development Company in Noida - Deuglo
 
UI5con 2024 - Boost Your Development Experience with UI5 Tooling Extensions
UI5con 2024 - Boost Your Development Experience with UI5 Tooling ExtensionsUI5con 2024 - Boost Your Development Experience with UI5 Tooling Extensions
UI5con 2024 - Boost Your Development Experience with UI5 Tooling Extensions
 
What is Master Data Management by PiLog Group
What is Master Data Management by PiLog GroupWhat is Master Data Management by PiLog Group
What is Master Data Management by PiLog Group
 
原版定制美国纽约州立大学奥尔巴尼分校毕业证学位证书原版一模一样
原版定制美国纽约州立大学奥尔巴尼分校毕业证学位证书原版一模一样原版定制美国纽约州立大学奥尔巴尼分校毕业证学位证书原版一模一样
原版定制美国纽约州立大学奥尔巴尼分校毕业证学位证书原版一模一样
 
Neo4j - Product Vision and Knowledge Graphs - GraphSummit Paris
Neo4j - Product Vision and Knowledge Graphs - GraphSummit ParisNeo4j - Product Vision and Knowledge Graphs - GraphSummit Paris
Neo4j - Product Vision and Knowledge Graphs - GraphSummit Paris
 
openEuler Case Study - The Journey to Supply Chain Security
openEuler Case Study - The Journey to Supply Chain SecurityopenEuler Case Study - The Journey to Supply Chain Security
openEuler Case Study - The Journey to Supply Chain Security
 
SWEBOK and Education at FUSE Okinawa 2024
SWEBOK and Education at FUSE Okinawa 2024SWEBOK and Education at FUSE Okinawa 2024
SWEBOK and Education at FUSE Okinawa 2024
 
How to write a program in any programming language
How to write a program in any programming languageHow to write a program in any programming language
How to write a program in any programming language
 
Oracle 23c New Features For DBAs and Developers.pptx
Oracle 23c New Features For DBAs and Developers.pptxOracle 23c New Features For DBAs and Developers.pptx
Oracle 23c New Features For DBAs and Developers.pptx
 
Neo4j - Product Vision and Knowledge Graphs - GraphSummit Paris
Neo4j - Product Vision and Knowledge Graphs - GraphSummit ParisNeo4j - Product Vision and Knowledge Graphs - GraphSummit Paris
Neo4j - Product Vision and Knowledge Graphs - GraphSummit Paris
 
Graspan: A Big Data System for Big Code Analysis
Graspan: A Big Data System for Big Code AnalysisGraspan: A Big Data System for Big Code Analysis
Graspan: A Big Data System for Big Code Analysis
 
AI Fusion Buddy Review: Brand New, Groundbreaking Gemini-Powered AI App
AI Fusion Buddy Review: Brand New, Groundbreaking Gemini-Powered AI AppAI Fusion Buddy Review: Brand New, Groundbreaking Gemini-Powered AI App
AI Fusion Buddy Review: Brand New, Groundbreaking Gemini-Powered AI App
 
Measures in SQL (SIGMOD 2024, Santiago, Chile)
Measures in SQL (SIGMOD 2024, Santiago, Chile)Measures in SQL (SIGMOD 2024, Santiago, Chile)
Measures in SQL (SIGMOD 2024, Santiago, Chile)
 
LORRAINE ANDREI_LEQUIGAN_HOW TO USE ZOOM
LORRAINE ANDREI_LEQUIGAN_HOW TO USE ZOOMLORRAINE ANDREI_LEQUIGAN_HOW TO USE ZOOM
LORRAINE ANDREI_LEQUIGAN_HOW TO USE ZOOM
 
E-commerce Development Services- Hornet Dynamics
E-commerce Development Services- Hornet DynamicsE-commerce Development Services- Hornet Dynamics
E-commerce Development Services- Hornet Dynamics
 
Using Xen Hypervisor for Functional Safety
Using Xen Hypervisor for Functional SafetyUsing Xen Hypervisor for Functional Safety
Using Xen Hypervisor for Functional Safety
 
Automated software refactoring with OpenRewrite and Generative AI.pptx.pdf
Automated software refactoring with OpenRewrite and Generative AI.pptx.pdfAutomated software refactoring with OpenRewrite and Generative AI.pptx.pdf
Automated software refactoring with OpenRewrite and Generative AI.pptx.pdf
 
Revolutionizing Visual Effects Mastering AI Face Swaps.pdf
Revolutionizing Visual Effects Mastering AI Face Swaps.pdfRevolutionizing Visual Effects Mastering AI Face Swaps.pdf
Revolutionizing Visual Effects Mastering AI Face Swaps.pdf
 
GraphSummit Paris - The art of the possible with Graph Technology
GraphSummit Paris - The art of the possible with Graph TechnologyGraphSummit Paris - The art of the possible with Graph Technology
GraphSummit Paris - The art of the possible with Graph Technology
 

The Genesis of Holistic Systems Design

  • 1. The Genesis of Holistic Systems Design From System Architecture Overview to Detailed Physical Design with GENESYS, E3.series and the IncQuery Suite Enrique Krajmalnik, Zuken Istvan Rath, IncQuery.io, Inc 2021 INCOSE Western States Regional Conference – San Diego, CA Copyright © 2021 by Enrique Krajmalnik and Istvan Rath. Permission granted to INCOSE to publish and use.
  • 2. The MBSE Value Chain 2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 3 § 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. 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! 2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 4
  • 4. Example: transition to detailed design Transition to Detailed Design V-Model 2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 5
  • 5. The silo problem of “transition to detailed design” Video Drone Model Cable/Harness Systems Engineering Detailed Design § 2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 6 SysML extension for ECAD (Electrical Computer-aided Design) (modeling-languages.com)
  • 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) 2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 7
  • 7. What causes 3C’s? § Input error § Forgetting/missing something § Copy/paste error § Incorrect mappings § Roundtripping gone bad § Change 2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 8
  • 8. Our take 2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 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
  • 9. The E3.GENESYS Connector 2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 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
  • 10. Building the Electrical Viewpoint 2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 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
  • 11. The E3.GENESYS Interface 2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 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
  • 12. Video demonstration of the GENESYS.E3 Connector 2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 13
  • 13. Our take 2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 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
  • 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 2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 15
  • 15. The IncQuery Suite Connects to: 2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 16
  • 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 ààà 2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 17
  • 17. 3C Analysis for the GENESYS.E3 Connector 2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 18 § Step 1: Initial mapping performed with GENESYS.E3 Connector – Result: • Partially complete (Subsystem mapping is disabled by default) “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
  • 18. Step 2: Adding missing wiring and signal allocation 2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 19
  • 19. 3C Analysis 2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 20 § Step 3: Re-run the validation – Result: One pair of allocation problems is resolved
  • 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 2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 21
  • 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! § https://www.zuken.com/us/product/model-based-wire-harness-design/ § https://incquery.io 2021 WSRC – The Genesis of Holistic Systems Design | Enrique Krajmalnik and Istvan Rath 22