关键词: 嵌入式实时软件 UML 时间ER网 组合时间分析

Abstract:

The embedded real-time software has strict timing constraints, and it is beneficial to analyze timing constraints as early as possible to build depend able software systems. The paper proposes an approach to modeling and analyzing embedded real-time software with the guidance of component technology. W   ith the approach, we can check the conflicts of the given timing constraints in software systems at an early phase. In addition, not only the component   models but the analysis results can be reused for developing another relevant embedded real-time software.

Key words: embedded real-time software;UML, time ER net, compositional timing analysis