HomePublicationsPaper

Run-time Monitoring Architecture for Real-Time Systems
Ref: CISTER-TR-151207       Publication Date: 7 to 8, Sep, 2015

Abstract:
Verification and testing are two of the most costly and time consuming steps during the development of safety critical systems. The advent of complex and sometimes partially unpredictable computing architectures such as multicore commercial-of-the-shelf platforms, together with the composable development approach adopted in multiple industrial domains such as avionics and automotive, rendered the exhaustive testing of all situations that could potentially be encountered by the system once deployed on the field nearly impossible. Run-time verification (RV) is a promising solution to help accelerate the development of safety critical applications whilst maintaining the high degree of reliability required by such systems. RV adds monitors in the application, which check at runtime if the system is behaving according to predefined specifications. In case of deviations from the specifications during the runtime, safeguarding measures can be triggered in order to keep the system and its environment in a safe state, as well as potentially attempting to recover from the fault that caused the misbehaviour. In this communication, we present a novel run-time monitoring architecture suited to safety critical applications.

Geoffrey Nelissen

,

David Pereira

,

Luis Miguel Pinho

Document:

View
PDF Download
PDF