ICS35080

L77.

中華人民共和國國家標準

GB/T37691—2019

可編程邏輯器件軟件安全性設計指南

Guideforprogrammablelogicdevicesoftwaresafetydesign

2019-08-30發布2020-03-01實施

國家市場監督管理總局發布

中國國家標準化管理委員會

GB/T37691—2019

目次

前言

…………………………Ⅰ

范圍

1………………………1

規范性引用文件

2…………………………1

術語和定義

3………………1

縮略語

4……………………2

總則

5………………………2

需要考慮的因素

6…………………………3

附錄資料性附錄可編程邏輯器件軟件安全性分析方法

A()…………10

GB/T37691—2019

前言

本標準按照給出的規則起草

GB/T1.1—2009。

請注意本文件的某些內容可能涉及專利本文件的發布機構不承擔識別這些專利的責任

。。

本標準由全國信息技術標準化技術委員會提出并歸口

(SAC/TC28)。

本標準起草單位中國航天科工集團公司第三研究院第三四研究所中國電子技術標準化研究

:○、

院中國電子科技集團第三十研究所國家衛星海洋應用中心

、、。

本標準主要起草人孟偉楊楠王黎姜曉輝胡勇黃瓊王國鋒張津榮李文鵬朱琳張國宇

:、、、、、、、、、、、

肖崇儉寇科男李愷巫忠躍彭鳴毛偉許卓琦張旸旸陳元史玥陳鵬劉廷楊永生王希孫健

、、、、、、、、、、、、、、、

葛永嬌

。

Ⅰ

GB/T37691—2019

可編程邏輯器件軟件安全性設計指南

1范圍

本標準給出了可編程邏輯器件軟件安全性設計的指導和建議并給出了需考慮要點有關的信息

,。

本標準適用于可編程邏輯器件軟件的系統需求分析軟件需求分析設計和實現時的安全性設計

、、。

2規范性引用文件

下列文件對于本文件的應用是必不可少的凡是注日期的引用文件僅注日期的版本適用于本文

。,

件凡是不注日期的引用文件其最新版本包括所有的修改單適用于本文件

。,()。

信息技術軟件工程術語

GB/T11457—2006

集成電路計算機硬件描述語言

GB/T18349/Verilog

可編程邏輯器件軟件開發通用要求

GB/T33781—2017

可編程邏輯器件軟件測試指南

GB/T33783—2017

3術語和定義

和界定的以及下列術語和定義適用

GB/T11457—2006、GB/T33781—2017GB/T33783—2017

于本文件

。

31

.

可編程邏輯器件programmablelogicdevice

允許用戶編程配置實現所需邏輯功能的器件

()。

定義

[GB/T33781—2017,3.1.1]

32

.

可編程邏輯器件軟件programmablelogicdevicesoftware

針對等可編程邏輯器件進行設計而產生的程序文檔和數據

FPGA、CPLD、。

定義

[GB/T33781—2017,3.1.5]

33

.

軟件安全性softwaresafety

軟件運行不引起系統事故的能力

。

34

.

軟件失效softwarefailure

軟件系統喪失完成規定功能能力的事件

。

35

.

安全關鍵功能safetycriticalfunction

針對特定的危險事件為達到或保持受控設備的安全狀態而實現的功能

,。

36

.

安全關鍵可編程邏輯器件軟件