Execution cost interval refinement in static software analysis

Model composition for scheduling analysis in platform design

“…For the first part, there are many recent contributions combining implicit or explicit program path analysis and cycle-true processor modeling, such as [9,3,17,5]. In addition, process communication can be determined to analyze communication channel load and timing [17]. For the second part, there is a huge amount of work, mainly in the domain of real-time operating systems [10,6].…”

Intervals in software execution cost analysis

“…A pseudo SFP-PrS is an SFP-PrS with a single PaS on one level of hierarchy while lower levels may have multiple paths as in figure 3. On this level of control hierarchy, it can be treated like an SFP-PrS as we prove in [12].…”

Context Sensitive Performance Analysis of Automotive Applications

“…In previous work [17] we have shown that contexts lead to a reduced number of input data and more precise execution time intervals. However, for complex embedded applications, it is often difficult to find these contexts.…”

“…Context dependent analysis can be used to improve the analysis precision [17]. For example, a context for a cruise control software might be keeping the speed while driving uphill or stepping on the brake to disable speed control.…”