PINCETTE - Validating Changes and Upgrades in Networked Software

Hana Chockler; Giovanni Denaro; Meijia Ling; Grigory Fedyukovich; Antti Hyvärinen; Leonardo Mariani; Ali Muhammad; Manuel Oriol; Ajitha Rajan; Ondrej Sery; Natasha Sharygina

PINCETTE - Validating Changes and Upgrades in Networked Software

Hana Chockler, Giovanni Denaro, Meijia Ling, Grigory Fedyukovich, Antti Hyvärinen, Leonardo Mariani, Ali Muhammad, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

2 Citations (Scopus)

19 Downloads (Pure)

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 language	English
Title of host publication	17th European Conference on Software Maintenance and Reengineering, CSMR 2013
Publisher	IEEE Computer Society
Pages	461-464
Number of pages	5
Publication status	Published - 5 Mar 2013

Access to Document

submission

Cite this

@inbook{38f731b066af470e9d792480b5047fca,

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.",

author = "Hana Chockler and Giovanni Denaro and Meijia Ling and Grigory Fedyukovich and Antti Hyv{\"a}rinen and Leonardo Mariani and Ali Muhammad and Manuel Oriol and Ajitha Rajan and Ondrej Sery and Natasha Sharygina",

year = "2013",

month = mar,

day = "5",

language = "English",

pages = "461--464",

booktitle = "17th European Conference on Software Maintenance and Reengineering, CSMR 2013",

publisher = "IEEE Computer Society",

}

TY - CHAP

T1 - PINCETTE - Validating Changes and Upgrades in Networked Software

AU - Chockler, Hana

AU - Denaro, Giovanni

AU - Ling, Meijia

AU - Fedyukovich, Grigory

AU - Hyvärinen, Antti

AU - Mariani, Leonardo

AU - Muhammad, Ali

AU - Oriol, Manuel

AU - Rajan, Ajitha

AU - Sery, Ondrej

AU - Sharygina, Natasha

PY - 2013/3/5

Y1 - 2013/3/5

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.

M3 - Conference paper

SP - 461

EP - 464

BT - 17th European Conference on Software Maintenance and Reengineering, CSMR 2013

PB - IEEE Computer Society

ER -

PINCETTE - Validating Changes and Upgrades in Networked Software

Abstract

Access to Document

Fingerprint

Cite this