English 联系我们
实时系统结构化分析与设计
AxiomSYS介绍
AxiomDSN介绍
Hatley-Pirbhai方法介绍
技术咨询与服务
参考客户
  当前位置:首页>解决方案>实时系统结构化分析与设计

Hatley-Pirbhai实时系统需求分析与构造方法  


  Hatley-Pirbhai实时系统需求分析与构造方法由Derek Hatley和Imtiaz Pirbhai先生于80年代提出,此方法适用于任何规模与复杂程度的系统,目前已成功地在美国、欧洲及日本等系统开发公司得到广泛应用。有关此方法的详细信息请参考美国Dorset House公司出版的“Strategies for Real-Time System Specification”一书或“Processing For System Architecture And Requirements Engineering”一书。STGCASE公司AxiomSYS工具自动实现了此建模方法。

  传统的系统需求分析方法往往只考虑系统的某一方面,而实际上系统具有多方面特性,所有方面需要定义。Hatley-Pirbhai方法以集成化方式分析、定义系统,将系统看成整体进行分析。从系统功能需求角度,分析定义系统完成的处理、控制以及时序特性,从系统构造角度定义系统体系结构。

  需求定义(Requirements Specification)方法

  Hatley-Pirbhai需求定义方法基于传统的DeMarco结构化分析方法及有限状态机理论,并将这两种方法有机的结合在一起。数据处理模型(Data Processing)采用传统的数据流程图(DFD)定义,而控制流程信息使用与之并列的控制流程图(CFD)描述,在这两种流程图间通过控制需求说明(CSPEC)描述有限状态机(Finite State)结构,这些状态机用于控制数据流程图中各处理(Processing)的动态行为,而这正是传统的结构化分析方法中所缺少的重要信息。

  在Hatley-Pirbhai方法中输入与输出之间的时序关系在时序说明(TSPEC)中描述,所有的数据与控制信息在需求词典中定义。

  构造设计(Architecture Design)方法

  Hatley-Pirbhai构造设计方法建立所要开发的系统实际模型,其基本描述方法为构造流程图(Architecture Flow Diagram,AFD)与构造互连图(Architecture Interconnect Diagram,AID)。这些模型表示构建系统的模块以及模块间的信息流与物理通道。所有模块、信息流及物理通道都精确地在模块说明、互连需求说明中定义,并保存在构造词典(Architecture Dictionary)中。

  上海创景公司提供“Hatley-Pirbhai实时系统需求分析与构造方法”详细培训。

©2007版权所有 上海创景计算机系统有限公司

备案序号:沪ICP备05030702号