University of Leicester
Browse

Sound conformance testing for cyber-physical systems: Theory and implementation

Download (2.08 MB)
journal contribution
posted on 2017-09-04, 13:26 authored by Hugo Araujo, Gustavo Carvalhoa, Morteza Mohaqeqi, Mohammad Reza Mousavi, Augusto Sampaio
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.

Funding

The work of M.R. Mousavi has been partially supported by the Swedish Research Council (Vetenskapsradet) award number: 621-2014-5057 (Effective Model-Based Testing of Concurrent Systems), the Swedish Knowledge Foundation (Stiftelsen for Kunskaps- och Kompetensutveckling) in the context of the AUTO-CAAS HoG project (number: 20140312), and the ELLIIT Strategic Research Area. The work of Hugo Araujo, Gustavo Carvalho and Augusto Sampaio was partially supported by the CIn-UFPE/Motorola cooperation project, as well as CNPq grants 303022/2012-4 and 132332/2015-9.

History

Citation

Science of Computer Programming, 2017

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science

Version

  • VoR (Version of Record)

Published in

Science of Computer Programming

Publisher

Elsevier

issn

0167-6423

eissn

1872-7964

Acceptance date

2017-07-20

Copyright date

2017

Available date

2017-09-04

Publisher version

http://www.sciencedirect.com/science/article/pii/S0167642317301429?via=ihub

Language

en

Usage metrics

    University of Leicester Publications

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC