Software Verification for Low Power, Safety Critical Systems

The goal of the SAFEPOWER project (an EU Horizon 2020 programme) is to enable the development of low power mixed-criticality systems through the provision of a reference architecture, platforms and tools to facilitate the development, testing, and validation of these kinds of systems according to the market needs.

Simon Davidmann of Imperas Software, presented an overview of SAFEPOWER – Xilinx Zynq 7000 device, hypervisor, OS, applications and then focused on the software architecture which help address safety critical aspects of the platform, and outlined about the software simulation tools (for example for power estimation and management) and software verification at the DVClub Europe Conference which took place on 29th November 2016.

The Presentation Slides and Videos are available now!