面向嵌入式实时系统的需求模型

摘要：

该文提出了一个面向嵌入式实时系统的新需求模型。该模型在有穷状态的基础上使用属性和规则来描述实时系统的需求和动态行为。根据嵌入式实时系统的特点，该文也讨论了有关状态分析层和时间限制的形式化描述和方法。最后，该文通过一个实例来说明如何使用该模型。

关键词： 需求模型 有穷状态机 实时系统

作者: 胡春丽 蔡持峰 何峰

作者单位: 大学软件工程国家重点实验室

会议类型: 国内会议

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

会议地点: 浙江金华

会议语种:中文

页码: 83～88

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