概述
Stood 是建立在 HOOD ( Hierarchical Object-Oriented Design )设计方法之上的基于部件的软件建模工具, HOOD 方法最初是为了欧洲空间局( European Space Agency )的项目研发的。经过大量的工业项目应用, Stood 得到了持续的发展。
Stood 使用在架构和详细设计阶段,在需求分析和集成之间。 Stood 已经应用于许多苛刻的软件开发环境之中,实践证明它在同时提高生产力和软件质量方面是种高效的方法。
Stood 的开发尤其是针对了一些如欧空局之类大型企业的应用需求,为这些受到严格限制的软件的设计活动提供了巨大的价值。在这方面,它包含了真正的内置实时模块,而不仅仅是对普通建模技术的简单扩展。
Stood 的设计过程是自上而下的,它为系统部件之间的交互提供了良好的架构,为后期的软件集成、测试和维护提供了便利。可以在任何时刻使用一些可定制的确认工具监视系统当中关键的质量因素,如需求覆盖、调度能力、设计同代码的一致性等。
Stood 缩减了软件设计和代码之间的差异。 Stood 的详细设计数据库把所有必要信息包含起来并使其成为项目的真实参考,文档和编码是随着设计活动而不断增长的,同时 Stood 提供了代码的自动产生和正反双向( round-trip )的工程活动。
Stood 缩减了系统工程和软件工程之间的差异。 Stood 支持统一的建模与架构设计语言 AADL ( Architecture Analysis and Design Language ),它是 SAE 对于建模和架构设计的新标准,它采用形式化的语义描述实时系统的体系结构、系统部件之间的功能接口(数据流和控制流)和时间属性,描述部件的组装方式和软件到硬件的部署。 AADL 满足安全关键的嵌入式实时系统的特殊需求。

图 1 Stood 在软件工程中的使用阶段
图 3
功能特点
工程管理
Windows-Unix 之间完善的互操作性
网络分布式工程管理
为远程配置管理提供集成接口
在系统 / 子系统级的多用户管理
SIF 和 XML 设计模型的交换
需求追踪
导入上层需求
增长的需求覆盖
管理派生需求
同需求追踪工具 Reqtify 的双向接口
架构设计
从黑盒 / 白盒的角度,基于部件的设计方法
支持 UML2.0 的图形符号
支持 AADL 1.0
支持 HOOD 和 HRT-HOOD 方法
内置的实时模型
详细设计与编码
可定制的结构化详细设计框架
文档内容随设计活动而丰富
代码随设计活动而完善、支持 round-trip 工程
增长的需求覆盖率
逆向工程,针对遗留的 Ada 和 C 代码
确认
交叉参考表
自动计算部件的 Required Interface
自动产生调用树和数据流图
实时的调度分析
需求追踪矩阵
设计规则检查
设计度量
代码与文档的产生
Ada95
C/C++
HTML
PostScript/PDF
RTF
MIF
与国际标准的适应性
嵌入式航空领域的 DO-178B
空间系统的 ECSS-E40
轨道系统的 EN-50128
航空电子系统的 AADL
支持的平台
Windows 98/NT/2000/XP 、 Unix 、 Solaris
成功案例
Airbus A340/A380
用于地面和机上嵌入式软件应用
目标和语言: Sun/Solaris Ada 83/95 、 Windows C/C++
使用 HOOD 设计方法和 Stood 工具进行静态设计
支持面向对象的方法,提供通用的模块化手段
基于抽象的数据类型(使得应用结构稳定)和控制流(描述任务及其交互)
保证了软件开发和编码任务的质量,不论目标语言是什么,设计和代码都是一致的,遵循了软件工程的准则
Jason-1 高度卫星
用于开发星载 POSEIDON 2 控制软件,该软件测量卫星与海平面的距离
在 DORIS 系统开发中起关键作用, DORIS 是决定卫星轨道的实时系统
用于 PROTEUS 多任务总线的软件设计环境
在上述项目中, Stood 都被用来进行架构设计和软件实现、代码和文档的产生
Tigre 直升机
用于反坦克和防护任务计算机 |