TCASME-机载系统设计与模型验证一体化平台技术规范.pdf

ICS35.080

CCSL67

CASME

中国中小商业企业协会团体标准

T/CASMEXXXX—XXXX

机载系统设计与模型验证一体化平台技术

规范

Technicalspecificationsforintegratedplatformforairbornesystemdesignandmodel

validation

征求意见稿

XXXX-XX-XX发布XXXX-XX-XX实施

中国中小商业企业协会  发布

T/CASMEXXXX—XXXX

前言

本文件按照GB/T1.1—2020《标准化工作导则第1部分：标准化文件的结构和起草规则》的规定

起草。

请注意本文件的某些内容可能涉及专利。本文件的发布机构不承担识别专利的责任。

本文件由成都赢瑞科技有限公司提出。

本文件由中国中小商业企业协会归口。

本文件起草单位：成都赢瑞科技有限公司、×××、×××。

本文件主要起草人：×××、×××、×××。

I

T/CASMEXXXX—XXXX

机载系统设计与模型验证一体化平台技术规范

1范围

本文件规定机载系统设计与模型验证一体化平台的通用要求、平台架构、抽象层次、验证与仿真执

行、平台模块功能以及质量控制的要求。

本文件适用于机载系统设计与模型验证一体化平台的设计、建设与质量验证。

2规范性引用文件

下列文件中的内容通过文中的规范性引用而构成本文件必不可少的条款。其中，注日期的引用文件，

仅该日期对应的版本适用于本文件；不注日期的引用文件，其必威体育精装版版本（包括所有的修改单）适用于本

文件。

GB/T25000.10系统与软件工程系统与软件质量要求和评价（SQuaRE）第10部分：系统与

软件质量模型

GB/T25000.51系统与软件工程系统与软件质量要求和评价（SQuaRE）第51部分：就绪可

用软件产品（RUSP）的质量要求和测试细则

3术语和定义

下列术语和定义适用于本文件。

3.1

机载系统设计与模型验证一体化平台integratedplatformforairbornesystemdesignand

modelverification

采用面向对象理论和“服务化”思想对航电任务系统进行多层抽象，利用扩展的UML/SysML模型语

言构建的航电系统设计简易化、模块化模型设计的全新服务流程视图，以Petri网为模型基础，支持航

电任务场景的精准模型设计和仿真执行验证的平台。

3.2

Petri网petrinet

一种适合于航电系统描述和具备严谨推理的数学模型，能有效支持离散、连续、周期、条件执行、

事件通知、自驱和多速率（时序）等航电任务场景的建模和仿真。

3.3

面向对象理论object-orientedtheory

一种基于对象的软件开发方法，将问题看作一些个体对象的集合，这些对象通过相互发送消息来协

作完成任务。

4平台设计与模型验证通用要求

4.1模块化设计

平台设计应该采用模块化设计思想，将系统功能划分为不同的模块，每个模块负责特定的任务。模

块之间应当进行清晰的接口定义，以便实现模块之间的协作与信息传递。

4.2服务化建模

平台设计应支持将航电机载任务系统的功能划