基于有限状态机与Petri网的系统分析与设计

摘要：

从系统组成、功能需求和体系结构方面介绍了航天器空间对接仿真系统的实时多任务控制系统,基于有限状态机和Petri网方法对其进行了单任务级和多任务级的分析建模,并以此为基础完成系统的详细设计,其中应用分叉和资源共享模型实现了系统的同步和互斥问题.实际应用中应用工程化和模块化的方法完成系统设计,系统运行性能良好.试验证明这种分析设计方法合理可行.

关键词：有限状态机、Petri网、航天器、实时多任务系统

所属期刊栏目：33

分类号：TP391(计算技术、计算机技术)

在线出版日期：2007-11-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：245-248