PINCETTE - Validating Changes and Upgrades in Networked Software

Author

Chockler, H. ; Denaro, G. ; Meijia Ling ; Fedyukovich, G. ; Hyvrinen, A.E.J. ; Mariani, Leonardo ; Muhammad, Ajmal ; Oriol, Manuel ; Rajan, A. ; Sery, O. ; Sharygina, Natasha ; Tautschnig, Michael

fYear

2013

fDate

5-8 March 2013

Firstpage

461

Lastpage

464

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.

Keywords

networked control systems; program testing; program verification; software maintenance; software tools; EU FP7 project; PINCETTE; dynamic software verification tool; life cycle; maintenance upgrade; networked control system; networked software; software correctness; software error; software testing; static software verification tool; Aerodynamics; Educational institutions; Europe; Monitoring; Performance analysis; Software; Testing; Software validation and verification; change impact analysis; incremental software development; model checking; run-time monitoring; software testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Maintenance and Reengineering (CSMR), 2013 17th European Conference on

Conference_Location

Genova

ISSN

1534-5351

Print_ISBN

978-1-4673-5833-0

Type

conf

DOI

10.1109/CSMR.2013.72

Filename

6498511