UML statechart based rigorous modeling of real-time system

来源 :哈尔滨工业大学学报：英文版 | 被引量 : 0次 | 上传用户：jrwal

【摘要】

：

Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for

【作者】

：

赖明志尤晋元

【机构】

：

Dept.ofComputerScienceandEngineering

【出处】

：

哈尔滨工业大学学报：英文版

【发表日期】

：

2005年1期

【关键词】

：

实时系统 UML 计算机技术建模方法软件 embedded real-time system UML statechart PVS timed automa

【基金项目】

：

国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a formal method with precise syntax and

其他文献

A new adaptive filtering algorithm for systems with multiplicative noise

Presented here is a new adaptive state filtering algorithm for systems with multiplicative noise. This algorithm estimates the vector state of the system and th

期刊

噪音滤波器信号处理技术地震勘探技术system with multiplicative noise adaptive filtering statist

菜花烙铁头蛇毒金属蛋白酶Jerdonitin的分离纯化和理化性质

以前从菜花烙铁头蛇毒中分离纯化到Jerdonitin. 与其他Ⅱ型蛇毒金属蛋白酶相比, Jerdonitin由金属蛋白酶和去整合素两个结构域组成. 但没有检测到其出血和纤维蛋白原降解活性

期刊

菜花烙铁头蛇毒金属蛋白酶出血纤溶酶活性Trimeresurus jerdonii SVMP Hemorrhage Fibrinogenolytic ac

混凝土连续箱梁裂缝成因及治理研究

从设计、施工方面分析了混凝土连续箱梁裂缝的成因,并从理论分析、预防措施、构造措施、化学方法、工程施工要求等方面探讨了有效合理的治理措施。结合工程实例在部分位置设

期刊

混凝土箱梁裂缝成因治理措施

眼诊是诊断强脊炎重要依据之一的我见

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield

会议

广东改革开放20年、迎国庆50周年巡礼珠江春潮涌岭南木棉红广东建材工业以崭新的面貌走进新时代

木棉红红火火,是其活力旺盛的展示,也是事业蓬勃向上的象征。春来木棉红,是南粤大地的一大自然景观,也是人们对在改革开放中迅速发展的广东建材工业的形象比喻。我省建材生

期刊

建材工业改革开放20年国庆50周年新时代建筑陶瓷棉红珠江水泥厂回转窑广东建筑卫生陶瓷

Hydrogen energy recovery from high strength organic wastewater with ethanol type fermentation using

A lab-scale expanded granular sludge bed (EGSB) reactor was employed to evaluate the feasibility of the hydrogen energy recovery potential from high strength or

期刊

氢气生产乙醇-乙酸盐发酵粒状污泥床反应器有机废水氢能回收hydrogen production ethanol-acetate fermentati

兽用镇静药AZAPERONE的合成改进

期刊