|Conference:||Verification Futures 2016 (click here to see full programme)|
|Speaker:||Kyriakos Georgiou (Research Associate and PhD student)|
|Organisation:||University of Bristol|
|Presentation Title:||Is your code as cool as expected?|
|Abstract:||The Internet of Things is no longer just on paper, it is becoming a reality. The applications space is very large, but is the technology available ready to take the IoT to the next level? Deploying millions of embedded devices in the environment poses a challenge on how to power them.
Battery-based solutions can be costly and impractical due to the need for replacement. A better solution is a combination of energy harvesting with ultra-low-energy embedded devices. Energy harvesting comes with two caveats. Firstly, it’s an unreliable source of energy and secondly it cannot yet deliver the required energy budgets for many of the IoT applications. Although, a lot of achievements have been made in optimizing the energy consumption of hardware, there is too little done to expose the energy savings hardware can realize to the software developer.
We propose a framework for exposing the energy consumption of software written for a specific platform, as part of the embedded systems power budget verification cycle. This enables hardware teams, programmers, tool chain developers and runtime system engineers to make energy aware decisions in order to meet their strict energy constraints..
|Speaker Bio:||Kyriakos Georgiou holds a M.Sc. in Internet Technologies with Security from the University of Bristol and a B.Sc. in Computer Science (2008) from the University of Cyprus. He has worked as a Research Assistant at the Computer Science Department of the University of Cyprus (2007 – 2008) conducting research on web personalization using an eye-tracker. He has also worked as a Compiler Engineer at XMOS Ltd (2010-2011) and then at Paralant Ltd (2011-2012). During the last three years, Kyriakos has been working as a Research Associate at the University of Bristol, on the ENTRA project that aimed to promote “energy-aware” software development using advanced program analysis and modelling of energy consumption in computer systems.
Currently he is working for the EMC2 European project, with the aim to establish Multi-Core technology in all relevant Embedded Systems domains. His main research interests are WCET analysis, static code analysis, compilers optimizations, energy consumption analysis and optimizations and software testing.