工作组英文名称

Group Name in English

Safety-Critical Software Model Classification Standard Working Group

计划开始时间
Start Date

2025年10月

计划结束时间
End Date

2026年02月

组长

Group Chairs

胡春明（单位：北京航空航天大学）

工作范围

Scope

规范我国安全攸关软件模型的分类方法，针对开发流程中的各类模型明确其所包含的内容和分类规则，并详细描述其分类实施方法与统计标准，旨在指导模型在需求、设计、仿真与实现阶段的统一管理与复用，为开发流程中各阶段工具之间的接口设计提供参考，确保安全攸关软件模型分类工作的规范化、系统化与高质量实施。

产出物：规范性文档
Normative Specifications

1.       安全攸关软件模型分类标准

产出物：非规范性文档
Conditional Normative Specifications

无

时间节点

Timeline

·       2025年11月 完成初稿

·       2025年12月 征求意见

议事规则

Decision Policy

投票基于机构 entity（非基于个人individual），基于大多数同意原则，即赞成票占2/3以上，且反对票不超过1/4。如需其他类型的议事规则，请说明。

专利政策

Patent Policy

1.       指出是否发现有知识产权的问题：

√不涉及专利；

 基于对等原则，提供免费的许可（“RF”）；

 基于对等原则和公平、合理、无歧视的原则提供许可（“FRAND”）；

2.       知悉并同意中国计算机学会标准工作委员会知识产权管理办法：

√同意     不同意

章程历史

Charter Record

首份章程开始时间：             结束时间：

更新版章程开始时间：           结束时间：