安全系统建模语言
各维度得分依据公开资料与字段推算,加权后即综合评分,仅供参考。
SafetyML（Safety Modeling Language）是 PivotPoint Technology Corporation 旗下的安全建模语言，定位不是传统代码开发框架，而是面向安全关键系统的 UML/SysML Profile 与模型库。它用于描述系统架构、设计和安全分析模型，覆盖汽车、航空航天、医疗器械、铁路等需要功能安全方法的场景。
从功能看，SafetyML 提供 SIL、hazard、risk、reliability、availability、fault、error、failure、failure mode、failure cause、harmful effect 等安全相关构造，并通过递归分析、设计和架构模式贯穿 SDLC 与 System V-Model。它强调在左侧支持可追溯性，在右侧支持 Verification & Validation。它可扩展 SysML 的需求、活动、块定义、内部块、参数、序列、状态机图，也可扩展 UML 2 的需求、活动、类、组合结构、序列、状态机图。
SafetyML 的主要优势是兼容 UML 2 与 OMG SysML，因此理论上可落地到符合这些标准的可视化建模工具中；若工具支持，还可进行行为图仿真、参数仿真和往返工程。官网未披露开源/闭源、许可证、下载方式、API/SDK、自托管或具体定价信息，只提到正在 PivotPoint 的 Model-Based Functional Safety + SafetyML hands-on training 中使用。文档目前更像 FAQ 与理念介绍，缺少可操作的参考手册和示例模型。
优点是领域聚焦、概念精炼，并试图用 Agile/Lean UML/SysML 子集降低完整 BUFD 建模语言的复杂度；对已有 UML/SysML 基础的团队，官网称可通过 2-3 天实践工作坊学习。限制在于信息透明度不足，普通开发者难以直接试用，且价值高度依赖建模工具和工程组织的安全流程成熟度。
抓取文本未提供中国区网络、支付或本地支持信息，访问状态只能标为未知。若国内团队评估，可同时比较通用 UML/SysML 工具链、标准 SysML 建模方法，以及已有功能安全流程工具。
本测评基于公开资料整理,不构成购买建议,请以 safetyml.com 官网实际信息为准。
SafetyML/UML资料，对安全关键软件有参考价值。
评分明细(分布与用户短评)接入中。当前展示 TG4G 综合评分,数据源自公开测评与用户反馈。