PINCETTE

Validating changes and upgrades in networked software

H. Chockler, G. Denaro, M. Ling, G. Fedyukovich, A.E.J. Hyvrinen, L. Mariani, Ali Muhammad, M. Oriol, A. Rajan, O. Sery, N. Sharygina, M. Tautschnig

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

2 Citations (Scopus)

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 languageEnglish
Title of host publicationProceedings of the European Conference on Software Maintenance and Reengineering
PublisherInstitute of Electrical and Electronic Engineers IEEE
Pages461-464
ISBN (Electronic)978-0-7695-4948-4
ISBN (Print)978-1-4673-5833-0
DOIs
Publication statusPublished - 2013
MoE publication typeNot Eligible
Event17th European Conference on Software Maintenance and Reengineering, CSMR 2013 - Genova, Italy
Duration: 5 Mar 20138 Mar 2013

Conference

Conference17th European Conference on Software Maintenance and Reengineering, CSMR 2013
Abbreviated titleCSMR 2013
CountryItaly
CityGenova
Period5/03/138/03/13

Fingerprint

Networked control systems
Life cycle
Electricity
Control systems
Water

Keywords

  • change impact analysis
  • incremental software development
  • model checking
  • run-time monitoring
  • software testing
  • software validation and verification

Cite this

Chockler, H., Denaro, G., Ling, M., Fedyukovich, G., Hyvrinen, A. E. J., Mariani, L., ... Tautschnig, M. (2013). PINCETTE: Validating changes and upgrades in networked software. In Proceedings of the European Conference on Software Maintenance and Reengineering (pp. 461-464). Institute of Electrical and Electronic Engineers IEEE. https://doi.org/10.1109/CSMR.2013.72
Chockler, H. ; Denaro, G. ; Ling, M. ; Fedyukovich, G. ; Hyvrinen, A.E.J. ; Mariani, L. ; Muhammad, Ali ; Oriol, M. ; Rajan, A. ; Sery, O. ; Sharygina, N. ; Tautschnig, M. / PINCETTE : Validating changes and upgrades in networked software. Proceedings of the European Conference on Software Maintenance and Reengineering. Institute of Electrical and Electronic Engineers IEEE, 2013. pp. 461-464
@inproceedings{7e43ba0a4c8445bda5d0611ae01c697a,
title = "PINCETTE: Validating changes and upgrades in networked software",
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 = "change impact analysis, incremental software development, model checking, run-time monitoring, software testing, software validation and verification",
author = "H. Chockler and G. Denaro and M. Ling and G. Fedyukovich and A.E.J. Hyvrinen and L. Mariani and Ali Muhammad and M. Oriol and A. Rajan and O. Sery and N. Sharygina and M. Tautschnig",
year = "2013",
doi = "10.1109/CSMR.2013.72",
language = "English",
isbn = "978-1-4673-5833-0",
pages = "461--464",
booktitle = "Proceedings of the European Conference on Software Maintenance and Reengineering",
publisher = "Institute of Electrical and Electronic Engineers IEEE",
address = "United States",

}

Chockler, H, Denaro, G, Ling, M, Fedyukovich, G, Hyvrinen, AEJ, Mariani, L, Muhammad, A, Oriol, M, Rajan, A, Sery, O, Sharygina, N & Tautschnig, M 2013, PINCETTE: Validating changes and upgrades in networked software. in Proceedings of the European Conference on Software Maintenance and Reengineering. Institute of Electrical and Electronic Engineers IEEE, pp. 461-464, 17th European Conference on Software Maintenance and Reengineering, CSMR 2013, Genova, Italy, 5/03/13. https://doi.org/10.1109/CSMR.2013.72

PINCETTE : Validating changes and upgrades in networked software. / Chockler, H.; Denaro, G.; Ling, M.; Fedyukovich, G.; Hyvrinen, A.E.J.; Mariani, L.; Muhammad, Ali; Oriol, M.; Rajan, A.; Sery, O.; Sharygina, N.; Tautschnig, M.

Proceedings of the European Conference on Software Maintenance and Reengineering. Institute of Electrical and Electronic Engineers IEEE, 2013. p. 461-464.

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

TY - GEN

T1 - PINCETTE

T2 - Validating changes and upgrades in networked software

AU - Chockler, H.

AU - Denaro, G.

AU - Ling, M.

AU - Fedyukovich, G.

AU - Hyvrinen, A.E.J.

AU - Mariani, L.

AU - Muhammad, Ali

AU - Oriol, M.

AU - Rajan, A.

AU - Sery, O.

AU - Sharygina, N.

AU - Tautschnig, M.

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

KW - change impact analysis

KW - incremental software development

KW - model checking

KW - run-time monitoring

KW - software testing

KW - software validation and verification

U2 - 10.1109/CSMR.2013.72

DO - 10.1109/CSMR.2013.72

M3 - Conference article in proceedings

SN - 978-1-4673-5833-0

SP - 461

EP - 464

BT - Proceedings of the European Conference on Software Maintenance and Reengineering

PB - Institute of Electrical and Electronic Engineers IEEE

ER -

Chockler H, Denaro G, Ling M, Fedyukovich G, Hyvrinen AEJ, Mariani L et al. PINCETTE: Validating changes and upgrades in networked software. In Proceedings of the European Conference on Software Maintenance and Reengineering. Institute of Electrical and Electronic Engineers IEEE. 2013. p. 461-464 https://doi.org/10.1109/CSMR.2013.72