Generating Model Transformations for Mending Dynamic Constraint - - PowerPoint PPT Presentation

▶

Dec 12, 2022 354 likes •600 views

Arizona s First University. Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems Sean Whitsitt and Jonathan Sprinkle Introduction: Cyber Physical Systems Electrical and Computer Engineering

SLIDE 1

Arizona’s First University.

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems

Sean Whitsitt and Jonathan Sprinkle

SLIDE 2

Electrical and Computer Engineering

Introduction: Cyber Physical Systems

3

Control

Internet of Things Sensor Networks Distributed Control SCADA Embedded Control Real-Time Control Discrete Control “Cyber”

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21st 2014.

SLIDE 3

Electrical and Computer Engineering

1) Governed by laws of physics 2) In continuous time.

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21st 2014.

6

B

O p e r a t

T a n k e r P i l

U A V O p e r a t

U A V

4

Introduction: What are Cyber Physical Systems?

SLIDE 4

Electrical and Computer Engineering

5

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21st 2014.

Introduction: Motivating the Research

SLIDE 5

Electrical and Computer Engineering

Structural Constraints

6

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21st 2014.

Operation Operation Attribute Attribute Class1 1..* Operation Operation Attribute Attribute Class2 Operation Operation Attribute Attribute Class3 start end State Name entry/action do/activity exit/action event/action(arguments) State action

SLIDE 6

Electrical and Computer Engineering

Dynamic Constraints

Any constraint that requires some analysis on system artifacts or models.

7

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21st 2014.

SLIDE 7

Electrical and Computer Engineering

Dynamic Constraint Feedback

8

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21st 2014.

SLIDE 8

Electrical and Computer Engineering

Dynamic Constraint Feedback

9 State of the Art in Domain-Specific Modeling

DSM Environment CONSTRAINTS and Model Builder Models Model Interpreters Metaprogramming Interface Formal Specifications Application Domain Meta-level Translation Model Interpretation App. 1 App. 2 App. N Environment Evolution Application Evolution

Execute CPS Analysis and Verification Tool(s) Model Transformations

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21st 2014.

SLIDE 9

Electrical and Computer Engineering

Example Language: SimpleSim

10

SimpleSim Metamodel

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21st 2014.

SLIDE 10

Electrical and Computer Engineering

Example Language: SimpleSim

11

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21st 2014.

SLIDE 11

Electrical and Computer Engineering

Transformations

12

Add New Elements Alter Existing Elements Connect Existing Elements

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21st 2014.

SLIDE 12

Electrical and Computer Engineering

How do we transform this system?

13

2 2 6 Constraint = 1.2

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21st 2014.

SLIDE 13

Electrical and Computer Engineering

Transformation: Add New Element

14

2 2 6 Constraint = 1.2 2 2 6 Constraint = 1.2

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21st 2014.

Original “Fixed” System

SLIDE 14

Electrical and Computer Engineering

Transformation: Alter Existing Element

15

2 2 6 Constraint = 1.2

2 2 2 6 Constraint = 1.2

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21st 2014.

Original “Fixed” System

SLIDE 15

Electrical and Computer Engineering

Transformation: Connect Existing Elements

16

2 2 6 Constraint = 1.2 2 2 6 Constraint = 1.2

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21st 2014.

Original “Fixed” System

SLIDE 16

Electrical and Computer Engineering

Contextual Example: DARES

17

Latency: 12350 Area: 0/400

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21st 2014.

SLIDE 17

Electrical and Computer Engineering

Contextual Example: DARES

18

Latency: 10430 Area: 100/400

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21st 2014.

SLIDE 18

Electrical and Computer Engineering

Contextual Example: DARES

19

Latency: 8510 Area: 200/400

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21st 2014.

SLIDE 19

Electrical and Computer Engineering

Contextual Example: DARES

20

Latency: 6680 Area: 300/400

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21st 2014.

SLIDE 20

Electrical and Computer Engineering

Contextual Example: DARES

21

Latency: 6590 Area: 400/400 Switch to a new critical path

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21st 2014.

SLIDE 21

Electrical and Computer Engineering

Contextual Example: DARES

22

Latency: 2740 Area: 410/400 Revert to previous critical path

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21st 2014.

SLIDE 22

Electrical and Computer Engineering

Contextual Example: DARES

23

Latency: 4680 Area: 310/400

Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21st 2014.