基于构件的嵌入式实时软件建模与分析

摘要：

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

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

作者: 张广泉 林苗 戎玫

作者单位: 苏州大学计算机科学与技术学院,江苏,苏州,215006 闽江学院数学系,福建,福州,350108 暨南大学深圳旅游学院,广东,深圳,518053

会议类型: 国内会议

会议名称: 2008年全国理论计算机科学学术年会

会议地点: 西安

会议语种:中文

页码: 137-141

在线出版日期: 2008-09-19（万方平台首次上网日期，不代表论文的发表时间）