{{item.sku_info.spec_desc}}
{{item.count}}x {{item.price}}
组合 {{combo.product.name}}
{{combo.sku_info.spec_desc}}
x1 {{combo.price}}
总价:¥{{carts.amount}}
查看购物车
暂无商品
{{carts.count}}件 {{carts.amount}}
我的购物车
首页 商品详情 Astah System Safety 专业建模工具软件
Astah System Safety 专业建模工具软件
下载试用
Astah System Safety 专业建模工具软件
Astah System Safety是一种用于安全关键系统的建模工具,支持使用 STAMP/STPA、SysML、SCDL 和 GSN 进行系统架构建模、系统安全评估和分析。
{{item.name}}:
{{option.name}}
{{info.promotion.title}}
注:促销中,售罄即恢复原价!
当前可供秒杀库存还剩{{sku.promotion_count}}件
{{sku.price}}
{{sku.market_price}}
现价
规格
未选择
加入购物车 我要开团
团购价:{{sku.groupon_sponsor_price}}
立即购买 立即购买
专属优惠-¥{{sku.exclusive_discount}}
参团
{{info.groupon_count}}人已参与
暂无团购可参与,请开团
{{item.spec_desc}}
{{item.user.nickname}} 在{{item.created_at}}发起拼团 还差{{item.left_count}}人 待成团,部分用户未付款
我要参团 {{item.sku_info.groupon_price}}

活动规则

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

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

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

拼团须知

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

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

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

推荐搭配

{{info.name}}

{{info.rate}} {{info.sku.price}}
{{sku.spec_desc}}
{{sku.price}}
{{info.sku.spec_desc}}

{{item.name}}

{{item.rate}} {{item.sku.promote_price}}
{{sku.spec_desc}}
{{sku.promote_price}}
{{item.sku.spec_desc}}
默认
{{info.sku.price}}
+
{{selectedCombos.count}}件商品
{{selectedCombos.amount}}
-
优惠
{{selectedCombos.discount}}
=
总计
{{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 格式配置文件。

与描述相符

{{rateInfo.avg_rate}}
{{rateInfo.total_count}}条评论

5星

4星

3星

2星

1星

评论列表
{{item.user.nickname}} {{item.spec_desc}}
{{item.created_at}}
{{item.content}}
这条评论是否有价值?
奖励
有{{item.like_count}}人觉得这条评论有价值
有{{item.reward_user_count}}人给予作者奖励
{{log.count}}
更多评论

商务合作

提 交
我要提问
{{item.content}}
{{item.answer.content_desc}}
打赏积分
此评论对我有帮助,打赏作者让评论更靠前!
{{item.title}}
{{item.price}}
您的剩余积分
{{rewardForm.user_points}}
选择奖励 确认打赏 {{selectedReward.price}}
{{qaInfo.content}}