期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

一种检查层次式有穷状态机一致性的方法 被引量：1

A METHOD FOR CONSISTENCY CHECKING OF HFSM
下载PDF
导出
摘要 本文介绍了一种层次式有穷状态机 (HFSM)的代数表示 ,并在此基础之上提出了 HFSM的一致性检查方法 .这种检查方法主要用于检测 This paper introduces a kind of algebra representation for the HFSM(Hie rarchy Finite State Machine) and presents a method for consistency checking of H FSM. This method is mainly used to find out the uncertain state transitions and unreachable states in HFSM.
作者 蔡持峰 陈伟清 毋国庆
机构地区 武汉大学软件工程国家重点实验室
出处 《小型微型计算机系统》 CSCD 北大核心 2000年第12期1324-1326,共3页 Journal of Chinese Computer Systems
基金 国家自然科学基金!(6 98730 35 ) 教育部重点项目基金资助
关键词 层次式有穷状态机 一致性 检查 实时控制系统 HFSM Consistency checking Uncertain transition Unreachable state
分类号 TP273 [自动化与计算机技术—检测技术与自动化装置] TP31 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献6

  • 1[1]David HAREL,STATECHARTS:A Visual Formalism for Complex Systems. [J]Science of Computer Programming,8(1987)231～274 North-Holland
  • 2[2]D. Harel AND A. Pnueli,On the development of reactive systems, in : K. R. Apt, Ed. , [J] Logics and Models of Concurrent Systems(Springer,New York, 1985)477-498
  • 3[3]Mats P. E. Heimdahl and Nancy G. Leveson,Completeness and consistency in hierarchical state-based Requirements. [J] IEEE Trans. on software Eng. ,Vol. 22,No. 6.1996,Pages 363～377
  • 4[4]Joanne M. Atlee and Joan Gannon. State-based model checking of event-driven system requirements. [J] IEEE Transactions on Software Engineering. Vol. 19, No. 1 ,Jan. 1993
  • 5[5]A.P. Ravn and H. Richel. Requirements capture for embedded real-time systems. [J]IMACS Symp. MCTS,1991
  • 6[6]P. Godefroid,G. J. Holzmann,and D. Pirottin. State space caching revisited. [C]Proc. Fourth Workshop Computer-Aided Verification, 175～186,1992

同被引文献8

  • 1张尧学,乔松.一种n个通信有限状态机的交互式生成法[J].计算机学报,1994,17(4):264-269. 被引量：3
  • 2HAREL D. Statecharts: a visual formalism for complex systems[J]. Science of Computer Programming, 1987 (8) : 231 - 274.
  • 3BITLA S K. Software modeling for reconfigurable machine tool controllers[ D ]. The University of Michigan, 1997.
  • 4HATLEY D J, IMTIAZ A P. Strategies for real-time system specification[M]. Dorset House Publishing Co., Inc., NY, 1988.
  • 5ZHANG Y X. An interactive protocol synthesis method by using a global state transition graph [J]. IEEE Trans Software Eng, 1988, SE-14(3) :394-404.
  • 6HEIMDAHL M P E, LEVESON N G. Completeness and consistency in hierarchical state-based requirements[J]. IEEE Trans. on Software Eng, 1996,22(6) : 363 - 377.
  • 7杨满忠．空地导弹作战运用研究[M]．西安：空军工程大学出版社，2003．
  • 8王巍,高德远.有限状态机设计策略[J].计算机工程与应用,1999,35(7):54-55. 被引量：14

引证文献1

二级引证文献1

小型微型计算机系统
2000年 第12期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部