User: Guest  Login
Title:

On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems

Document type:
Konferenzbeitrag
Author(s):
Cha, Suhyun; Ulbrich, Mattias; Weigl, Alexander; Beckert, Bernhard; Land, Kathrin; Vogel-Heuser, Birgit
Abstract:
Modern large scale technical systems, as known as cyber physical systems of systems, often face iterative changes on their behaviours with requirement of validated quality which is not easy to achieve completely with traditional testing. Regression verification is a powerful tool for the formal correctness analysis of software driven systems. By proving that a new revision of the software behaves similarly as the original version of the software, some of the trust that the old software and syste...     »
Book / Congress title:
17th IEEE International Conference on Industrial Informatics (IEEE INDIN)
Publisher address:
Helsinki, Finnland
Year:
2019
Pages:
413--418
Covered by:
Scopus; Web of Science
WWW:
https://www.indin2019.org/program/full/
 BibTeX