Name
Abstract | ||
|---|---|---|
This paper presents an approach for rapidly adjustable embedded trace online monitoring of multi-core systems, called RETOM. Today, most commercial multi-core SoCs provide accurate runtime information through an embedded trace unit without affecting program execution. Available debugging solutions can use it to reconstruct the run offline, but usually for up to a few seconds only. RETOM employs a novel online reconstruction technique that makes the program run available outside the SoC and allows for evaluating a specification formulated in the stream-based specification language TeSSLa in real time. The necessary computing performance is provided by an FPGA-based event processing system. In contrast to other hardware-based runtime verification techniques, changing the specification requires no circuit synthesis and thus seconds rather than minutes or hours. Therefore, iterated testing and property adjustment during development and debugging becomes feasible while preserving the option of arbitrarily extending observation time, which may be necessary to detect rarely occurring errors. Experiments show the feasibility of the approach. |
Year | DOI | Venue |
|---|---|---|
2017 | 10.1007/978-3-319-70848-5_12 | Lecture Notes in Computer Science |
Field | DocType | Volume |
Specification language,Programming language,Computer science,Field-programmable gate array,Complex event processing,Runtime verification,Multi-core processor,Iterated function,Debugging,Embedded system | Conference | 10623 |
ISSN | Citations | PageRank |
0302-9743 | 5 | 0.46 |
References | Authors | |
12 | 7 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Normann Decker | 1 | 59 | 6.05 |
| Philip Gottschling | 2 | 9 | 1.22 |
| Christian Hochberger | 3 | 457 | 99.51 |
| Martin Leucker | 4 | 1639 | 112.68 |
| Torben Scheffel | 5 | 30 | 3.60 |
| Malte Schmitz | 6 | 30 | 4.32 |
| Alexander Weiss | 7 | 27 | 3.77 |