POWVER Quantitative Verification

The POWVER awardee has pioneered quantitative verification in the bike sector when designing the first ever wireless bike brake, coined as a demonstrator for our technology, showing outstanding reliability estimates.

Furthermore, POWVER researchers are closely following and interacting with the EnergyBus standardisation efforts. EnergyBus is an open standard for interoperability of all electrical components of e-bikes and other light electric vehicles, encompassing batteries, chargers, motors, sensors, and human interface. It is driven by the EnergyBus association, a consortium of major industrial players in the e-bike domain, and includes the Chair for Dependable Systems and Software at Saarland University as academic partner. State-of-the-art protocol engineering methods and tools are applied to the EnergyBus specifications under design, so as to arrive at a formal and unambiguous specification of the EnergyBus protocols. In this process, quantitative verification has already helped us to iron out safety-critical problems in the draft documents. The EnergyBus standard is the nucleus for the joint IEC/ISO standardisation IEC/IS/TC69/JPT61851-3, aiming at eventually enabling a single charger to be used across all light electric vehicles.

We have developed a tool platform for the automatised conformance testing of EnergyBus implementations against their formal specification. The POWVER project will turn this platform into a full fledged and effetively usable quantitative verification engine for e-bike software and more general open embedded software.

POWVER will ensure safety-critical open software to operate safely and dependably.

This requires foundational and algorithmic advances that are all but obvious to establish, because they intertwine discrete and continuous, real-time, stochastic as well as data- and user- dependent aspects. The power-centric approach will harvest and extend our highly precise battery models, nowadays in use for automatic day-ahead mission planning of GOMX-3, the first in-orbit demonstration nano satellite commisioned by the European Space Agency, launched into space from ISS in October 2015.

Read on to learn about POVWER Impact.