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.

Chockler, H., Denaro, G., Ling, M., Fedyukovich, G., Hyvrinen, A., Mariani, L., et al. (2013). PINCETTE - Validating Changes and Upgrades in Networked Software. In European Conference on Software Maintenance and Reengineering, CSMR 2013 (pp.461-464). IEEE [10.1109/CSMR.2013.72].

PINCETTE - Validating Changes and Upgrades in Networked Software

DENARO, GIOVANNI;MARIANI, LEONARDO;
2013

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.
paper
dynamic analysis, static analysis, model inference, model checking, test case generation, symbolic execution
English
European Conference on Software Maintenance and Reengineering, CSMR 2013 5 March 2013 through 8 March 2013
2013
European Conference on Software Maintenance and Reengineering, CSMR 2013
978-076954948-4
2013
461
464
6498511
reserved
Chockler, H., Denaro, G., Ling, M., Fedyukovich, G., Hyvrinen, A., Mariani, L., et al. (2013). PINCETTE - Validating Changes and Upgrades in Networked Software. In European Conference on Software Maintenance and Reengineering, CSMR 2013 (pp.461-464). IEEE [10.1109/CSMR.2013.72].
File in questo prodotto:
File Dimensione Formato  
PINCETTEPaper.pdf

Solo gestori archivio

Tipologia di allegato: Other attachments
Dimensione 494.26 kB
Formato Adobe PDF
494.26 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/42696
Citazioni
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 0
Social impact