Is Your Code as Cool as Expected? 2016-02-18T12:37:52+00:00
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..

  • Deploying millions of embedded devices in the environment possess a challenge on how to power them.
  • Although a lot of achievements have been made in optimizing the energy consumption of hardware, these energy saving capabilities are not adequately exposed to the software developer
  • We propose a framework for exposing the energy consumption of software written for a specific platform, to support energy aware systems design.
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.

Presentation:
T&VS NEWSLETTER SIGN-UP
The T&VS newsletters inform you about industry news, events and information from T&VS. No spam, we promise and it is always easy to unsubscribe.
We never share your information. Read our Privacy Statement
Interested in Formal Verification?
Then why not attend the TVS Formal
Verification Bootcamp training?
The 2-day Formal Verification Bootcamp is for design and verification engineers looking to enhance their knowledge of formal verification and to learn how to write effective assertions to find and fix bugs. The course is a mix of presentations and hands-on development exercises.
Bootcamp Enquiry Form
If you are interested in receiving additional information on the course then simply email Mike Bartley (TVS CEO and Course Leader) by entering your details below.
Interested in SystemC?
FREE SystemC UVM Library Now Available
The TVS SystemC UVM library closely mimics UVM but gives users a license free UVM-based verification environment.
Have your product requirements been successfully tested and implemented?
Find out how asureSIGN can help you implement a successful Requirements Driven Verification and Test Strategy by visiting asureSIGN or enter your details and we will be in touch.
Course Dates and Pricing
To receive additional information, including course dates and pricing, please contact our training team who will be happy to help.
Download Request
Please complete the following form then click 'submit' to access the download.
Presentation Request
Please complete the following form then click 'submit' to gain access to the presentations.
DOWNLOAD REQUEST
Please complete the following form and then click 'submit' to gain access to the download.
FREE QA ASSESSMENTS
Did you get what you were looking?

Let the testing experts help. We will run a FREE QA assessment which will include our top 5 recommendations to help maximise your testing.