Article (Scientific journals)
Uncertainty-aware Specification and Analysis for Hardware-in-the-Loop Testing of Cyber Physical Systems
Shin, Seung Yeob; Chaouch, Karim; Nejati, Shiva et al.
2021In Journal of Systems and Software
Peer Reviewed verified by ORBi
 

Files


Full Text
journal.pdf
Author postprint (2.59 MB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Test Case Specification and Analysis; Cyber Physical Systems; UML Profile; Simulation; Model Checking; Machine Learning
Abstract :
[en] Hardware-in-the-loop (HiL) testing is important for developing cyber physical systems (CPS). HiL test cases manipulate hardware, are time-consuming and their behaviors are impacted by the uncertainties in the CPS environment. To mitigate the risks associated with HiL testing, engineers have to ensure that (1) test cases are well-behaved, e.g., they do not damage hardware, and (2) test cases can execute within a time budget. Leveraging the UML profile mechanism, we develop a domain-specific language, HITECS, for HiL test case specification. Using HITECS, we provide uncertainty-aware analysis methods to check the well-behavedness of HiL test cases. In addition, we provide a method to estimate the execution times of HiL test cases before the actual HiL testing. We apply HITECS to an industrial case study from the satellite domain. Our results show that: (1) HITECS helps engineers define more effective assertions to check HiL test cases, compared to the assertions defined without any systematic guidance; (2) HITECS verifies in practical time that HiL test cases are well-behaved; (3) HITECS is able to resolve uncertain parameters of HiL test cases by synthesizing conditions under which test cases are guaranteed to be well-behaved; and (4) HITECS accurately estimates HiL test case execution times.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
Shin, Seung Yeob ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Chaouch, Karim ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Nejati, Shiva ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Sabetzadeh, Mehrdad ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Briand, Lionel ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Zimmer, Frank
External co-authors :
yes
Language :
English
Title :
Uncertainty-aware Specification and Analysis for Hardware-in-the-Loop Testing of Cyber Physical Systems
Publication date :
2021
Journal title :
Journal of Systems and Software
ISSN :
0164-1212
eISSN :
1873-1228
Publisher :
Elsevier, Netherlands
Peer reviewed :
Peer Reviewed verified by ORBi
Focus Area :
Security, Reliability and Trust
European Projects :
H2020 - 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems
FnR Project :
FNR11270448 - Model-based Simulation Of Integrated Software Systems, 2016 (01/01/2017-31/12/2019) - Lionel Briand
Funders :
CE - Commission Européenne [BE]
FNR - Fonds National de la Recherche [LU]
Available on ORBilu :
since 31 August 2020

Statistics


Number of views
558 (85 by Unilu)
Number of downloads
267 (19 by Unilu)

Scopus citations®
 
6
Scopus citations®
without self-citations
4
OpenCitations
 
12
WoS citations
 
5

Bibliography


Similar publications



Contact ORBilu