Generating Model Transformations for Mending Dynamic Constraint - PowerPoint PPT Presentation

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 Internet of Things Sensor Networks “ Cyber ” Embedded Control Distributed Control Real-Time Control Control SCADA Discrete Control 3 Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21 st 2014.

Introduction: What are Cyber Physical Systems? Electrical and Computer Engineering 1) Governed by laws of physics 2) In continuous time. T a n k e r P i l o t B o o m O p e r a t o r U A V U A V O p e r a t o r 6 4 Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21 st 2014.

Introduction: Motivating the Research Electrical and Computer Engineering 5 Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21 st 2014.

Structural Constraints Electrical and Computer Engineering Class3 Attribute Attribute start Operation Operation State Name entry/action Class1 action do/activity Attribute State exit/action Attribute event/action(arguments) Operation Operation 1..* end Class2 Attribute Attribute Operation Operation 6 Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21 st 2014.

Dynamic Constraints Electrical and Computer Engineering 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 21 st 2014.

Dynamic Constraint Feedback Electrical and Computer Engineering 8 Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21 st 2014.

Dynamic Constraint Feedback Electrical and Computer Engineering State of the Art in Domain-Speci fic Modeling Metaprogramming Interface Application Domain Environment Application Evolution Evolution Formal App. App. App. Speci fica tions 1 2 N DSM Environment CONSTRAINTS and Model Builder Meta-level Model Translation Interpretation Models Model Interpreters Execute Model CPS Analysis and Transformations Veri fi cation Tool(s) 9 Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21 st 2014.

Example Language: SimpleSim Electrical and Computer Engineering SimpleSim Metamodel 10 Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21 st 2014.

Example Language: SimpleSim Electrical and Computer Engineering 11 Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21 st 2014.

Transformations Electrical and Computer Engineering Add New Elements Connect Existing Elements Alter Existing Elements 12 Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21 st 2014.

How do we transform this system? Electrical and Computer Engineering Constraint = 1.2 2 0 6 2 13 Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21 st 2014.

Transformation: Add New Element Electrical and Computer Engineering Original “ Fixed ” System 0 Constraint = 1.2 2 2 0 6 0 6 2 2 Constraint = 1.2 14 Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21 st 2014.

Transformation: Alter Existing Element Electrical and Computer Engineering Original “ Fixed ” System Constraint = 1.2 Constraint = 1.2 2 2 0 2 6 6 2 2 15 Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21 st 2014.

Transformation: Connect Existing Elements Electrical and Computer Engineering Original “ Fixed ” System Constraint = 1.2 2 Constraint = 1.2 2 0 0 6 6 2 2 16 Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21 st 2014.

Contextual Example: DARES Electrical and Computer Engineering Latency: 12350 Area: 0/400 17 Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21 st 2014.

Contextual Example: DARES Electrical and Computer Engineering Latency: 10430 Area: 100/400 18 Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21 st 2014.

Contextual Example: DARES Electrical and Computer Engineering Latency: 8510 Area: 200/400 19 Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21 st 2014.

Contextual Example: DARES Electrical and Computer Engineering Latency: 6680 Area: 300/400 20 Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21 st 2014.

Contextual Example: DARES Electrical and Computer Engineering Latency: 6590 Area: 400/400 Switch to a new critical path 21 Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21 st 2014.

Contextual Example: DARES Electrical and Computer Engineering Latency: 2740 Area: 410/400 Revert to previous critical path 22 Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21 st 2014.

Contextual Example: DARES Electrical and Computer Engineering Latency: 4680 Area: 310/400 23 Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, DSM October 21 st 2014.

Electrical and Computer Engineering Questions? 10/22/2014 24