A novel run-time monitoring architecture for safe and efficient inline monitoring

Geoffrey Nelissen, David Pereira, Luís Miguel Pinho

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)

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 run-time 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. Most of the state-of-the-art on RV essentially focused on the monitor generation, concentrating on the expressiveness of the specification language and its translation in correct-by-construction monitors. Few of them addressed the problem of designing an efficient and safe run-time monitoring (RM) architecture. Yet, RM is a key component for RV. The RM layer gathers information from the monitored application and transmits it to the monitors. Therefore, without an efficient and safe RM architecture, the whole RV system becomes useless, as its inputs and hence by extension its outputs cannot be trusted. In this paper, we discuss the design of a novel RM architecture suited to safety critical applications.

Original languageEnglish
Title of host publicationReliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, Proceedings
EditorsJuan Antonio de la Puente, Tullio Vardanega
PublisherSpringer
Pages66-82
Number of pages17
ISBN (Print)9783319195834
DOIs
Publication statusPublished - 1 Jan 2015
Externally publishedYes
Event20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015 - Madrid, Spain
Duration: 22 Jun 201526 Jun 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9111
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015
CountrySpain
CityMadrid
Period22/06/1526/06/15

Keywords

  • Ada
  • Run-time monitoring
  • Run-time verification
  • Safety critical systems

Fingerprint Dive into the research topics of 'A novel run-time monitoring architecture for safe and efficient inline monitoring'. Together they form a unique fingerprint.

Cite this