【摘要】 在嵌入式实时软件的开发早期,将构件技术应用于对其进行时间需求的形式化分析中,不但有助于保证软件的正确性和可靠性,还能缩短需求分析周期、提高软件生产率。给出了一种基于构件技术、UML和时间ER网技术的组合时间分析方法,对嵌入式实时软件的时间需求进行分析和检测,实践表明该方法可以检测出需求模型中的时间冲突,有助于保证嵌入式实时软件时间约束的正确性,而且其分析结果具有可复用、可扩展的优点。更多还原

【Abstract】 In the early phase of the software development,applying component technology in the formal analysis of the timing re-quirment can not only assure the correctness of the software but also shorten development cycle and enhance software productivity.The paper proposes a compositional approach based on component technology,UML and Time ER nets to specify and analyze timing constrains of embedded real-time software.The result of the application indicates that the approach can clearly specify and formally analyze timing requirements before performing detailed system design,in addition,the analysis results of components can be reused for developing relevant embedded real-time software.更多还原