Towards a Constraint BasedApproach for Self-HealingSmart GridsICSE 2013 International Workshop on Software Engineering Cha...
Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on ...
Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on ...
Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on ...
Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on ...
Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on ...
Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on ...
Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on ...
Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on ...
Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on ...
Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on ...
Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on ...
Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on ...
Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on ...
Upcoming SlideShare
Loading in …5
×

SE4SG 2013 : Towards a Constraint Based Approach for Self-Healing Smart Grids

326 views
202 views

Published on

SE4SG 2013 Presentation by Vasileios Koutsoumpas at 2nd International Workshop on Software Engineering Challenges for the Smart Grid.

Please cite our workshop at
Ian Gorton, Yan Liu, Heiko Koziolek, Anne Koziolek, and Mazeiar Salehie. 2013. 2nd international workshop on software engineering challenges for the smart grid (SE4SG 2013). In Proceedings of the 2013 International Conference on Software Engineering (ICSE '13). IEEE Press, Piscataway, NJ, USA, 1553-1554.

Published in: Technology, Health & Medicine
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
326
On SlideShare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
0
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

SE4SG 2013 : Towards a Constraint Based Approach for Self-Healing Smart Grids

  1. 1. Towards a Constraint BasedApproach for Self-HealingSmart GridsICSE 2013 International Workshop on Software Engineering Challengesfor the Smart Grid18.05.2013 Smart Grid Research Initiative / Computing Faculty / Technical University of Munich – http://smartgrid.in.tum.de/ 1Vasileios Koutsoumpas, TechnicalUniversity of MunichPragya K. Gupta, Fortiss GmbH
  2. 2. Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on SE4SG18.05.2013 Smart Grid Research Initiative / Computing Faculty / Technical University of Munich – http://smartgrid.in.tum.de/ Slide: 2Overview and Backround Electrical GridBalance between consumption and productionCentral power generationRenewable energy sources and ICTReformation of the grid New FeaturesHandling of bidirectional energy flowsAutomatic fault detectionSelf-healing of the networkDemand-side managementLoad adjustmentSmart sensingSmart Market
  3. 3. Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on SE4SGScenario 2Scenario 118.05.2013 Smart Grid Research Initiative / Computing Faculty / Technical University of Munich – http://smartgrid.in.tum.de/ Slide: 3Research MotivationPowerGenerator BPowerGenerator ASwitch 1Switch 2Switch 3LSLSLSCar hitsswitch 2ConnectedRegionloosespowerCustomerinform theenergyproviderEnergyProviderassign thetask totechniciansProblemDetectionRepair-ActionStableStateCar hitsswitch 2ReroutingSwitch 3closesOnly notreachableRegionlooses powerEnergyProvidersendtechniciansto theisolatedregionRepair-ActionStable StateWhat just happened?Runtime verification, Repair actionselected and executed, Self-HealingProcessMain Questions:How to develop self-healing systemsefficiently?Model based/formal methodModel everythingFormalize semanticsFormal SpecificationVerification
  4. 4. Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on SE4SG18.05.2013 Smart Grid Research Initiative / Computing Faculty / Technical University of Munich – http://smartgrid.in.tum.de/ Slide: 4System Theory: FOCUSC COnOffpresspressProperties Formal System Specification Composition/Decomposition RefinementC2 C3C1Toolsupport Autofocus3
  5. 5. Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on SE4SG18.05.2013 Smart Grid Research Initiative / Computing Faculty / Technical University of Munich – http://smartgrid.in.tum.de/ Slide: 5Logical Specification with Predicate LogicSystem SpecificationComponent 1InputOutputAttributesConstraintsFormal System Specification Signature ∑ : A set of attributes Constraint Language CL(∑) : A set oflogical constraints over the signature ∑. Logical Specification Self-Healing Properties Runtime Verification
  6. 6. Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on SE4SG18.05.2013 Smart Grid Research Initiative / Computing Faculty / Technical University of Munich – http://smartgrid.in.tum.de/ Slide: 6Physical Cells7Energy BusData Bus5-4-8 -314 113 200 -6-2-18-2 3-57Energy BusData Bus5-4-8 -314 113 200 -6-2-18-2 3-57Energy BusData Bus5-4-8 -314 113 200 -6-2-18-2 3-5
  7. 7. Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on SE4SG18.05.2013 Smart Grid Research Initiative / Computing Faculty / Technical University of Munich – http://smartgrid.in.tum.de/ Slide: 7Architecture for the Smart GridPhysical Layer (Physical Cells)CC CCCC CCCC CCCC CClogical Layer (Logical Cells)Functional LayerFRFRFR FRFRFR FR FRTop-DownBottom-Up Functional Layer: Describes the usage functionality thata system offers its environment. Functionalrequirements are used to formalize this functionality(black box view) Logical Layer: Describes how the functionality is realizedby a network of interacting logical cells Physical Layer: Describes the physical infrastructure andthe concrete realization of a functionality with alltechnical details (glass box view) Hybrid Approach
  8. 8. Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on SE4SG18.05.2013 Smart Grid Research Initiative / Computing Faculty / Technical University of Munich – http://smartgrid.in.tum.de/ Slide: 8Cellular Model for the Smart GridMarketPhysical CellLogical CellEnergy FlowData FlowEnergy andData FlowFlexibilityOperator Vision of future grids Physical cells conform to a given policy Policies derive mostly from the functionalrequirements Example: Autonomous behavior is a FR. Thiscan be interpreted as a policy. This policy canbe formalized. FR->Policies->Formalization by predicate logic Logical cell realizes concepts that are domainspecific. Example flexibility operator Market role Cellular decomposition Cellular composition
  9. 9. Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on SE4SG18.05.2013 Smart Grid Research Initiative / Computing Faculty / Technical University of Munich – http://smartgrid.in.tum.de/ Slide: 9Diagnosis Model for Self-Healing SmartGridsSytem ModelData SpaceGeneralizedDataData CollectionHypothesis Space Therapy-Repair-SpaceGeneralHypothesesHypotheses-SolutionsGeneral Plan forTherapie-RepairConcreteActions forHealingDataGeneralizationTherapy-RepairSystemi1i3i2i4o4o3Formal Specification withconstraintsSelection ofHealingActionsCreation ofHealing ActionsRecognition ofInconsistenciesHypothesisSelectionHypothesisCheckingCreation ofHypothesisAlternativesCellEnergy FlowDataFlowEnergyand DataFlowCellPhysical CellLogical Cell Search SpacesData space: set of possible measurementsHypothesis space: set of all possible reasons that can causeany dysfunction to the systemTherapy-repair space: a set of all actions that can confrontsome dysfunction ValuesPossible values: valid or notNormal values: valid values that declare the normaloperationObserved values: from measurement devices or sensorsPredicted values• OperationsData gathering operationsTherapy-repair operationsSelection operations
  10. 10. Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on SE4SG18.05.2013 Smart Grid Research Initiative / Computing Faculty / Technical University of Munich – http://smartgrid.in.tum.de/ Slide: 10The Gap between normal and brokenStateNormal StateBroken StateDegraded StateDetection ofSystem FailureSystem recoverySystem recoveryDetection ofSystem Failure
  11. 11. Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on SE4SGOutlook Focus on the fuzzy zone Evaluation E-Energy Framework and ToolSupport Smart City Simulation18.05.2013 Smart Grid Research Initiative / Computing Faculty / Technical University of Munich – http://smartgrid.in.tum.de/ Slide: 11Past, Present and FutureSytem ModelData SpaceGeneralizedDataData CollectionHypothesis Space Therapy-Repair-SpaceGeneralHypothesesHypotheses-SolutionsGeneral Plan forTherapie-RepairConcreteActions forHealingDataGeneralizationTherapy-RepairSystemi1i3i2i4o4o3Formal Specification withconstraintsSelection ofHealingActionsCreation ofHealing ActionsRecognition ofInconsistenciesHypothesisSelectionHypothesisCheckingCreation ofHypothesisAlternativesCellEnergy FlowDataFlowEnergyand DataFlowCellPhysical CellLogical Cell
  12. 12. Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on SE4SG18.05.2013 Smart Grid Research Initiative / Computing Faculty / Technical University of Munich – http://smartgrid.in.tum.de/ Slide: 12EndThank you for your Attention!
  13. 13. Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on SE4SG18.05.2013 Smart Grid Research Initiative / Computing Faculty / Technical University of Munich – http://smartgrid.in.tum.de/ Slide: 13Discussion
  14. 14. Koutsoumpas, Gupta: Towards a Constraint Based Approach for Self-Healing Smart Grids. ICSE 2013 International Workshop on SE4SG18.05.2013 Smart Grid Research Initiative / Computing Faculty / Technical University of Munich – http://smartgrid.in.tum.de/ Slide: 14Smart Grid InitiativeGeorg Hackenberg, TechnicalUniversity of Munich, Goal OrientedModeling of RequirementsMaximilian Irlbeck, TechnicalUniversity of Munich, ReferenceArchitecture for Smart GridsVasileios Koutsoumpas, TechnicalUniversity of Munich, Self-HealingApplications for Smart GridsDenis Bytchkow, Fortiss GmbH, GoalOriented Modeling of RequirementsPragya K. Gupta, Fortiss GmbH,Requirements Engineering

×