论文部分内容阅读
嵌入式实时软件具有严格的时间要求，任何时间错误都可能造成重大的经济损失甚至导致灾难性的后果。因此，在软件开发早期，对其时间需求进行形式化的分析和验证是非常重要的。本文提出一种基于构件的嵌入式实时软件建模与分析方法，该方法不仅可以检测出需求模型中的时间冲突，有助于保证嵌入式实时软件时间约束的正确性，而且也使得分析结果具有可复用、可扩展的优点。