Assertion-based monitoring in practice – Checking correctness of an automotive sensor interface

Nguyen, Thang; Nikovi, Dejan

doi:10.1016/j.scico.2015.11.002

Cited by 6 publications

(1 citation statement)

References 56 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this example, the controller probes five sensor interfaces. The correctness of a DSI3 protocol implementation in an automotive airbag system was studied in [17]. The above requirements were formalized as assertions expressed in signal temporal logic (STL) and the monitoring tool AMT [18] was used to evaluate the simulation traces.…”

Section: Distributed Systems Interfacementioning

confidence: 99%

Measuring with Timed Patterns

Ferrère

Maler

Ničković

et al. 2015

Computer Aided Verification

Self Cite

View full text Add to dashboard Cite

We propose a declarative measurement specification language for quantitative performance evaluation of hybrid (discretecontinuous) systems based on simulation traces. We use timed regular expressions with events to specify patterns that define segments of simulation traces over which measurements are to be taken. In addition, we associate measure specifications over these patterns to describe a particular type of performance evaluation (maximization, average, etc.) to be done over the matched signal segments. The resulting language enables expressive and versatile specification of measurement objectives. We develop an algorithm for our measurement framework, implement it in a prototype tool, and apply it in a case study of an automotive communication protocol. Our experiments demonstrate that the proposed technique is usable with very low overhead to a typical (computationally intensive) simulation.

show abstract

Section: Distributed Systems Interfacementioning

confidence: 99%