Applying Runtime Monitoring for Automotive Electronic Development

Selyunin, Konstantin; Nguyen, Thang; Bartocci, Ezio; Grosu, Radu

doi:10.1007/978-3-319-46982-9_30

Cited by 17 publications

(8 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Also, the assumption on the system differs from the truly distributed nature of the problem of predicate detection in distributed systems (Chase and Garg 1998), where a global clock is not assumed to be available to the components of the system. STL has also been used to create monitors on FPGAs (Jaksic et al 2015) and for monitoring in different application areas (see for example Jaksic et al 2016;Selyunin et al 2016). However, the assumptions of STL on the signals are different than those of ours, because the goal of STL is to analyze arbitrary continuous signals and not necessarily changes from digital circuits with accurate clocks.…”

Section: Related Workmentioning

confidence: 99%

Runtime verification of real-time event streams under non-synchronized arrival

et al. 2020

View full text Add to dashboard Cite

We study the problem of online runtime verification of real-time event streams. Our monitors can observe concurrent systems with a shared clock, but where each component reports observations as signals that arrive to the monitor at different speeds and with different and varying latencies. We start from specifications in a fragment of the TeSSLa specification language, where streams (including inputs and final verdicts) are not restricted to be Booleans but can be data from richer domains, including integers and reals with arithmetic operations and aggregations. Specifications can be used both for checking logical properties and for computing statistics and general numeric temporal metrics (and properties on these richer metrics). We present an online evaluation algorithm for the specification language and a concurrent implementation of the evaluation algorithm. The algorithm can tolerate and exploit the asynchronous arrival of events without synchronizing the inputs. Then, we introduce a theory of asynchronous transducers and show a formal proof of the correctness such that every possible run of the monitor implements the semantics. Finally, we report an empirical evaluation of a highly concurrent Erlang implementation of the monitoring algorithm. Keywords Stream runtime verification • Monitoring • Real-time event streams • Formal methods • Parallel event processing Torben Scheffel

show abstract

Section: Related Workmentioning

confidence: 99%

Runtime verification of real-time event streams under non-synchronized arrival

et al. 2020

View full text Add to dashboard Cite

show abstract

“…Monitoring with precise & correct specification Specification-based monitors usually adopt formal specifications extended from LTL such as MTL [35], STL [72] or other extensions [16]. These monitors are used to detect abnormal temporal behavior or assumption violation of individual modules [64,16] or between the interaction of various modules [72]. The following categories are distinguished from most of the specification-based monitors.…”

Section: Monitoring Indirect Correctness Informationmentioning

confidence: 99%

Architecting Dependable Learning-enabled Autonomous Systems: A Survey

Cheng,

Gulati,

Yan

2019

Preprint

View full text Add to dashboard Cite

We provide a summary over architectural approaches that can be used to construct dependable learning-enabled autonomous systems, with a focus on automated driving. We consider three technology pillars for architecting dependable autonomy, namely diverse redundancy, information fusion, and runtime monitoring. For learning-enabled components, we additionally summarize recent architectural approaches to increase the dependability beyond standard convolutional neural networks. We conclude the study with a list of promising research directions addressing the challenges of existing approaches.

show abstract

“…Hence, assuming an appropriate sampling frequency, it is possible with R2U2 to specify similar models in many cases, as for example, the "stabilizability property" from [26]. In [49] the authors generate STL monitors from a SystemC implementation. Their monitors can either be used in high-level simulations, or synthesized to FPGA monitors, which can be deployed and run within the same FPGA as the design under test.…”

Section: Related Workmentioning

confidence: 99%

R2U2: monitoring and diagnosis of security threats for unmanned aerial systems

Moosbrugger

Rozier

Schumann

2017

Form Methods Syst Des

View full text Add to dashboard Cite

We present R2U2, a novel framework for runtime monitoring of security properties and diagnosing of security threats on-board Unmanned Aerial Systems (UAS). R2U2, implemented in FPGA hardware, is a real-time, Realizable, Responsive, Unobtrusive Unit for runtime system analysis, now including security threat detection. R2U2 is designed to continuously monitor inputs from on-board components such as the GPS, the ground control station, other sensor readings, actuator outputs, and flight software status. By simultaneously monitoring and performing statistical reasoning, attack patterns and post-attack discrepancies in the UAS behavior can be detected. R2U2 uses runtime observer pairs for Linear and Metric Temporal Logics for property monitoring and Bayesian networks for diagnosis of system health during runtime. We discuss the design and implementation that now enables R2U2 to handle security threats and present simulation results of several attack scenarios on the NASA DragonEye UAS.

show abstract

Applying Runtime Monitoring for Automotive Electronic Development

Cited by 17 publications

References 13 publications

Runtime verification of real-time event streams under non-synchronized arrival

Runtime verification of real-time event streams under non-synchronized arrival

Architecting Dependable Learning-enabled Autonomous Systems: A Survey

R2U2: monitoring and diagnosis of security threats for unmanned aerial systems

Contact Info

Product

Resources

About