Please use this identifier to cite or link to this item:
Title: Sound conformance testing for cyber-physical systems: Theory and implementation
Authors: Araujo, Hugo
Carvalhoa, Gustavo
Mohaqeqi, Morteza
Mousavi, Mohammad Reza
Sampaio, Augusto
First Published: 4-Aug-2017
Publisher: Elsevier
Citation: Science of Computer Programming, 2017
Abstract: Conformance testing is a formal and structured approach to verifying system correctness. We propose a conformance testing algorithm for cyber-physical systems, based on the notion of hybrid conformance by Abbas and Fainekos. We show how the dynamics of system specification and the sampling rate play an essential role in making sound verdicts. We specify and prove error bounds that lead to sound test-suites for a given specification and a given sampling rate. We use reachability analysis to find such bounds and implement the proposed approach using the CORA toolbox in Matlab. We apply the implemented approach on a case study from the automotive domain.
DOI Link: 10.1016/j.scico.2017.07.002
ISSN: 0167-6423
eISSN: 1872-7964
Version: Publisher Version
Status: Peer-reviewed
Type: Journal Article
Rights: Copyright © the authors, 2017. This is an open-access article distributed under the terms of the Creative Commons Attribution-Non Commercial-No Derivatives License (, which permits use and distribution in any medium, provided the original work is properly cited, the use is non-commercial and no modifications or adaptations are made.
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
1-s2.0-S0167642317301429-main.pdfPublished (publisher PDF)2.13 MBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.