ENGLISHCasePlayer2评估版下载
  产品概览
嵌入式开发解决方案
软件工程解决方案
DSP应用产品
总线测试解决方案
宽带应用解决方案
信息安全终端解决方案
军用PDA及其他产品
行业应用PDA解决方案
研发及定制服务

 

 

 

 

 

 

 

 

 

 

 

 

 

 

首页 >> 产品信息

产品--软件工程解决方案--实时系统

Stood 5 安全关键系统软件建模工具 

概述

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 直升机

•  用于反坦克和防护任务计算机

 
返回