Run-time Monitoring Architecture for Real-Time Systems
Ref: CISTER-TR-151207 Publication Date: 7 to 8, Sep, 2015
Run-time Monitoring Architecture for Real-Time Systems
Ref: CISTER-TR-151207 Publication Date: 7 to 8, Sep, 2015Abstract:
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.
Document:
INForum - Simpósio de Informática (INFORUM 2015).
Portugal.
Record Date: 28, Dec, 2015