中文会议： 2008年全国理论计算机科学学术年会论文集

会议日期： 2008-09-19

会议地点： 西安

主办单位： 中国计算机学会

作　　者： ; ; ;

机构地区： 苏州大学计算机科学与技术学院

出　　处： 《2008年全国理论计算机科学学术年会》

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

关 键 词： 嵌入式实时软件 软件开发 软件建模 需求模型 时间约束

领　　域： [自动化与计算机技术]