软件安全性与分析验证工具招标公告

招标公告

中航技国际经贸发展有限公司受陕西航空电气有限责任公司委托，对软件安全性与分析验证工具进行招标。现欢迎合格投标人参加投标。

1．招标编号：0730-216211010410/01

2．设备包名称：软件安全性与分析验证工具 数量：一套

3．项目概况与招标范围： 软件安全性与分析验证工具

4．资格及主要技术要求：

投标人需具备法人资格，投标文件中提供营业执照复印件或事业单位法人证书复印件。 支持对被分析软件的外部接口建模、功能IPO建模、功能层次关系建模、工作状态建模等4种建模功能。 工具应能对被分析软件的外部接口，外部接口信息进行建模，建模内容包括接口名称、接口类型、接口连接设备、接口输入输出方向、数据内容等。 工具应能对被分析软件的功能，功能的输入-处理-输出信息进行建模，建模内容包括功能名称、功能输入、功能处理、功能输出、功能描述等。 工具应能对被分析软件的多个功能，功能以及功能的层次进行建模，以图形化形式展示多个功能之间的层次关系。 工具应能对被分析软件的工作状态，工作状态、状态迁移等方式进行建模，建模内容包括状态名称、状态迁移条件、状态迁移图等。 支持数据驱动的软件失效模式识别分析过程（SFMEA） 工具应能支持软件失效模式识别过程中，自动推送软件失效模式数据作为参考，从软件输入、处理过程、软件输出角度，识别分析可能出现的软件失效模式。 其他详见招标文件具体要求。

5．招标文件发售时间和地点：

招标文件购买时间：2021-10-15 09:00至2021-10-25 16:00

招标文件购买地址：***

招标文件价格：标段01：500，售后不退

招标文件购买网址：https://www.eavic.com/

6．投标文件递交时间及地点：

投标文件递交截止时间：2021-11-05 09:30

投标文件递交地点：线上：航空工业电子采购平台；线下：西安天翼新商务酒店五层会议室

投标联系电话***

7．开标时间及地点：

开标时间：2021-11-05 09:30

开标地点：线上：航空工业电子采购平台；线下：西安天翼新商务酒店五层会议室

开标地点联系电话***

8．联系方式***