ICT CT Fra rame mework works for Analysi ysing ng, , Op - PowerPoint PPT Presentation

ICT CT Fra rame mework works for Analysi ysing ng, , Op Optimiz imizing ing and Building ding Sma mart rt Grids ids and Ene nergy gy Awa ware re Bui uildings ldings Ki Kim m G. Lar . Larsen – Aalborg University DENMARK

CIS ISS S – Center er For Embedded dded Softwar tware e Systems tems Regional ional ICT Center er (2002 2002- ) 3 research groups  Characte cteri ristica stica : Computer Science  Control Theory   Dedicated function Hardware  Wireless Communication  Complex environment   SW/HW/Mechanics 20 20 Employed   Networked 25 Associated 25   Autonomous 20 20 PhD Students   Ressource constrained 50 50 Industrial projects  10 10 Elite-students  : Energy 100+ 100 + MDKK  : Bandwidth : Memory ARTIST Design  : … ARTEMIS   Timi iming g con onstrain straints ... ...  Future e Green Technolog ology - Japan anese-Dan anis ish Joint t Workshop, op, 2012 2012 Kim G. Larse sen [2]

ES are of ofte ten Safet fety Critical itical 300 horse power 100 processors How to achieve ES that are: • correct • predicable • dependable • fault tolerant • ressource minial • cheap .. Model-Based Based Develop lopment ment Future e Green Technolog ology - Japan anese-Dan anis ish Joint t Workshop, op, 2012 2012 Kim Larse sen [3]

UPPAAL AAL Model el Checke ecker Simulator Discrete Control Concurrency Editor Continuous Aspects Stochasticity Timing Constraints Resources Performance Verifier Analyses Future e Green Technolog ology - Japan anese-Dan anis ish Joint t Workshop, op, 2012 2012 Kim Larse sen [4]

UPPAAL AAL Model el Checke ecker Simulator Discrete Control Concurrency Editor Continuous Aspects Stochasticity Timing Constraints Resources Performance Verifier Analyses Future e Green Technolog ology - Japan anese-Dan anis ish Joint t Workshop, op, 2012 2012 Kim Larse sen [5]

Ov Overview view  Da DaNES NES  Climate Control – Synthesis  Bright ight Green reen  Optimal Scheduling  Homeport  MT MT-LAB & IDEA 4 CPS CPS VKR-Center of Excellence Sino-Danish Basic Research Center  Chinese Smart Grid  Danish Defense Building Administration  ENC NCOURAGE OURAGE  Embedded iNtelligent COntrols for bUildings with Renewable generAtion and storaGE  SENSATION Futu ture re Green een Tech chnolog ogy y - Japanese ese-Da Danish sh Joint t Work rksh shop, , 2012 Kim Larse sen [6]

Climat limate e Con ontr trol ol Future e Green Technolog ology - Japan anese-Dan anis ish Joint t Workshop, op, 2012 2012 Kim Larse sen [7]

Zo Zone ne-based based Climat limate e Con ontr trol ol Temp[i+1] Temp[i-1] Temp[i] Future e Green Technolog ology - Japan anese-Dan anis ish Joint t Workshop, op, 2012 Kim Larse sen [8]

Ob Obje jectiv ctive e & St Strate ategy gy BDD 289 n odes Simulink Stragegy 1296 cases Objective control : A[] (Temp>12 && Temp<14) Future e Green Technolog ology - Japan anese-Dan anis ish Joint t Workshop, op, 2012 Kim Larse sen [9]

Ob Obje jectiv ctive e & St Strate ategy gy BDD 289 n odes Simulink Plastic c Injecti ction on Molding ding Machine ne Q uasimodo  Robust and optimal control  Tool Chain – Synthesis: UPPAAL TIGA – Verification: PHAVer Stragegy – Performance: SIMULIN LINK 1296 cases  40% improvement of existing solutions.. Objective Kim G Larsen ESI Symposium, December 4, 2008 Page 14 control : A[] (Temp>12 && Temp<14) Future e Green Technolog ology - Japan anese-Dan anis ish Joint t Workshop, op, 2012 Kim Larse sen [10 10]

The he Ene nerg rgy y Awa ware re Ho Hous use Future e Green Technolog ology - Japan anese-Dan anis ish Joint t Workshop, op, 2012 Kim Larse sen [11 11]

The he Ene nerg rgy y Plan lanner ner Future e Green Technolog ology - Japan anese-Dan anis ish Joint t Workshop, op, 2012 2012 Kim G. Larse sen [12 12]

The he Ene nerg rgy y Plan lanner ner Future e Green Technolog ology - Japan anese-Dan anis ish Joint t Workshop, op, 2012 2012 Kim G. Larse sen [13 13]

Sma mart rt Bui uildings ldings Future e Green Technolog ology - Japan anese-Dan anis ish Joint t Workshop, op, 2012 Kim G. Larse sen [14 14]

Ho Home me Por ort HOMEPO EPORT Important diversity of Home  Automation networks and protocols No common interface to access and  control devices HomePort provide a common  interface to heterogeneous networked devices TECHNOLO LOGIES IES Based on well known standards: ARC RCHITEC HITECTURE URE  RESTful architecture for scalable and  easy interfacing TLS 1.0 for secured connections  ZeroConf for LaN service discovery  Implemented in C to fit resource  constrained systems Targets Linux based systems  Log system for local and remote  monitoring Part of several projects  (e.g. ENCOURAGE) Future re Green n Techno nolo logy y - Japan anese se-Da Danish nish Joint Worksh shop, p, 2012 2012 Kim G. Larse sen [15 15]

Ho Home me Por ort t Proj ojec ect t Facts ts (www www.e .ener ergy gybo box.dk) x.dk) Period: 2009 – 2011  Budget: 10.6 mill.kr.  GOALS Funding: 8 mill. kr. (2.6 mill. kr. for companies)   Implementation for co-existence of Knowledge institution partners: AAU (CISS), AU/Alexandra Institute,  different home devices and energy optimization CSI, IHA  Validation of a number of scenarios Initial private partners: Develco, Seluxit, Servodan   Collaboration with industrial partners Additional partners: Zense Techology, Danfoss Heating, LIAB,   Investigate the business potential NEOGRID Also a number of networked partners  Futu ture re Green een Tech chnolog ogy y - Japanese ese-Da Danish sh Joint t Work rksh shop, , 2012 Kim G. Larse sen [16 16]

MT-LAB MT & IDEA 4 CPS CPS Basic Research Centers MT MT-LA LAB Sino-Danish Basic Research Center 25MDKK / 3y MT-LAB - a VKR Centre of Excellence is a research centre, which explores and develops methods for formal verification of modern IDEA 4 CPS PS Fou advanced software systems . oundati tion ons for CPS MT-LAB aims at solving the problems imposed by IT-systems becoming embedded in the world around us: how Inst. of Software Chinese Academy of Sciences, I can we make sure that they behave Beijing, China safely and give us an acceptable performance? Technical University of Denmark, D Lyngby, Denmark Future Green Technolo ology - Japanes-Danis ish Joint Wor orkshop op, 2012 E Kim Larsen n [21 21] East China Normal University, Shanghai, China VKR Center of Excellence Aalborg University, A Denmark 40MDKK / 5y Futur ure Green n Techn hnology - Japane nes-Dani nish h Joint nt Worksho hop, 2012 Kim Larsen n [21 21] Future e Green Technolog ology - Japan anese-Dan anis ish Joint t Workshop, op, 2012 2012 Kim Larse sen [17 17]

Chi hinese nese Sma mart rt Grid id Motivation – The Grid Motivation – Storm … Electricity workers repair the damaged power transmission tower in Yihuang County of south China's Jiangxi Province, Feb. 12, 2008. (Xinhua Photo) E. Yüksel et al. TASE 2012 3 Modelling and Analysis of Smart Grid Ender Yksel, DTU Hanna R Nielson, DTU Flemming Nielson, DTU Huibiao Zhu, ECNU Heqing Huang, Wuxi SensingNet Inst. E. Yüksel et al. TASE 2012 4 Modelling and Analysis of Smart Grid Future e Green Technolog ology - Japan anese-Dan anis ish Joint t Workshop, op, 2012 2012 Kim Larse sen [18 18]

Sma mart rt Elect ctricity ricity Tow ower Electricity Transmission Line Bone node Bone node Bone Bone node node Electricity Tower  linear arrangement of towers Bone node  100 towers  200m intervals  1 bone node, 50 sensors  Range of bone node:  distance measurement sensor  closest two neighbours – regular link  voltage measurement sensor  less closer two other neighbours – backup link WSN  short circuit fault sensor Bone node  vibration transducer  Backup links are obviously more costly  leaning degree measurement sensor  A bone node transmits to the end that is cheaper to reach  line swing sensor E. Yüksel et al. TASE 2012 7 Modelling and Analysis of Smart Grid  wind direction sensor Line swing Wind direction &  wind velocity sensor sensor velocity sensor Goals Leaning degree  Star topology measurement sensor  Low probability of errors  Single-hop Bone node Vibration transducer sensor  Good capabilities to recover Sensor E. Yüksel et al. TASE 2012 8 Modelling and Analysis of Smart Grid from errors  Good performance wrt energy consumption Future e Green Technolog ology - Japan anese-Dan anis ish Joint t Workshop, op, 2012 2012 Kim Larse sen [19 19]