Oplægget blev holdt ved et seminar i InfinIT-interessegruppen Højniveau sprog til indlejrede systemer, der blev afholdt den 6. marts 2013. Læs mere om interessegruppen her: http://www.infinit.dk/dk/interessegrupper/hoejniveau_sprog_til_indlejrede_systemer/hoejniveau_sprog_til_indlejrede_systemer.htm

1. CISS - Projects
Homeport related
Infinit meeting
March 2013
Anders P. Ravn
Aalborg University, Denmark

2. Projects
• Encourage (June 2011 - September 2013)
• INTrEPID (Nov. 2012 – Nov. 2014)
• TotalFlex (April 2012 - April 2014)
• Cassting (March 2013 - March 2016)
• Infinit (Feburary 2013 - March 2014)
• ArrowHead (May 2013 - May 2015)

3. Baseline Home Energy Management
Energy Analytics
Broadband
Cellular,
WiFi, etc.
“Cloud”
Utility Gateway Home Energy
Management
AMI White
goods
Thermostat
Electric
Solar Geothermal Smart Meter Boilers / heaters Smart plugs
Cars

4. Baseline - requirements

5. Baseline – HomePort middleware
Open Source: https://github.com/home-port/HomePort
Linux based, c-library

6. Objectives
• Categorize distributed generation sources and related
requirements, considering different forms of ownership
and modes of operation.
• Develop control logic for individual generation sources,
• Develop control logic for managing major loads in
buildings
• Develop a local energy management system with
efficient supervisory control logic for the local system.
• Address interoperability issues between micro-
generation sources and building energy management
system

7. Tasks
4.1: Microgeneration and energy-storage
management (ADV, ENEL, RSE)
4.2: Supervisory control of building loads
(HON, AAU, SLX, ENEL, RSE)
4.3: Energy management system (HON,
AAU, SLX, ENEL, RSE)

8. Baseline – tools UPPAAL
• World leading tool for modeling and
analysis of real-time systems.
– Verification
– Performance Analysis (CORA)
– Synthesis (TIGA)
– Testing (TRON)
– Statistical Model Checking (SMC)

9. Actors in Development and Deployment