论文研究一种带非功能特性权值描述的构件模型.pdf

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