H Zhang, L Feng, N Wu, Z Li - IEEE Transactions on …, 2017 - ieeexplore.ieee.org
A fundamental requirement of the supervisory control theory (SCT) of discrete-event systems is a finite automaton model of the plant. The requirement does not hold for black-box …
H Zhang, Y Pan, Z Lu, J Wang, Z Liu - IEEE Access, 2021 - ieeexplore.ieee.org
Modern vehicles are equipped with more than 100 Electrical Control Units (ECUs) with over 2500 signals to transmit internally. The application of advanced electronics and …
The modern vehicle requires connectivity in order to enable and enhance comfort and convenience features so desired by customers. This connectivity however also allows the …
Modern connected or autonomous vehicles (AVs) are highly complex cyber-physical systems. As a result of the high number of different technologies and connectivity features …
Every year several contributions to the model‐based testing (MBT) field are published. Therefore, to follow the evolution and trends of several tools and models available is difficult …
MN Zafar, W Afzal, EP Enoiu, A Stratis… - … on Software Testing …, 2021 - ieeexplore.ieee.org
The abstract test cases generated through model-based testing (MBT) need to be concretized to make them executable on the software under test (SUT). Multiple re …
Software systems are complicated, and the scientific and engineering methodologies for software development are relatively young. Cyber-physical systems are now in every corner …
EAST-ADL is a domain-specific modelling language for the design and analysis of vehicular embedded systems. Seamless modelling through multiple concrete syntaxes for the same …