PhD Topic - Short version

12
A Multi-Paradigm Modeling Foundation For Collaborative Multi-view Model/System Development István Dávid 03/19/15 – Sebastian Herzig’s visit

Transcript of PhD Topic - Short version

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