软件单元设计规范.docxVIP

作者:

公司:

xxx

文档名称:

软件单元设计规范

文档号：

文档版本：

日期：

版本历史

版本

修订人

修订日期

修订说明

审核人

目录

TOC\o1-4\h\z\u1 介绍 1

1.1 目的 1

1.2 范围 1

1.3 缩略词 1

1.4 系统概述 1

2 BMS项目软件 1

3 软件单元设计 2

3.1.1 电流采集 2

3.1.2 目的 2

3.1.3 输入/输出 2

3.1.4 功能 3

3.1.5 ASIL优先级 3

3.1.6 验证标准 3

4 资源使用情况 3

5 数据字典 3

6 可追溯性 4

6.1 前向追溯 4

6.2 后向追溯 4

7 限制 4

8 参考文献 4

介绍

软件单元设计规范描述了从软件架构设计规范派生的BMS项目软件单元的设计。详细的设计将有助于实施。详细设计使用自然语言，并按照BMS项目安全合规手册中确定的合适设计原则进行规定。

目的

本文档的主要目的为：

根据软件架构设计规范和相关软件要求来指定软件单元。

为了实现设计的细节到实现的目标。

便于详细设计的静态验证和相应的实施。

范围

本文档仅限于BMS应用软件的单元详细设计说明。

缩略词

缩略词

描述

系统概述

本文件描述了BMS系统在上电自检、充电、放电、故障诊断等模式下，实现具体功能的软件单元设计规范，根据本设计规范将分别按照建模或编码规范以模型或直接以源代码的形式实现各软件单元。

软件单元设计和实现的设计原则

软件单元设计和实现的设计原则如下;

1、子程序和函数采用一个入口和一个出口；

2、无动态对象或动态变量，否则需要在其产生过程中对其进行在线测试；

3、变量初始化；

4、不能重复使用变量名称；

5、避免全局变量，否则需证明对全局变量的使用是合理的；

6、限制使用指针；

7、无隐式类型转换；

8、无隐藏数据流或控制流；

9、没有无条件跳转；

10、无递归。

BMS项目软件

No.

UnitName

描述

软件单元设计

UNIT1_SW电流采集与计算单元

目的

输入/输出

表SEQ表\*ARABIC1电流采集单元的输入

输入

描述

表SEQ表\*ARABIC2电流采集单元的输出

输出

描述

表SEQ表\*ARABIC3电流采集单元的变量

变量

值

描述

功能

ASIL优先级

验证标准

本软件单元的测试验证标准为：

实现功能；

MIL测试通过；

UNIT2_SWMCU监控单元

目的

此部分用于监控电流采集部分代码，使用MCU的双核锁步功能获取FCCU监控状态，将监控状态传递给安全通道。

输入/输出

表SEQ表\*ARABIC2电流采集单元的输出

输出

描述

表SEQ表\*ARABIC3电流采集单元的变量

变量

值

描述

功能

ASIL优先级

本软件单元的ASIL级别为ASILD。

验证标准

本软件单元的测试验证标准为：

实现功能；

MISRAC2012检查通过；

Tessy检查通过。

UNIT3_SW电流诊断单元

目的

输入/输出

表SEQ表\*ARABIC1电流采集单元的输入

输入

描述

表SEQ表\*ARABIC2电流采集单元的输出

输出

描述

表SEQ表\*ARABIC3电流采集单元的变量

变量

值

描述

功能

ASIL优先级

本软件单元的ASIL级别为ASILD。

验证标准

本软件单元的测试验证标准为：

1)实现功能；

2)MIL测试通过；

UNIT4_SW电流故障处理单元

目的

此部分用于描述电流故障处理单元的内容及实现方式，应用软件按照需求进行安全处理。

输入/输出

表SEQ表\*ARABIC1电流采集单元的输入

输入

描述

表SEQ表\*ARABIC3电流采集单元的变量

变量

值

描述

功能

ASIL优先级

本软件单元的ASIL级别为ASILD。

验证标准

本软件单元的测试验证标准为：

实现功能；

MIL测试通过

资源使用情况

各软件单元的资源使用情况如下表所示。

表SEQ表\*ARABIC4资源使用细节

No.

Unit

RAM

ROM

执行时间

数据字典

表SEQ表\*ARABIC5数据字典

No.

组件