HITECS - A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems
| Autor: | Lionel C. Briand, Karim Chaouch, Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Frank Zimmer |
|---|---|
| Přispěvatelé: | Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab) [research center] |
| Rok vydání: | 2018 |
| Předmět: |
Computer science
Test Case Specification and Analysis Action language ComputerApplications_COMPUTERSINOTHERSYSTEMS 02 engineering and technology UML Profile Domain (software engineering) Cyber Physical Systems Unified Modeling Language 0202 electrical engineering electronic engineering information engineering computer.programming_language Computer science [C05] [Engineering computing & technology] business.industry Model Checking and Simulation 020208 electrical & electronic engineering Hardware-in-the-loop simulation Cyber-physical system 020207 software engineering computer.file_format JavaPathFinder Sciences informatiques [C05] [Ingénierie informatique & technologie] Test case Executable Scenario testing Software engineering business computer |
| Zdroj: | Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems-MODELS 18 Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems -MODELS '18 info:eu-repo/grantAgreement/EC/H2020/694277 MoDELS |
| DOI: | 10.1145/3239372.3239382 |
| Popis: | Hardware-in-the-loop (HiL) testing is an important step in the development of cyber physical systems (CPS). CPS HiL test cases manipulate hardware components, 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) HiL test cases are well-behaved, i.e., they implement valid test scenarios and do not accidentally damage hardware, and (2) HiL test cases can execute within the time budget allotted to HiL testing. This paper proposes an approach to help engineers systematically specify and analyze CPS HiL test cases. Leveraging the UML profile mechanism, we develop an executable domain-specific language, HITECS, for HiL test case specification. HITECS builds on the UML Testing Profile (UTP) and the UML action language (Alf). Using HITECS, we provide analysis methods to check whether HiL test cases are well-behaved, and to estimate the execution times of these test cases before the actual HiL testing stage. We apply HITECS to an industrial case study from the satellite domain. Our results show that: (1) HITECS is feasible to use in practice; (2) HITECS helps engineers define more complete and effective well-behavedness assertions for HiL test cases, compared to when these assertions are defined without systematic guidance; (3) HITECS verifies in practical time that HiL test cases are well-behaved; and (4) HITECS accurately estimates HiL test case execution times. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|