Explore the words cloud of the POWVER project. It provides you a very rough idea of what is the project "POWVER" about.
The following table provides information about the project.
Coordinator |
UNIVERSITAT DES SAARLANDES
Organization address contact info |
Coordinator Country | Germany [DE] |
Project website | https://www.powver.org |
Total cost | 2˙425˙000 € |
EC max contribution | 2˙425˙000 € (100%) |
Programme |
1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC)) |
Code Call | ERC-2015-AdG |
Funding Scheme | ERC-ADG |
Starting year | 2016 |
Duration (year-month-day) | from 2016-09-01 to 2021-08-31 |
Take a look of project's partnership.
# | ||||
---|---|---|---|---|
1 | UNIVERSITAT DES SAARLANDES | DE (SAARBRUCKEN) | coordinator | 2˙425˙000.00 |
Twenty years ago we were able to repair cars at home. Nowadays customer services repair coffee machines. By installing software updates. Soon you will no longer be able to repair your bike.
Embedded software innovations boost our society; they help us tremendously in our daily life. But we do not understand what the software does, regardless of how well educated or smart we are. Proprietary embedded software has become an opaque layer between functionality and user. That layer is thick enough to possibly induce malicious or unintended behaviour. Proprietary embedded software locks us out of the products we own.
We need a turn to open and hence customisable embedded software. However, a minor customisation might well have strong unexpected impact, for instance on the longevity of an embedded battery, or the safety of the battery charging process. We thus need means to detect, quantify and prevent such implications.
The POWVER project lays the foundations. It provides quantitative verification technology for system-level correctness, safety, dependability, and performability. In this endeavour, POWVER takes up a hard scientific challenge, a challenge where discrete and continuous, real-time, stochastic as well as data- and user-dependent aspects are all deeply intertwined: embedded software for electric power management. Electric power is intricate to handle by software, is safety-critical, but vital for mobile devices and their longevity. Since ever more tools, gadgets, and vehicles run on batteries and use power harvesting, power management is a pivot of the future.
POWVER will demonstrate that quantitative verification of open embedded software is feasible, and can ensure safe and dependable operation of safety-critical devices. A proof of concept will target the field of electric mobility, set up as a blueprint for other battery-powered appliances. As such, POWVER is the nucleus for a radical change in the way embedded software quality is assured in general.
year | authors and title | journal | last update |
---|---|---|---|
2017 |
Pedro R. D’Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns Is your software on dope? Formal analysis of surreptitiously“enhanced†programs published pages: 83-110, ISSN: , DOI: 10.1007/978-3-662-54434-1_4 |
Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017 | 2019-06-13 |
2017 |
Holger Hermanns, Jan Krcál, Gilles Nies How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty published pages: , ISSN: 2199-2002, DOI: |
Leibniz Transactions on Embedded Systems Vol 4., Issue 1 | 2019-06-13 |
2018 |
Holger Hermanns, Sebastian Biewer, Pedro R. D\'Argenio and Maximilian A. Köhl Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions published pages: vol 57, pages 1-, ISSN: , DOI: |
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning | 2019-06-06 |
2018 |
Kevin Baum, Holger Hermanns, Timo Speith From Machine Ethics To Machine Explainability and Back published pages: 384-402, ISSN: , DOI: |
International Symposium on Artificial Intelligence and Mathematics, ISAIM 2018 | 2019-06-06 |
2018 |
Yuliya Butkova Discounted Markov Automata published pages: , ISSN: , DOI: |
POWVER Technical Report | 2019-06-06 |
2018 |
KLAUCK, M.; STEINMETZ, M.; HOFFMANN, J.; HERMANNS, H. Compiling Probabilistic Model Checking into Probabilistic Planning published pages: , ISSN: , DOI: |
International Conference on Automated Planning and Scheduling, North America | 2019-06-06 |
2016 |
Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan KrÄál, Gilles Nies, Marvin Stenger Battery-Aware Scheduling in Low Orbit: The GomX-3 Case published pages: 559-576, ISSN: , DOI: 10.1007/978-3-319-48989-6_34 |
21st International Symposium on Formal Methods, FM 2016 | 2019-06-13 |
2016 |
Gilles Nies, Marvin Stenger, Jan KrÄál, Holger Hermanns, Morten Bisgaard, David Gerhardt,
Boudewijn R. Haverkort, Marijn Jongerden, Kim G. Larsen, and Erik R. Wognsen Mastering Operational Limitations of LEO Satellites: The GomX-3 Approach published pages: , ISSN: , DOI: |
67th International Astronautical Congress, IAC 2016 | 2019-06-13 |
2016 |
Holger Hermanns My O Is Bigger Than Yours (Invited Talk) published pages: , ISSN: , DOI: 10.4230/LIPIcs.FSTTCS.2016.3 |
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016 | 2019-06-13 |
2016 |
Gilles Barthe, Pedro R. D’Argenio, Bernd Finkbeiner, Holger Hermanns Facets of Software Doping published pages: 601-608, ISSN: , DOI: 10.1007/978-3-319-47169-3_46 |
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA (2) 2016 | 2019-06-13 |
2016 |
Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan KrÄál, Pavel KrÄál Effective Static and Dynamic Fault Tree Analysis published pages: 266-280, ISSN: , DOI: 10.1007/978-3-319-45477-1_21 |
35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016 | 2019-06-13 |
2016 |
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini Exploiting Robust Optimization for Interval Probabilistic Bisimulation published pages: 55-71, ISSN: , DOI: 10.1007/978-3-319-43425-4_4 |
13th International Conference on Quantitative Evaluation of Systems, QEST 2016 | 2019-06-13 |
Are you the coordinator (or a participant) of this project? Plaese send me more information about the "POWVER" project.
For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.
Send me an email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.
Thanks. And then put a link of this page into your project's website.
The information about "POWVER" are provided by the European Opendata Portal: CORDIS opendata.