Unifying Modeling and Programming with Valkyrie

Schröpfer, Johannes; Buchmann, Thomas

doi:10.5220/0007259600250036

Cited by 1 publication

(2 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The translation of HITECS into Java relies on the Alf semantics and prior translations of Alf into objectoriented programming languages such as Java and C++. Due to space limitations, we omit the technical details of the translation, and refer the interested reader to existing work [13,14]. Below, we explain the steps of model checking and simulation in HITECS.…”

Section: Specification Analysismentioning

confidence: 99%

See 1 more Smart Citation

Hitecs

Shin

Chaouch

Nejati

et al. 2018

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

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 domainspecific 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 wellbehavedness 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. CCS CONCEPTS• Software and its engineering → Model-driven software engineering; Specification languages; Software verification and validation;

show abstract

Section: Specification Analysismentioning

confidence: 99%

“…The standards that HITECS builds on, namely UTP and Alf, have been used in many research strands [10,11,13,14,18,23,34,36,37]. For instance, UTP has been used as a base language to specify tests (e.g., Ubtl [23]), and Alf has been integrated into mainstream MDE tools (e.g., Papyrus [37] and MagicDraw [36]) as an action language.…”

Section: Related Workmentioning

confidence: 99%