Name
Abstract | ||
|---|---|---|
Embedded systems are very difficult to design and debug because of the limited access to the device itself. Therefore, debugging usually requires to instrument the code so as to produce execution traces that are then monitored from a base station. Such an intrusive method has a direct impact on performances. In case of multiple interacting embedded targets the problem is even more severe and is not limited to computations but also spreads to communications. To reduce the communication overhead, we propose an approach in which unsynchronized traces from several targets are reconciled a posteriori. Since each target has its own time base without a built-in clock synchronization protocol, our approach requires a multi-clock reconciliation specification. This paper describes our model-based proposal developed during the ANR project RT-Simex. The different steps of the reconciliation are illustrated on a simple case-study used in the project, a terrestrial robot controlled in position. |
Year | DOI | Venue |
|---|---|---|
2011 | 10.1109/SEAA.2011.47 | Software Engineering and Advanced Applications |
Keywords | Field | DocType |
model-based approach,direct impact,own time base,limited access,built-in clock synchronization protocol,base station,polychronous execution traces,execution trace,communication overhead,different step,multi-clock reconciliation specification,anr project,embedded systems,debugging,verification,model driven engineering | Base station,Computer science,Model-driven architecture,A priori and a posteriori,Background debug mode interface,Real-time computing,Clock synchronization,Robot,Debugging,Algorithmic program debugging | Conference |
ISSN | ISBN | Citations |
1089-6503 | 978-1-4577-1027-8 | 3 |
PageRank | References | Authors |
0.40 | 10 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Kelly Garces | 1 | 3 | 0.40 |
| Julien DeAntoni | 2 | 180 | 18.34 |
| Frederic Mallet | 3 | 21 | 2.98 |