
handle: 11588/951118
The spread of computing-systems, especially the realtime embedded ones, is rapidly growing in the last years, since they find usage in numerous fields of application, including, but not limited to, industry process, critical infrastructures, transportation systems, as so forth. Indeed, in these fields, precise time-constraints hold; hence, tasks need to be correct from both the functional and temporal perspectives. As for the latter, timing behavior has to be characterized, that is usually done by exploiting either static or dynamic analysis techniques, which leverage estimations based on either a model or the actual system. In this paper, we foster an automated hybrid approach that allows characterizing the timing behavior of systems while introducing any alteration, i.e., relying on instruction-level tracing rather than code instrumentation for profiling purposes. Our approach is sensitive to the execution-context, - e.g., cache misses - and it allows re-using results from the development processes - e.g., unit tests. We considered a complex realtime application from the railway domain as a case study to evaluate our approach, empirically proving that it can provide a faithful characterization of systems in terms of worst-case execution time.
Behavioral sciences, Rail transportation, Hybrid Timing Analysis, Execution-Trace Analysis, Transportation, Codes Instruments, Timing, Real-Time Systems, Safety-Critical Systems, Software, Codes Instruments, Transportation, Software, Rail transportation, Timing, Behavioral sciences, Safety-Critical Systems, Real-Time Systems, Hybrid Timing Analysis, Execution-Trace Analysis
Behavioral sciences, Rail transportation, Hybrid Timing Analysis, Execution-Trace Analysis, Transportation, Codes Instruments, Timing, Real-Time Systems, Safety-Critical Systems, Software, Codes Instruments, Transportation, Software, Rail transportation, Timing, Behavioral sciences, Safety-Critical Systems, Real-Time Systems, Hybrid Timing Analysis, Execution-Trace Analysis
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
