{{item.sku_info.spec_desc}}
{{item.count}}x {{carts.currency.code}}{{carts.currency.amount}}
赠品 {{gift.name}}
{{gift.spec_desc}}
x1
组合 {{combo.product.name}}
{{combo.sku_info.spec_desc}}
x1 {{combo.currency.code}}{{combo.currency.amount}}
总价:{{carts.currency.code}}{{carts.currency.amount}}
查看购物车
暂无商品
{{carts.count}}件 {{carts.currency.code}}{{carts.currency.amount}}
我的购物车
首页 商品详情 Astah System Safety 专业建模工具软件
Astah System Safety 专业建模工具软件
下载试用
Astah System Safety 专业建模工具软件
GSN,即目标结构符号,是一种可视化系统目标如何连续分解为子目标的技术,直到达到可以通过直接引用可用证据来支持声明的点。GSN 越来越多地用于汽车 (ISO 26262)、航空航天 (DO-178B)、铁路、核能和国防等行业的安全案例。
{{item.name}}:
{{option.name}} {{info.bind_spec_title}}
* 购买此规格可获赠(仅限原价购买)
{{info.promotion.title}}
注:促销中,售罄即恢复原价!
当前可供秒杀库存还剩{{sku.promotion_count}}件
{{sku.currency.code}} {{sku.currency.amount}}
{{sku.market_currency.code}}{{sku.market_currency.amount}}
现价
规格
未选择
加入购物车 我要开团
团购价:{{sku.groupon_sponsor_currency.code}}{{sku.groupon_sponsor_currency.amount}}
立即购买 立即购买
预估到手价{{sku.exclusive_discount_currency.code}}{{sku.exclusive_amount}}
参团
{{info.groupon_count}}人已参与
暂无团购可参与,请开团
{{item.spec_desc}}
{{item.user.nickname}} 在{{item.created_at}}发起拼团 还差{{item.left_count}}人 待成团,部分用户未付款
我要参团 {{item.currency.code}}{{item.currency.amount}}

活动规则

1、活动时间:{{info.groupon.start_at}} ~ {{info.groupon.end_at}}。

2、拼团有效期:{{info.groupon.expire_days*24}}小时。

3、拼团人数:{{info.groupon.need_count}}人。

拼团须知

1、拼团流程:加入/发起团购并成功支付 - 在有效期内拼团人数满足活动要求人数 - 拼团成功!

2、如果不能在有效期间满足活动人数则拼团失败,已支付的金额会原路退回。

3、拼团要求人数和活动时间在不同商品的中可能会不一样,请注意看活动规则。

4、请注意,成功开团或参团中途,为保证其他人不受影响暂不支持退出或退款,规定时间内未成团费用将原路退回。

推荐搭配

{{info.name}}

{{info.rate}} {{info.sku.currency.code}}{{info.sku.currency.amount}}
{{sku.spec_desc}}
{{sku.currency.code}}{{sku.currency.amount}}
{{info.sku.spec_desc}}

{{item.name}}

{{item.rate}} {{item.sku.promote_currency.code}}{{item.sku.promote_currency.amount}}
{{sku.spec_desc}}
{{sku.promote_currency.code}}{{sku.promote_currency.amount}}
{{item.sku.spec_desc}}
默认
{{info.sku.currency.code}}{{info.sku.currency.amount}}
+
{{selectedCombos.count}}件商品
{{info.currency.code}}{{selectedCombos.amount}}
-
优惠
{{info.currency.code}}{{selectedCombos.discount}}
=
总计
{{info.currency.code}}{{totalAmount}}
已选 {{selectedCombos.count}} 件,加入购物车
{{item}} ({{rateInfo.total_count}}) ({{questions.total}})

通过设计确保安全


Astah System Safety是一种用于安全关键系统的建模工具,支持使用 STAMP/STPA、SysML、SCDL 和 GSN 进行系统架构建模、系统安全评估和分析。


这适用于具有与SOTIF和ISO 26262 兼容的自动驾驶汽车的汽车领域行业,以及安全性能至关重要且对采用基于模型的系统工程感兴趣的航空航天、铁路、国防、机器人和医疗保健行业( MBSE)。


SysML 图


Astah System Safety 的 SysML 支持比“Astah SysML”提供的更先进,包括合并和比较项目文件、XMI 导入/导出以及与 Dassault Systèmes 的 Cameo Systems Modeler 集成等功能。


  • 块定义图 (BDD)
  • 内部框图 (IBD)
  • 参数图
  • 需求图/表
  • 用例图
  • 活动图
  • 状态机图
  • 时序图


STAMP / STPA


STAMP(System-Theoretic Accident Model and Processes)是麻省理工学院Nancy Leveson教授开发的基于系统理论的事故因果关系模型,STPA(System-Theoretic Process Analysis)是基于STAMP的技术。Astah System Safety 为您的 STPA 分析过程提供了以下图表和表格。


  • 控制结构图
  • 前提条件表
  • 控制回路图
  • UCA(不安全控制动作)表
  • 损失情景表
  • 对策表
  • 事故危害安全约束表
  • CS(组件结构)全视图


SCDL


SCDL(安全概念描述语言)是安全概念符号研究组定义的安全架构设计语言 。

Astah System Safety 支持 SCDL 介绍的图表之一:


  • 安全概念图


GSN(目标结构符号)


您可以使用Goal Structuring Notation 和 D-Case来可视化安全论据,这些 D-Case 可有效地用于建立共识和实现问责制。


  • GSN(目标结构符号)/ D-Case


我们还有另一位专用于 GSN 的编辑器,仅称为“ Astah GSN ”。Astah System Safety 包括Astah GSN 的所有功能 。


为什么选择 Astah 系统安全?


Astah 最初由日本公司 ChangeVision 在 2006 年创建,作为 UML 建模工具。该软件已经发展到包括六种不同的工具,每一种都旨在通过吸收超过 15 年的用户反馈来满足不同的制图需求。Astah System Safety 是我们为安全关键系统自豪地推出的最新产品。


Astah通过启用模型转换来结合 STPA 和 SysML,这有助于您通过直接使用 SysML 块创建组件等来构建 STPA 分析。通过在项目中处理相同的模型将保持一致性,并且在整个分析过程中一切都可以轻松追踪。


支持 SysML 模型的XMI 导入/导出,这使您能够从 Cameo Systems Modeler 加载数据。您还可以添加 OMG XMI 2.5 格式配置文件。

商务洽谈

提 交
我要提问
{{item.content}}
{{item.answer.content_desc}}
{{qaInfo.content}}
分享软件给好友
当您的朋友购买后,您最多可获得约 {{info.currency.code}}{{shareCommission}} 佣金
创建画报
复制链接
微信
邮箱