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
    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 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). IEEE Institute of Electrical and Electronic Engineers . 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. IEEE Institute of Electrical and Electronic Engineers , 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 = "IEEE Institute of Electrical and Electronic Engineers",
    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. IEEE Institute of Electrical and Electronic Engineers , 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. IEEE Institute of Electrical and Electronic Engineers , 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 - IEEE Institute of Electrical and Electronic Engineers

    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. IEEE Institute of Electrical and Electronic Engineers . 2013. p. 461-464 https://doi.org/10.1109/CSMR.2013.72