排序方式: 共有3条查询结果,搜索用时 109 毫秒
1
1.
2.
软件需求缺陷特别是关于系统安全性方面的需求缺陷已逐渐成为导致飞机等安全关键系统发生事故的主要根源。在基于模型的软件开发中,有效管理开发出来的软件需求将有助于解决这一问题。为避免软件需求的无序性导致软件需求缺陷特别是安全性需求缺陷的生成,在借鉴层次分析法的有关思想基础上,提出了层次化管理安全关键软件需求的思路,构建了安全关键软件的需求递阶层次结构。该结构按照目的、准则、方案三层将软件需求有序组织在一起,不仅明确表达了不同层次软件需求之间的关系,有助于保证软件需求的一致性、可溯性,而且说明了软件安全性需求与危险场景之间的关系,有助于预防安全性需求缺陷,从而可以有效规避软件安全性问题。 相似文献
3.
综合模块化航空电子体系结构研究 总被引:8,自引:4,他引:4
军用航空电子系统体系结构关系到战机的可靠性、安全性、可用性、生存性、扩展性和维修性等方面。综合模块化航空电子(IMA)是目前机载航空电子系统结构发展的最高阶段,其特征和优势已经在美国四代机上得到充分展现和发挥,为我国四代机综合航电的研制工作提供了参考依据。回顾了机载航空电子体系结构的发展史,分析了推动IMA体系结构发展的3个主要因素,归纳了IMA的特点,从信息流处理的角度对IMA体系结构进行了划分,并研究了适应于IMA的两种典型的综合航电软件体系结构,指出了发展趋势。最后就我国综合航电体系结构的研究和发展所面临的问题进行了初步探讨。 相似文献
1