Abstract
Networked control systems ensure today's dependability of
essential infrastructure such as water, electricity and
transportation. Over a life cycle of tens of years,
maintenance upgrades of the software running these
control systems must not introduce new software errors or
otherwise break existing functionality. The EU FP7
project PINCETTE addresses this challenge by employing a
combination of static and dynamic software verification
tools. The changes between versions are used both as
guidance for improving efficiency of software
verification, and also to define new notions of
correctness. We report on current progress and initial
validation results by our industrial partners.
Original language | English |
---|---|
Title of host publication | Proceedings of the European Conference on Software Maintenance and Reengineering |
Publisher | IEEE Institute of Electrical and Electronic Engineers |
Pages | 461-464 |
ISBN (Electronic) | 978-0-7695-4948-4 |
ISBN (Print) | 978-1-4673-5833-0 |
DOIs | |
Publication status | Published - 2013 |
MoE publication type | A4 Article in a conference publication |
Event | 17th European Conference on Software Maintenance and Reengineering, CSMR 2013 - Genova, Italy Duration: 5 Mar 2013 → 8 Mar 2013 |
Conference
Conference | 17th European Conference on Software Maintenance and Reengineering, CSMR 2013 |
---|---|
Abbreviated title | CSMR 2013 |
Country/Territory | Italy |
City | Genova |
Period | 5/03/13 → 8/03/13 |
Keywords
- change impact analysis
- incremental software development
- model checking
- run-time monitoring
- software testing
- software validation and verification