2 results
Marco Bozzano ; Alessandro Cimatti ; Marco Gario ; Stefano Tonetta.
Autonomous critical systems, such as satellites and space rovers, must be able to detect the occurrence of faults in order to ensure correct operation. This task is carried out by Fault Detection and Identification (FDI) components, that are embedded in those systems and are in charge of detecting […]
Published on November 4, 2015
Alessandro Cimatti ; Iman Narasamdya ; Marco Roveri.
In many practical application domains, the software is organized into a set of threads, whose activation is exclusive and controlled by a cooperative scheduling policy: threads execute, without any interruption, until they either terminate or yield the control explicitly to the scheduler. The formal […]
Published on August 5, 2012