phd topic - short version
TRANSCRIPT
A Multi-Paradigm Modeling FoundationFor Collaborative Multi-view Model/System Development
István Dávid
03/19/15 – Sebastian Herzig’s visit
Motivation
Characteristics of the (efficient) design process:
Modeling is a key to handle complexity
Multiple participants from different domains resulting in
Multiple views on the same problem, product, deliverable, etc
Multiple paradigms to tackle single parts of a problem
The need for efficient collaboration
Associated project: MBSE4Mechatronics
Infrastructure for declaration of consistency relationships
Infrastructure for evaluation and enforcement of consistency
2
Model consistency Tool integration
Motivation
Characteristics of the (efficient) design process:
Modeling is a key to handle complexity
Multiple participants from different domains resulting in
Multiple views on the same problem, product, deliverable, etc
Multiple paradigms to tackle single parts of a problem
The need for efficient collaboration
Associated project: MBSE4Mechatronics
Infrastructure for declaration of consistency relationships
Infrastructure for evaluation and enforcement of consistency
3
Model consistency Tool integration
Literature review
cca 80-90 papers
Followed references
Recommendations
Currently processing
Categorization
Ontology
4
MPM Consistency Management
Use the most appropriate consistency management technique during the MVM design process
Modeled Processes, Languages, Dependencies
5
FTG+PM Ahsan’s work
Source: Qamar, Paredis, Wikander, During,“Dependency Modeling and
Model Management in Mechatronic Design”
MPM Consistency Management
Use the most appropriate consistency management technique during the MVM design process
Modeled Processes, Languages, Dependencies
6
FTG+PM Ahsan’s work
Source: Qamar, Paredis, Wikander, During,“Dependency Modeling and
Model Management in Mechatronic Design”
Synthesis property
Analysis property
Derived analysis property
Syntax and semantics: just a draft
Motivation
Characteristics of the (efficient) design process:
Modeling is a key to handle complexity
Multiple participants from different domains resulting in
Multiple views on the same problem, product, deliverable, etc
Multiple paradigms to tackle single parts of a problem
The need for efficient collaboration
Associated project: MBSE4Mechatronics
Infrastructure for declaration of consistency relationships
Infrastructure for evaluation and enforcement of consistency
7
Model consistency Tool integration
A framework for inconsistency management
Set of techniques
Combine them to address inconsistency management
8
A framework for inconsistency management
Set of techniques
Combine them to address inconsistency management
9
Quick fix generation for consistency recovery
Quick fix generation for consistency recovery
Quick fix
Manual and automated transformations aiming to bring back the model to a consistent state
Technique
DSE
Identify consistent states
Evaluate the feasible solutions (via cost models or heuristics)
Quality of QFs
Level of relationship between properties
Certainty of synthesis properties
10
Quick fix generation for consistency recovery
Quick fix
Manual and automated transformations aiming to bring back the model to a consistent state
Technique
DSE
Identify consistent states
Evaluate the feasible solutions (via cost models or heuristics)
Quality of QFs
Level of relationship between properties
Certainty of synthesis properties
11
L1: influence graphsL2: sensitivityL3: mathematical relation
Quality increases
Quick fix generation for consistency recovery
Quick fix
Manual and automated transformations aiming to bring back the model to a consistent state
Technique
DSE
Identify consistent states
Evaluate the feasible solutions (via cost models or heuristics)
Quality of QFs
Level of relationship between properties
Certainty of synthesis properties
12
L1: influence graphsL2: sensitivityL3: mathematical relation
Quality increases
Design PMs
PM
bran
ch #
1
PM
bran
ch #2
PM
bran
ch #3
Reconciliation PMsDesign PMs
PM
bran
ch #
1
PM
bran
ch #2
PM
bran
ch #3