工作组英文名称

Group Name in English

Architecture and Interface Design Specification for Intelligent Model-Driven Development Toolchain for Safety-Critical Software Working Group

计划开始时间
Start Date

2025年10月

计划结束时间
End Date

2026年2月

组长

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

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

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