论文部分内容阅读
该文提出了一个面向嵌入式实时系统的新需求模型。该模型在有穷状态的基础上使用属性和规则来描述实时系统的需求和动态行为。根据嵌入式实时系统的特点，该文也讨论了有关状态分析层和时间限制的形式化描述和方法。最后，该文通过一个实例来说明如何使用该模型。
面向嵌入式实时系统的需求模型
【摘 要】
：
该文提出了一个面向嵌入式实时系统的新需求模型。该模型在有穷状态的基础上使用属性和规则来描述实时系统的需求和动态行为。根据嵌入式实时系统的特点，该文也讨论了有关状态
【机 构】
：
大学软件工程国家重点实验室
【出 处】
：
1999年全国理论计算机科学学术年会
【发表日期】
：
1999年10期
其他文献
需求侧管理(DSM)的实施，在节能降耗，减少环境污染方面收到很好的效果。该文总结了中国部分地区采用需求侧管理取得的效果，说明需求侧管理对供电双方均有显著的经济效益。需求侧
该文根据中国电力供求关系和电力企业内部经营机制变化的趋势，分析了在市场经济条件下，中国电力市场地电网运营和发展的影响以及电网企业面临的困难。着重探讨了需求侧管理(DSM
从畜牧业实际需求分析可知，限制中国畜牧业发展的两大瓶颈：一是缺乏该行业的信息主管，二是缺乏有效的企业管理工具。目前，国内急需建立该行业的科技与市场信息中心，必须加强应用软
本文介绍面向对象程序设计技术的软件需求分析技术及软件需求说明技术，说明面向对象的软件需求分析及软件需求说明技术在整个软件开发中的重要性，以及面向对象程序设计技术的软
需求管理主要是运用各种宏观经济政策调节消费者的需求，它是经济管理的主要内容。该文设计了一类优化模型体系，并利用对偶理论分析研究了这一问题。该模型体系及其结论清楚地刻
ＢＰＲ是９０年代产生的一种新的管理思想，其本特特征是对企业的经营流程进行彻底的重新设计，以最终提高企业的经营效益。ＭＲＰⅡ经过几十年的发展，已成为现代企业一种新的管理模式和组织生产的
该文提出了“等效二氧化碳浓度”概念对新风量的控制进行了改进研究，建立了数学模型，设计制作了试验台，验证该方法的正确性，得出二氧化碳浓度与电动讯号阀门开度的函数关系，并与现