Flow latency analysis of component-based embedded software: Model and methodology

A wide variety of ways to analyze the end-to-end latency emerges due to the feature of component-based software. The researchers began to see that the latency is more sensitive to the data and control flows than the software architecture. However, for an embedded software, the latency depends upon the hardware heavily. To illuminate the feature clearly, we extend the atomic model of component-based software first. A way to specify the flows involved is further developed to identify the end-to-end latency. What is more, a novel methodology that bridges the gap between a constraint on latency and an execution platform is proposed for the embedded software. By constructing a hierarchical architecture, it is available to consider the methodology as a decision problem where the satisfiability module theory (SMT) can be applied. Experimental results demonstrate how the latency analysis conducts with the proposed model and methodology for the complex software architecture.