PINCETTE: Validating changes and upgrades in networked software

Hana Chockler, Giovanni Denaro, Meijia Ling, Grigory Fedyukovich, Antti E.J. Hyvärinen, Leonardo Mariani, Ali Muhammad, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina, Michael 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
    PublisherIEEE Institute of Electrical and Electronic Engineers
    Pages461-464
    ISBN (Electronic)978-0-7695-4948-4
    ISBN (Print)978-1-4673-5833-0
    DOIs
    Publication statusPublished - 2013
    MoE publication typeA4 Article in a conference publication
    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
    Country/TerritoryItaly
    CityGenova
    Period5/03/138/03/13

    Keywords

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

    Fingerprint

    Dive into the research topics of 'PINCETTE: Validating changes and upgrades in networked software'. Together they form a unique fingerprint.

    Cite this