Several formal trust frameworks have been introduced in the area of Multi-Agent Systems
(MASs). However, the problem of model checking trust logics is still a challenging research …

Formal verification methods like model checking can provide mathematical proofs of design
correctness, so their use is justified in applications where safety or reliability requirements …

The data transmission in the vehicle network is easily interfered with by the outside world,
which makes the security of data access difficult to provide in order to meet the actual needs …

IoT is a groundbreaking technology that enables wireless interoperability between devices
without human intervention. It has become an integral part of human life and has made …

The hundreds of electronic control devices used in an automotive system can effectively
communicate with one another, thanks to an in-vehicle network (IVN) like FlexRay. Even …

Synchronous languages such as Lustre and Scade are used to implement safety-critical
control systems; proving such programs correct and having the proved properties apply to …

To ensure the normal operation of the automated guided vehicle, the system must pass the
reliability test in the process of design and manufacturing. Unreliable events are small …

In recent years, there have been many developments and changes in vehicle technologies
that transform vehicles from non-automated vehicles to fully autonomous vehicles. The main …

UPPAAL is a formal modeling and verification tool based on timed automata, capable of
effectively analyzing real‐time software and hardware systems. In this article, we investigate …

In this paper, we will use the four-axis distributed drive vehicle as a platform to establish an
ASR (Acceleration Slip Regulation) control system based on Matlab/Simulink. The control …