SlideShare a Scribd company logo
Denver, CO, USA
Vienna, Austria
Budapest, Hungary
Bridging the Validation Gap: Next-Level
Model Governance in Digital-Twin
Engineering
A Journey to Consistency
Speaker
Dr. Ákos Horváth, CTO
IncQuery Group
About IncQuery
Co-creating
digital engineering success
We can help with
• Complexity challenges
• Boosting MBSE buy-in
• Increasing productivity
We are what you need
• Full service partner
• Co-processing developer
• Business innovator
We deliver what you demand
• Consultancy by experts
• End-to-end toolchain architecture
• Tailor-made engineering tools
• Excellence within budget
The IncQuery Group is an international team of engineering experts with a strong R&D background.
We strive to be the trusted industry partner for engineering organizations working in
Mission- and Safety Critical contexts, to get their work done easier and faster.
Context
MBSE Digital Thread, Digital Data Fabric, Digital Engineering
System of System Engineering, AI-Driven Digital Engineering,
…
and the list goes on
From
• Constructing buildings,
• Aqueducts
• Bridges
• Ships
• Sewers
• Steam locomotives
To
• Very large systems
• Systems of systems
• Complex socio-technical
systems
• Smart *
• and in situ medical devices
Copyright Incose 2035 vision: http://sevisionweb.incose.org/
The past - System Engineering of the old
Adaptation of SE
• varies across industry domains,
organizations, and projects.
Practices
• Well-founded in
• Requirement management
• Functional analysis
• Safety assessment
• Emerging
• Knowledge representation
• Multi-domain sim and
processing
Complexity growth is exponential
• Software Complexity
(over 1BN Loc for ADAS)
Tool landscape
• Specialized tools for each
discipline
• Proprietary data formats
• Limited standardization
Source: INCOSE 2035 vision: http://sevisionweb.incose.org
The present - Systems Engineering of today
• Wider range of standardization
and enterprise adaptation
• Integrate other disciplines
such as data science, hybrid
simulation
• Formal systems engineering
theoretical foundations
• AI will both impact
• the systems engineering
practice
• and the systems to be
designed
Source: INCOSE 2035 vision: http://sevisionweb.incose.org
The future – Challenges
of System Engineering
One possible solution approach –
Digital-twin pipelines
Source: “Taming Monsters With Dragons or How to Build Digital Twins The Right Way” - Robert Karban
What is
“engineering work” quality?
Model quality and technical debt
What Is Model Quality?
Free from
Common Mistakes
Methodology
Conformance
Standards Compliance
Example: “Common Mistakes”
Basic SysML omission error:
State Machine has an outbound
Transition from a Choice Pseudostate
that does not have a Guard
Impact: “Accidental” ambiguity
→ Model interpretation may be not be
consistent across the team
→ Unintended behavior may appear in the
system
→ Potential cybersecurity issue in the
end product
https://www.saic.com/digital-engineering-validation-tool
Example: Standards Compliance
Common SysML Compliance Issue
Proxy ports must be typed by an
Interface Block (SysML v1.6 Section
9.3.2.13 Constraints)
Impact Chain: We think we are using
SysML correctly as specified
→ Our model may be incompatible with
other SysML tools
→ Simulations may fail and other
downstream tools may report errors
→ Rework → Missed deadlines →
Budget overruns
Example: Methodology Conformance
Common Gap: Missing Trace
Relationships
Each Use Case element must have
«refine» or «trace» relationships to a
Requirement element
Impact Chain: Non-conformance to
MBSE method traceability rules
→ Missing traceability link
→ ISO26262 violation
→ Certification audit finding
→ Rework → Missed deadlines →
Budget overruns
What Are The Sources Of Model Quality Issues?
Lack of
Expertise
Invisible
Errors
Awareness
of
Readiness
Modeling Tool != Drawing Tool
Technical (/Complexity) Debt
• Represents the deferred costs of repairing, reworking, or replacing a product that
wasn’t built correctly from the beginning
o Like financial debt, it can be a useful tool when used at the right time for the right
purposes
o The goal is not to eliminate debt but to make better informed choices about debt
• Model rework is often much more difficult than for software
o More often architectural in scope and nature
o Implementation details are exposed to users
o Refactoring of models is less doable piecemeal
o Automated discovery is more difficult
o Defect “contagion” is common
"The Nature of Technical Debt in the Development of Descriptive Models in MBSE"
Ryan Noguchi, Aerospace Corp., INCOSE IS 2024
How can we help?
IncQuery’s approach for
Systematic Model Governance
Quality criteria that define the preconditions for
data exchange in engineering workflows.
Enforce policies (style guidelines) across several
stakeholders (organizations).
Make sure that models are
• Consistent in style (standards conformance);
• Understandable across several teams
(methodology conformance);
• Free of common mistakes & anti-patterns;
• “Complete”.
Model Governance
Quality criteria that define the preconditions for
data exchange in engineering workflows.
Enforce policies (style guidelines) across several
stakeholders (organizations).
Make sure that models are
• Consistent in style (standards conformance);
• Understandable across several teams
(methodology conformance);
• Free of common mistakes & anti-patterns;
• “Complete”.
Model Governance
Standalone
• Add-in for Desktop
• Incremental rule execution →
up to 10X faster than built in
solution
Team
• DevOps pipeline deployment,
integrated with Version Control
• Rich report documents with
Quality Score
Enterprise
• Execute model governance at scale
• Aggregated quality metrics
• Historical updates
• Dashboard-based reporting
Configurable rule set execution at the required place and time.
IncQuery Validator for an “Ecosystem”
SEs
Collaborative work
Standalone - IncQuery Validator for
Helps SE to efficiently, execute
modelling activities and deliver
error-free models. Individual
responsibility, process-driven.
SEs QA
Collaborative work
Governance Automation
Review
Audit
Reporting
Teams - IncQuery Validator for
Helps Teams to collaborate
efficiently, by maintaining
consistency and high quality across
multiple projects.
Enterprise - IncQuery Validator for
Project 1
Project
2
IncQuery Validator:
extract data & evaluate
model quality
IncQuery EKL:
Database to store data
and metadata (historic
results)
File (JSON/CSV)
File share (Sharepoint)
Document DB
Graph DB
API
Displays data in
dashboards
DevOps pipeline On-prem / Cloud
DB
cache
publish
extract
store
Review
Audit
Trends
Validation
Reporting
Dashboards
SEs
QA
Helps the whole Company to collaborate
efficiently, by maintaining consistency and high
quality across all projects and all stakeholders
Dashboard Overview – Current status + history
Dashboard Overview – Common issues
Dashboard Overview - Blame
Summary - today
• SE paradigm shift to formal languages and automation, i.e. MBSE
• Digital threads
• Quality assurance
• Automation
• Systematic qualification and audit trail
• Close gap between engineering documents and models
• Standards based and commoditized
Summary - future
On the market
R&D&I - next steps
IncQuery Validator for
SysMLv2
Synchronized System
wide simulation &
System Engineering
GNSS + Autonomous
driving validation
using graph solvers
(Refinery)
Pragmatic formal
verification of SysML
(v2)
Environment for model-based
rigorous adaptive co-design
and operation of CPS
Thank you!
akos.horvath@incquery.io
US +1 720 655 6118
+1 720 655 8285
EU + 36 30 774 2839
Looking forward to a long-lasting partnership!
Visit our website
Book a Demo with Our Tech Experts
Access Our Case Studies
Subscribe to our newsletter

More Related Content

PDF
IncQuery Group's presentation for the INCOSE Polish Chapter 20220310
PDF
IncQuery-Integrate22-20220607.pdf
PPTX
IncQuery Suite demo for INCOSE 2022IW
PDF
Incquery Suite Models 2020 Conference by István Ráth, CEO of IncQuery Labs
PDF
The Genesis of Holistic Systems Engineering: Completeness and Consistency Man...
PPTX
Incremental Model Queries for Model-Dirven Software Engineering
PPTX
IncQuery-D: Distributed Incremental Model Queries over the Cloud: Engineerin...
PDF
SERENE 2014 School: Incremental Model Queries over the Cloud
IncQuery Group's presentation for the INCOSE Polish Chapter 20220310
IncQuery-Integrate22-20220607.pdf
IncQuery Suite demo for INCOSE 2022IW
Incquery Suite Models 2020 Conference by István Ráth, CEO of IncQuery Labs
The Genesis of Holistic Systems Engineering: Completeness and Consistency Man...
Incremental Model Queries for Model-Dirven Software Engineering
IncQuery-D: Distributed Incremental Model Queries over the Cloud: Engineerin...
SERENE 2014 School: Incremental Model Queries over the Cloud

Similar to Bridging the Validation Gap: Next-Level Model Governance in Digital-Twin Engineering (20)

PDF
SERENE 2014 School: Daniel varro serene2014_school
PPTX
EMF-IncQuery presentation at TOOLS 2012
PDF
A World In Motion
PPTX
Incremental Queries and Transformations for Engineering Critical Systems
PPTX
Developing Digital Twins
PDF
Cloud-based Modelling Solutions Empowering Tool Integration
PPTX
Cloud-based Modelling Solutions Empowering Tool Integration
PPTX
Innoslate, A Model-Based Systems Engineering Tool
PDF
Augmented Agile: Agile Behavior Meets Digital Engineering
PDF
Model Checking as a Service: Towards Pragmatic Hidden Formal Methods
PPTX
In the age of Big Data, what role for Software Engineers?
PDF
David Long Keynote on Beyond MBSE Looking Towards the Next Evolution in Syste...
PDF
How to Perform 21st Century Systems Engineering
PPTX
2024-08-09T05_34_43.221Z-[Template] IndustryX IDEA SUBMISSION (2) (1).pptx
PPTX
2024-08-09T05_34_43.221Z-[Template] IndustryX IDEA SUBMISSION (2) (1).pptx
PPTX
High-performance model queries
PDF
An online tool for requirements engineering, modeling and verification of dis...
PDF
Develop Future Proof IoT: Composable Semantics, Security, FuSa, and QoS
PDF
Next-Generation Completeness and Consistency Management in the Digital Threa...
PDF
IncQuery Server for Teamwork Cloud - Talk at IW2019
SERENE 2014 School: Daniel varro serene2014_school
EMF-IncQuery presentation at TOOLS 2012
A World In Motion
Incremental Queries and Transformations for Engineering Critical Systems
Developing Digital Twins
Cloud-based Modelling Solutions Empowering Tool Integration
Cloud-based Modelling Solutions Empowering Tool Integration
Innoslate, A Model-Based Systems Engineering Tool
Augmented Agile: Agile Behavior Meets Digital Engineering
Model Checking as a Service: Towards Pragmatic Hidden Formal Methods
In the age of Big Data, what role for Software Engineers?
David Long Keynote on Beyond MBSE Looking Towards the Next Evolution in Syste...
How to Perform 21st Century Systems Engineering
2024-08-09T05_34_43.221Z-[Template] IndustryX IDEA SUBMISSION (2) (1).pptx
2024-08-09T05_34_43.221Z-[Template] IndustryX IDEA SUBMISSION (2) (1).pptx
High-performance model queries
An online tool for requirements engineering, modeling and verification of dis...
Develop Future Proof IoT: Composable Semantics, Security, FuSa, and QoS
Next-Generation Completeness and Consistency Management in the Digital Threa...
IncQuery Server for Teamwork Cloud - Talk at IW2019
Ad

More from Ákos Horváth (20)

PDF
Natural Language Understanding of Systems Engineering Artifacts
PDF
IoT Meetup Budapest - The Open-CPS approach
PDF
Multi-disciplinary simulation of Cyber-Physical Systems – The OpenCPS approach
PPTX
V for visualization: VIATRA finally goes graphical thanks to Sirius!
PPTX
DemoCamp Budapest 2016 - Introdcution
PPTX
Incremental model compiler for executable UML
PPTX
MoDeS3 - Model-based Demonstrator for Smart and Safe Systems
PPTX
EMF-IncQuery: Blazing-fast reaction time even for very large diagrams (Sirius...
PPTX
Local search-based pattern matching features in EMF-IncQuery
PPTX
VIATRA 3: A reactive model transformation platform
PPTX
Model visualization made easy: Incremental query-driven views in modeling tools
PPT
CPS(M): Constraint Satisfaction Problem over Models (a.k.a rule based design ...
PPTX
Szoftverfejlesztés a repülőgépiparban
PPTX
Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient H...
PPTX
Software Development for Safety Critical Systems
PPT
Model-Driven Development of ARINC 653 Configuration tables
PPTX
Hardware-Software allocation specification of IMA systems for early simulation
PPTX
IncQuery gets Sirius: faster and better diagrams
PPTX
Massif - the love child of Matlab Simulink and Eclipse
PPTX
Decreasing your Coffe Consumption by Incremental Code regeneration
Natural Language Understanding of Systems Engineering Artifacts
IoT Meetup Budapest - The Open-CPS approach
Multi-disciplinary simulation of Cyber-Physical Systems – The OpenCPS approach
V for visualization: VIATRA finally goes graphical thanks to Sirius!
DemoCamp Budapest 2016 - Introdcution
Incremental model compiler for executable UML
MoDeS3 - Model-based Demonstrator for Smart and Safe Systems
EMF-IncQuery: Blazing-fast reaction time even for very large diagrams (Sirius...
Local search-based pattern matching features in EMF-IncQuery
VIATRA 3: A reactive model transformation platform
Model visualization made easy: Incremental query-driven views in modeling tools
CPS(M): Constraint Satisfaction Problem over Models (a.k.a rule based design ...
Szoftverfejlesztés a repülőgépiparban
Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient H...
Software Development for Safety Critical Systems
Model-Driven Development of ARINC 653 Configuration tables
Hardware-Software allocation specification of IMA systems for early simulation
IncQuery gets Sirius: faster and better diagrams
Massif - the love child of Matlab Simulink and Eclipse
Decreasing your Coffe Consumption by Incremental Code regeneration
Ad

Recently uploaded (20)

PDF
Design an Analysis of Algorithms II-SECS-1021-03
PDF
Nekopoi APK 2025 free lastest update
PDF
medical staffing services at VALiNTRY
PPTX
VVF-Customer-Presentation2025-Ver1.9.pptx
PDF
How to Choose the Right IT Partner for Your Business in Malaysia
PDF
Navsoft: AI-Powered Business Solutions & Custom Software Development
PDF
PTS Company Brochure 2025 (1).pdf.......
PDF
How to Migrate SBCGlobal Email to Yahoo Easily
PDF
wealthsignaloriginal-com-DS-text-... (1).pdf
PDF
Raksha Bandhan Grocery Pricing Trends in India 2025.pdf
PPTX
Operating system designcfffgfgggggggvggggggggg
PDF
Why TechBuilder is the Future of Pickup and Delivery App Development (1).pdf
PDF
Design an Analysis of Algorithms I-SECS-1021-03
PDF
top salesforce developer skills in 2025.pdf
PDF
Internet Downloader Manager (IDM) Crack 6.42 Build 41
PPTX
ai tools demonstartion for schools and inter college
PPTX
Agentic AI : A Practical Guide. Undersating, Implementing and Scaling Autono...
PPTX
Oracle E-Business Suite: A Comprehensive Guide for Modern Enterprises
PPTX
Introduction to Artificial Intelligence
PDF
Internet Downloader Manager (IDM) Crack 6.42 Build 42 Updates Latest 2025
Design an Analysis of Algorithms II-SECS-1021-03
Nekopoi APK 2025 free lastest update
medical staffing services at VALiNTRY
VVF-Customer-Presentation2025-Ver1.9.pptx
How to Choose the Right IT Partner for Your Business in Malaysia
Navsoft: AI-Powered Business Solutions & Custom Software Development
PTS Company Brochure 2025 (1).pdf.......
How to Migrate SBCGlobal Email to Yahoo Easily
wealthsignaloriginal-com-DS-text-... (1).pdf
Raksha Bandhan Grocery Pricing Trends in India 2025.pdf
Operating system designcfffgfgggggggvggggggggg
Why TechBuilder is the Future of Pickup and Delivery App Development (1).pdf
Design an Analysis of Algorithms I-SECS-1021-03
top salesforce developer skills in 2025.pdf
Internet Downloader Manager (IDM) Crack 6.42 Build 41
ai tools demonstartion for schools and inter college
Agentic AI : A Practical Guide. Undersating, Implementing and Scaling Autono...
Oracle E-Business Suite: A Comprehensive Guide for Modern Enterprises
Introduction to Artificial Intelligence
Internet Downloader Manager (IDM) Crack 6.42 Build 42 Updates Latest 2025

Bridging the Validation Gap: Next-Level Model Governance in Digital-Twin Engineering

  • 1. Denver, CO, USA Vienna, Austria Budapest, Hungary Bridging the Validation Gap: Next-Level Model Governance in Digital-Twin Engineering A Journey to Consistency Speaker Dr. Ákos Horváth, CTO IncQuery Group
  • 3. Co-creating digital engineering success We can help with • Complexity challenges • Boosting MBSE buy-in • Increasing productivity We are what you need • Full service partner • Co-processing developer • Business innovator We deliver what you demand • Consultancy by experts • End-to-end toolchain architecture • Tailor-made engineering tools • Excellence within budget The IncQuery Group is an international team of engineering experts with a strong R&D background. We strive to be the trusted industry partner for engineering organizations working in Mission- and Safety Critical contexts, to get their work done easier and faster.
  • 4. Context MBSE Digital Thread, Digital Data Fabric, Digital Engineering System of System Engineering, AI-Driven Digital Engineering, … and the list goes on
  • 5. From • Constructing buildings, • Aqueducts • Bridges • Ships • Sewers • Steam locomotives To • Very large systems • Systems of systems • Complex socio-technical systems • Smart * • and in situ medical devices Copyright Incose 2035 vision: http://sevisionweb.incose.org/ The past - System Engineering of the old
  • 6. Adaptation of SE • varies across industry domains, organizations, and projects. Practices • Well-founded in • Requirement management • Functional analysis • Safety assessment • Emerging • Knowledge representation • Multi-domain sim and processing Complexity growth is exponential • Software Complexity (over 1BN Loc for ADAS) Tool landscape • Specialized tools for each discipline • Proprietary data formats • Limited standardization Source: INCOSE 2035 vision: http://sevisionweb.incose.org The present - Systems Engineering of today
  • 7. • Wider range of standardization and enterprise adaptation • Integrate other disciplines such as data science, hybrid simulation • Formal systems engineering theoretical foundations • AI will both impact • the systems engineering practice • and the systems to be designed Source: INCOSE 2035 vision: http://sevisionweb.incose.org The future – Challenges of System Engineering
  • 8. One possible solution approach – Digital-twin pipelines Source: “Taming Monsters With Dragons or How to Build Digital Twins The Right Way” - Robert Karban
  • 9. What is “engineering work” quality? Model quality and technical debt
  • 10. What Is Model Quality? Free from Common Mistakes Methodology Conformance Standards Compliance
  • 11. Example: “Common Mistakes” Basic SysML omission error: State Machine has an outbound Transition from a Choice Pseudostate that does not have a Guard Impact: “Accidental” ambiguity → Model interpretation may be not be consistent across the team → Unintended behavior may appear in the system → Potential cybersecurity issue in the end product https://www.saic.com/digital-engineering-validation-tool
  • 12. Example: Standards Compliance Common SysML Compliance Issue Proxy ports must be typed by an Interface Block (SysML v1.6 Section 9.3.2.13 Constraints) Impact Chain: We think we are using SysML correctly as specified → Our model may be incompatible with other SysML tools → Simulations may fail and other downstream tools may report errors → Rework → Missed deadlines → Budget overruns
  • 13. Example: Methodology Conformance Common Gap: Missing Trace Relationships Each Use Case element must have «refine» or «trace» relationships to a Requirement element Impact Chain: Non-conformance to MBSE method traceability rules → Missing traceability link → ISO26262 violation → Certification audit finding → Rework → Missed deadlines → Budget overruns
  • 14. What Are The Sources Of Model Quality Issues? Lack of Expertise Invisible Errors Awareness of Readiness Modeling Tool != Drawing Tool
  • 15. Technical (/Complexity) Debt • Represents the deferred costs of repairing, reworking, or replacing a product that wasn’t built correctly from the beginning o Like financial debt, it can be a useful tool when used at the right time for the right purposes o The goal is not to eliminate debt but to make better informed choices about debt • Model rework is often much more difficult than for software o More often architectural in scope and nature o Implementation details are exposed to users o Refactoring of models is less doable piecemeal o Automated discovery is more difficult o Defect “contagion” is common "The Nature of Technical Debt in the Development of Descriptive Models in MBSE" Ryan Noguchi, Aerospace Corp., INCOSE IS 2024
  • 16. How can we help? IncQuery’s approach for Systematic Model Governance
  • 17. Quality criteria that define the preconditions for data exchange in engineering workflows. Enforce policies (style guidelines) across several stakeholders (organizations). Make sure that models are • Consistent in style (standards conformance); • Understandable across several teams (methodology conformance); • Free of common mistakes & anti-patterns; • “Complete”. Model Governance
  • 18. Quality criteria that define the preconditions for data exchange in engineering workflows. Enforce policies (style guidelines) across several stakeholders (organizations). Make sure that models are • Consistent in style (standards conformance); • Understandable across several teams (methodology conformance); • Free of common mistakes & anti-patterns; • “Complete”. Model Governance
  • 19. Standalone • Add-in for Desktop • Incremental rule execution → up to 10X faster than built in solution Team • DevOps pipeline deployment, integrated with Version Control • Rich report documents with Quality Score Enterprise • Execute model governance at scale • Aggregated quality metrics • Historical updates • Dashboard-based reporting Configurable rule set execution at the required place and time. IncQuery Validator for an “Ecosystem”
  • 20. SEs Collaborative work Standalone - IncQuery Validator for Helps SE to efficiently, execute modelling activities and deliver error-free models. Individual responsibility, process-driven.
  • 21. SEs QA Collaborative work Governance Automation Review Audit Reporting Teams - IncQuery Validator for Helps Teams to collaborate efficiently, by maintaining consistency and high quality across multiple projects.
  • 22. Enterprise - IncQuery Validator for Project 1 Project 2 IncQuery Validator: extract data & evaluate model quality IncQuery EKL: Database to store data and metadata (historic results) File (JSON/CSV) File share (Sharepoint) Document DB Graph DB API Displays data in dashboards DevOps pipeline On-prem / Cloud DB cache publish extract store Review Audit Trends Validation Reporting Dashboards SEs QA Helps the whole Company to collaborate efficiently, by maintaining consistency and high quality across all projects and all stakeholders
  • 23. Dashboard Overview – Current status + history
  • 24. Dashboard Overview – Common issues
  • 26. Summary - today • SE paradigm shift to formal languages and automation, i.e. MBSE • Digital threads • Quality assurance • Automation • Systematic qualification and audit trail • Close gap between engineering documents and models • Standards based and commoditized
  • 27. Summary - future On the market R&D&I - next steps IncQuery Validator for SysMLv2 Synchronized System wide simulation & System Engineering GNSS + Autonomous driving validation using graph solvers (Refinery) Pragmatic formal verification of SysML (v2) Environment for model-based rigorous adaptive co-design and operation of CPS
  • 28. Thank you! akos.horvath@incquery.io US +1 720 655 6118 +1 720 655 8285 EU + 36 30 774 2839 Looking forward to a long-lasting partnership! Visit our website Book a Demo with Our Tech Experts Access Our Case Studies Subscribe to our newsletter