A number of models have been developed to predict the spreads of the COVID-19 pandemic
and how non-pharmaceutical interventions (NPIs) such as social distancing, facial …

This paper presents the dynamic assessment and the comparison of four compensation
algorithms programmed in commercial hardware with a restricted computational capability …

This practice paper examines Toyota's electronic throttle controller (ETC) problem. ETC for
passenger cars is a safety-critical, embedded control system and it must meet very high …

This work tackles two research threads. The first thread evaluates the use of conventional
design versus electronic engine control by applying real-time control theory. The second …

Nowadays, the measurement system development implies the use of hardware and
software. It evaluation performance for Real-Time or Dynamic applications is complicated …

The formal verification is able to check whether the implementation of a circuit design is
functionally equivalent to an earlier version described at the same level of abstraction, it can …

This tutorial (half-day lecture, A/V equipment: standard projector) is for anyone interested in
emerging technology for developing next-generation embedded, real-time, and …

By simply describing a classic weakly hard real-time system's performance with the number
of tasks meeting or missing deadlines, the system's real-time characteristics cannot be …

This paper puts forward a novel constraint specification. By limitations on the maximum of
consecutive miss of deadline and the minimum probability of meeting deadline on the fixed …

ABSTRACT In [1], Cheng and Andrei introduce a new method of implementing the
verification of an extension of Real-Time Logic, RTL, called Linear Real-Time Logic, LRTL …