Research on the Component-based Compositional Timing Analysis for Embedded Real-time Software

The embedded real-time software has strict timing constrains, and not only computation errors but also timing errors can cause system failures, so it is beneficial to specify and analyze timing constraints of embedded real-time software at a early phase to efficiently guarantee the timely execution of expected functions. The paper proposes an approach based on component technology, UML as well as Time ER nets to analyze timing requirements for embedded real-time softwares in a compositional manner. We first specify both requirement models based on scenarios and behavior models based on constituent components in UML diagrams, and then we transform these UML diagrams into CTERs, the extension of Time ER nets, to perform timing analysis in a compositional way. By incrementally composing the requirement models and the behavior models, we can check timing anomalies in requirements of the embedded real-time software.