基于GJB5000A的软件管理体系模型研究（电力系统及自动化论文资料）.docVIP

基于GJB5000A的软件管理体系模型研究（电力系统及自动化论文资料） 目录 TOC \o 1-9 \h \z \u 目录 1 正文 1 文1：基于GJB5000A的软件管理体系模型研究 1 1军用可编程逻辑器件软件的特点 2 1.1软件特点 2 1.2配置管理实施重点 3 2配置管理的应用 4 2.1工具选择 4 2.2配置管理系统建立 4 结论： 5 文2：基于马尔可夫的软件可信评估模型研究 5 1.引言 5 2.软件可信评估相关技术 5 3.基于马尔可夫的软件可信评估模型 6 4.总结 8 参考文摘引言： 8 原创性声明（模板） 9 正文 基于GJB5000A的软件管理体系模型研究（电力系统及自动化论文资料） 文1：基于GJB5000A的软件管理体系模型研究 前言:可编程逻辑器件是很多领域关键设备的核心，当前可编程逻辑器件应用越来越广泛，在各种产品中的重要性也随之提高，其中可编程逻辑器件软件作为核心技术，对产品质量产生更加重要的影响。可编程逻辑器件软件是采用硬件描述语言进行开发和设计。由于可编程逻辑器件与硬件系统紧密相关，并且长期承担的产品功能没有嵌入式软件重要，导致可编程逻辑器件软件按照硬件的控制要求进行管理。在项目实施过程中，可编程逻辑器件软件开发不规范，忽视开发的设计流程及文档控制，给产品质量带来极大风险。军用可编程逻辑器件软件长期按照硬件的控制要求进行管理，导致重视产品硬件质量而忽略了可编程逻辑器件软件开发的设计流程及文档质量的控制，导致软件测试无法开展，更改过程中也缺少对相关文档及评审的质量监督及审核。当可编程逻辑器件软件功能简单时，暴露的问题还不突出，而在可编程逻辑器件芯片存储量及运算功能极大提高时，其软件就随之承担了更多的功能，因此需要考虑将可编程逻辑器件软件参照软件工程化的思路进行管理，建立符合可编程逻辑器件软件的开发模式，因此本文提出按照其软件特点制定出一种配置管理方案，并对更改过程进行控制，使之更改过程和内容得到相关人员的监督。通过项目实施的结果表明这是一种有效的控制方法。 1军用可编程逻辑器件软件的特点 1.1软件特点 军用可编程逻辑器件由于融合了硬件和软件的特性，因此能够在专用硬件的高性能和CPU的可编程之间找到自己的应用空间，产生更好的效果。这种灵活性可以让设计人员快速对软件进行更改。可编程性能在现场重新写入，将错误进行修改，进而推动很多性能优异的产品发展。由于可编程逻辑器件能够兼顾性能、成本以及灵活性等方面，选择FPGA进行开发是必然的趋势。采用可编程逻辑器件进行开发有以下类似软件的特点。（1）可多次写入。SRAM（静态随机访问存储器）型和Flash（闪存）型的可编程逻辑器件可以多次写入，并且Flash型还具有低功耗的特点。设计人员可以在条件允许的情况下输入参数、运行条件，编译设计代码，以确定设计代码的功能是否正确，进而显著地节约开发成本。（2）软件化的设计开发方式。军用可编程逻辑器件软件开发过程以文档化的形式记录开发过程产生的数据，并在不同开发阶段要求产生不同的输出文档，例如：软件需求规格说明、软件设计说明等。可编程逻辑器件源代码必须按照一定的规范进行编制，在软件测试阶段进行测试。（3）硬件描述语言进行开发与设计。硬件描述语言是电子系统硬件描述、行为描述、结构描述、数据流描述的语言。由硬件描述语言产生的代码转换成互联的信号，并通过输入信号对设计过程进行确认，使用工具将其映射到芯片的最佳位置，然后对设计进行进一步分析，确保具有正确的功能。 1.2配置管理实施重点 为了加强可编程逻辑器件软件研制过程的控制，让软件技术状态变化显性化，软件配置管理作为一种严格的技术手段保证能有效的控制变化。可编程逻辑器件软件开发是通过代码去实现对产品的控制，在其研制过程中也必然要求提供相应的文档作为阶段评审通过的依据。软件配置管理要求及时存放产品生命周期各个时期的产品就可以规避与配置变化的固有安全风险。在实施方法的重点主要是选择文件（工作产品）、进行标识、控制变更、状态记实和配置审核。（1）选择文件。参照软件生命周期形成的设计文档，可编程逻辑器件软件研制过程中应该在各阶段生成设计文档，纳入软件配置管理，进入软件配置库，例如：研制任务书、需求规格说明和设计说明。（2）进行标识。可编程逻辑器件软件与芯片紧密相关，每个芯片一般就需要单独定制不同版本的软件。在一块电路板上可能存有多个芯片，自然就会形成多个软件，必须进行辨识，以确保标识具有唯一性。如果标识不详细划分，产品安装时就存在安装错误的可能性。（3）控制变更。由于可编程逻辑器件软件可反复编译，因此在军用产品研制过程中必然会产生更改。需要在项目启动时建立配置管理策略并实施