|
RTCASE实时系统分析/设计工具是专业性结构化软件工程工具,完全支持实时系统软件的分析和设计。
RTCASE在系统与软件分析阶段支持结构化分析方法,同时支持在结构化分析方法基础上扩展的Hatley/Pirbhai实时系统结构化分析及系统体系结构设计方法,RTCASE在软件设计阶段支持在传统结构化设计方法基础上扩展的由Hassan
Gomaa提出DARTS(Design
Approach for Real Time Systems)实时系统设计方法。
RTCASE特别适合实时系统分析与设计,可帮助用户在短时间内快速开发高质量、高可靠的软件与系统。
Hatley-Pirbhai实时系统需求分析与系统体系结构设计方法
Hatley-Pirbhai实时系统需求分析与系统体系结构方法由Derek Hatley和Imtiaz
Pirbhai先生于80年代提出,此方法适用于任何规模与复杂程度的系统,已成功地在美国、欧洲及日本等系统开发公司得到广泛应用。有关此方法的详细信息请参考美国Dorset
House公司出版的“Strategies for Real-Time System Specification”一书或“Processing
For System Architecture And Requirements Engineering”一书。
传统的系统需求分析方法往往只考虑系统的某一方面,而实际上系统具有多方面特性,系统所有方面的特性需要精确地分析与定义。Hatley-Pirbhai方法以集成化方式分析、定义系统,并将系统看成整体进行分析。从系统功能需求角度,分析定义系统完成的处理(即功能)、控制以及时序特性,从系统构造角度定义系统体系结构。
需求分析(Requirements Specification)方法
Hatley-Pirbhai需求分析方法基于传统的DeMarco结构化分析方法及有限状态机理论,并将这两种方法有机的结合在一起。数据处理模型(Data
Processing)采用传统的数据流程图(DFD)定义,而控制流程信息使用与之并列的控制流程图(CFD)描述,在这两种流程图间通过控制需求说明(CSPEC)描述有限状态机(Finite
State)结构,这些状态机用于控制数据流程图中各处理(Processing)的动态行为,而这正是传统的结构化分析方法中所缺少的重要信息。
在Hatley-Pirbhai方法中输入与输出之间的时序关系在时序说明中描述,所有的数据与控制信息在需求词典中定义。
系统体系结构设计(System Architecture Design)方法
Hatley-Pirbhai系统体系结构设计方法建立所要开发的系统实际模型,其基本描述方法为构造流图(Architecture
Flow Diagram,AFD)与构造互连图(Architecture Interconnect
Diagram,AID)。这些模型表示所要构建系统的模块以及模块间的信息流与物理通道。所有模块、信息流及物理通道都精确地在模块说明、互连需求说明中定义,并保存在构造词典(Architecture
Dictionary)中。
Hassan Gomaa先生提出的DARTS实时系统设计方法是对传统软件结构化设计方法的扩展,除了使用程序结构图(Structure
Chart)与程序流程图(Flow Chart)外,采用并发图(Concurrency Diagram)与信息隐藏模块(IHM),其主要是将实时系统分解为多个并发任务,并定义任务之间的接口。该方法出现的原因是,在开发实时系统的过程中传统的软件设计方法很难描述实时系统的并发特征。
一旦确定了任务体系结构后,就可以采用传统的软件结构设计方法,将任务分解为多个模块的方式来设计各个任务,其中的每个任务都代表一个顺序性程序的执行。
|