安全关键系统

作品数：93被引量：233H指数：8
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：熊光泽胡军黎忠文桑楠黄志球更多>>
相关机构：南京航空航天大学电子科技大学兰州大学同济大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金中国航空科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于SCADE高安全软件的模型覆盖测试
《数字技术与应用》2023年第12期111-113,共3页虞佳伟 沈雷 邵锴 林娇娇 
随着SCADE在航空航天、轨道交通、核能电子、轨道交通等安全关键行业的广泛应用,为了保证软件系统的正确性和可靠性,模型覆盖测试成为了一种重要的测试方法。本文将介绍基于SCADE高安全软件的模型覆盖测试技术,探讨它在软件开发测试中...
关键词：覆盖测试 安全软件 安全关键系统 嵌入式软件 SCADE 安全关键软件 软件开发 应用程序开发 
自动飞行模式转换逻辑的形式化建模与验证被引量：1
《南京航空航天大学学报》2023年第5期768-779,共12页李俊安 胡军 王立松 黄志球 蔡鑫 
国家自然科学基金(U2241216)。
自动飞行控制系统(Automatic flight control system,AFCS)是现代飞机中重要的安全关键系统之一,飞行引导控制系统(Flight guidance control system,FGCS)是其重要的组成部分。FGCS中的飞行模式有数十种,模式转换逻辑十分复杂,在各个模...
关键词：计算机软件与理论 飞行制导控制系统 基于模型的安全性分析 模型检测 安全关键系统 
基于SMT的区域控制器同步反应式模型的形式化验证
《软件学报》2023年第7期3080-3098,共19页李腾飞 孙军峰 吕新军 陈祥 刘静 孙海英 何积丰 
国家重点研发计划(2019YFA0706404);国家自然科学基金(61972150);上海市超级博士后基金(2021146)。
在安全关键系统的软件开发过程中,形式化验证是一种经检验的提高软件质量的技术.然而,无论从理论上还是从应用角度来看,软件的验证都必须是完整的,数据流验证应该是对实现层软件模型进行验证的必要体现.因此,环境输入、泛型函数、高阶...
关键词：形式化验证 安全关键系统 同步反应式模型 高阶迭代 程序转换 
基于SAE AS5643协议分析及改进设计实现
《电光与控制》2023年第4期100-104,110,共6页何向栋 陈长胜 眭畅豪 
国家某重点基金项目(MJ-2018-S-33)。
针对高速串行总线IEEE1394B的特点,分析在此基础上的SAE AS5643协议在航空安全关键领域的应用。研究了协议技术特点,分别对时间同步、数据通信、根节点、拓扑和带宽等确定性方面展开阐述,结合时间触发的优势,对AS5643协议进行改进,具体...
关键词：时间触发总线 安全关键系统 AS5643 IEEE1394B 时间同步 控制计算机(CC) 远程节点(RN) 启动帧(STOF) 
安全关键系统多范式建模及安全性分析方法
《小型微型计算机系统》2022年第9期2005-2016,共12页李书铭 杨志斌 谢健 周勇 陈静 
国家自然科学基金项目(62072233)资助;航空科学基金项目(201919052002)资助;中央高校基本科研业务费专项资金项目(NP2017205)资助.
随着安全关键系统的规模和复杂性不断增长,单一建模语言无法完全覆盖该类异构系统的建模要求.近年来,多范式建模方法逐渐成为表达复杂异构系统的有力手段,而安全性分析则是保证安全关键系统质量的重要步骤.本文提出一种面向安全关键系...
关键词：安全关键系统 多范式建模 安全性分析 SYSML AADL ARP4761 
一种面向SCR需求模型的形式化验证方法研究被引量：2
《小型微型计算机系统》2022年第1期193-202,共10页张漾 胡军 王立松 康介祥 王辉 高忠杰 
国家“九七三”重点基础研究发展计划项目(2014CB744900)资助。
在需求层级进行建模分析与验证是复杂安全关键软件开发过程中的核心关注点.本论文工作面向航空领域中典型安全关键软件的需求层级,提出了一种基于形式化模型检验技术的需求模型验证方法.首先分析了形式化需求模型(SCR)的建模工具(T-VEC...
关键词：安全关键系统 nuXmv模型 模型映射 安全性验证 
基于AADL和GSPN的安全关键系统的研究被引量：2
《航空计算技术》2020年第5期18-22,共5页杨海云 孙有朝 阮宏泽 皇甫齐君 
国家自然科学基金委员会与中国民用航空局联合项目资助(U1333119);国防基础科研计划项目资助(JCKY2013605B002);上海民用飞机健康监控工程技术研究中心开放课题基金资助(GCZX-2015-05);国防科工局技术基础科研项目资助(Z052013B003);江苏省自然科学青年基金项目资助(BK20140813)。
对于安全关键系统,资源共享在不同功能之间引入了一些不可避免的互连,从而导致故障传播模式更加复杂,分析它们之间的关系变得更加困难。提出使用AADL(Architecture Analysis Design Language)建立系统模型并将其转换为GSPN(Generalized ...
关键词：AADL GSPN 故障传播 组合故障 安全性分析 
安全关键系统中操作系统的安全分析被引量：1
《航空计算技术》2020年第3期117-121,共5页任晓瑞 陈晓磊 
国家自然科学基金项目资助(61732001)。
随着计算机软件的广泛使用,软件安全成为普遍关注的问题。在分析安全相关标准的基础上,建议采用基于产品和基于过程相结合的方法开发操作系统。选取面向安全领域的综合化系统,建立分区操作系统功能到通用计算平台安全功能需求的映射关系...
关键词：操作系统 安全 风险 安全合约 危害 
时间触发通信总线安全性技术研究被引量：2
《航空计算技术》2020年第3期72-76,共5页刘智武 于峰 陈长胜 
国家十二五基金项目资助(MJZ-2014-S-47)。
针对安全关键系统的时间触发通信需求,分析了时间触发通信总线的安全性机制,从分布式通信架构、时间域的总线监护、总线重构、物理层隔离等方面开展了时间触发通信的安全性设计,并构建了时间触发通信总线安全性验证平台及环境,开展了针...
关键词：时间触发通信 总线 安全关键系统 安全性 
面向SysML的系统安全性分析工具与实例研究被引量：2
《计算机科学》2020年第5期284-294,共11页唐红英 胡军 陈朔 石梦烨 
南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20181607)。
基于模型的安全性分析方法能够提高对目前复杂安全关键系统的建模与分析能力。系统建模语言(System Modeling Language,SysML)是一类在工业领域被广泛应用的非形式化系统功能建模语言,AltaRica是面向系统安全性分析的形式化建模语言。...
关键词：安全关键系统 SYSML AltaRica 工具 机轮刹车系统 
全选清除导出
共10页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部