Testing safety-critical systems is crucial since a failure or malfunction may result in death or
serious injuries to people, equipment, or environment. An important challenge in testing is …

Abstract Model-based test case generation (MB-TCG) and prioritization (MB-TCP) utilize
models that represent the system under test (SUT) for test generation and prioritization in …

In safety-critical applications, the real-time behavior is crucial for the correctness of the
overall system and must be tested thoroughly. However, the generation of test traces that …

This paper proposes an approach for testing of safety critical systems. It is based on a
behavioral and a fault model. The two models are analyzed for compatibility and necessary …

CO/ER is new test-case generation tool for timed systems. It generates test cases from a
timed automata model of a system to be tested, and a coverage criteria expressed in an …

The Internet of Things (IoT) is the future of communication. The number of devices
connected to the Internet has been growing dramatically and is expected to continue to …

Unmanned aerial vehicle's (UAV's), are becoming more popular in both military and
commercial use. Generally, they are remotely piloted or rely on global positioning systems …

This paper proposes an approach for testing of safety-critical systems. It is based on a
behavioral and a fault model. The two models are analyzed for compatibility, and necessary …

Preemptive Time Petri Nets (pTPNs) support modeling and analysis of concurrent timed SW
components running under fixed priority preemptive scheduling. The model is supported by …

The aim of the proposed method is to simplify and improve the process of models debugging
and to increase efficiency of model-based test cases generation. Unlike existing methods of …