Benutzer: Gast  Login
Titel:

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

Dokumenttyp:
Konferenzbeitrag
Autor(en):
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...     »
Kongress- / Buchtitel:
17th IEEE International Conference on Industrial Informatics (IEEE INDIN)
Verlagsort:
Helsinki, Finnland
Jahr:
2019
Seiten:
413--418
Nachgewiesen in:
Scopus; Web of Science
WWW:
https://www.indin2019.org/program/full/
 BibTeX