Runtime Monitoring with Recovery of the SENT Communication Protocol
| Autor: | Stefan Jaksic, Dejan Nickovic, Udo Hafner, Radu Grosu, Ezio Bartocci, Christian Reidl, Thang Nguyen, Konstantin Selyunin |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Electronic control unit
Computer science media_common.quotation_subject Runtime verification Real-time computing 020207 software engineering 02 engineering and technology Automaton Debugging SystemC Asynchronous communication 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Field-programmable gate array Communications protocol computer media_common computer.programming_language |
| Zdroj: | Computer Aided Verification ISBN: 9783319633862 CAV (1) |
| DOI: | 10.1007/978-3-319-63387-9_17 |
| Popis: | We show how the requirements of the SENT communication protocol between a magnetic sensor and an electronic control unit (ECU) can be monitored in real time, with a monitor capable of processing 70 million samples per second. We elaborate on a complete flow from formalizing electrical and timing requirements using Signal Temporal Logic (STL) and Timed Regular Expressions (TRE), to implementing runtime monitors in FPGA hardware and evaluating the results in the lab. For a class of asynchronous serial protocols, we define a procedure to obtain monitors that are capable to recover after violations. We elaborate on two different approaches to monitor the requirements of interest: (i) temporal testers with SystemC, STL and High-Level Synthesis; (ii) automata-based approach with TRE in HDL. We also present how the results of the monitoring can be used for error logging to provide users with extensive debugging information. Our approach allows to monitor requirements-specification conformance in real time for long-term tests. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|