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实时系统需求分析与构造方法”详细培训。