Requirements analysis includes a preliminary acquisition step where a global model for the
specification of the system and its environment is elaborated. This model, called …

We perform a systematic literature review on testing, validation, and verification of robotic
and autonomous systems (RAS). The scope of this review covers peer-reviewed research …

This paper is motivated by the need for a formal specification method for real-time systems.
In these systems quantitative temporal properties play a dominant role. We first characterize …

The specification of reactive and real-time systems must be supported by formal,
mathematically-founded methods in order to be satisfactory and reliable. Temporal logics …

Touchscreen-based devices such as smartphones and tablets are gaining popularity, but
their rich input capabilities pose new development and testing complications. To alleviate …

The concept of event processing is established as a generic computational paradigm in
various application fields. Events report on state changes of a system and its environment …

Embedded systems are pervasive and frequently used for critical systems with time-
dependent functionality. Dwyer et al have developed qualitative specification patterns to …

The need for timely processing large amounts of information, flowing from the peripheral to
the center of a system, is common to different application domains, and it has justified the …

Petri nets are a kind of general formalism used for the specification and analysis of
concurrent systems. Two types of Petri network extensions are relevant in the specification …

Test und Validierung spielen bei Echtzeitsystemen eine zentrale Rolle: Auf die
Spezifikationen, die der Hersteller angibt, muss sich der Kunde hier in besonders hohem …