安全关键软件

作品数：54被引量：164H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：杨志斌周勇郁涵刘海涛王玉琢更多>>
相关机构：南京航空航天大学西南交通大学北京航空航天大学中国航发控制系统研究所更多>>
相关期刊：《计算机光盘软件与应用》《航空计算技术》《计算机工程与设计》《计算机与现代化》更多>>
相关基金：国家自然科学基金中国航空科学基金中央高校基本科研业务费专项资金江苏省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
空间站机械臂安全关键软件开发技术研究
《航天器工程》2024年第5期50-58,共9页胡玉茜 张思博 牛嘉祥 禹霁阳 孙勇 唐自新 
空间站机械臂因其运动范围大、运动路径多变、控制精度要求高等复杂性,对软件的安全性和可靠性要求非常高。机械臂软件具有信息流处理多、控制功能复杂、实时性高的特点。文章根据我国空间站机械臂安全关键软件的开发设计工作,基于软件...
关键词：空间站机械臂 安全关键软件 开发技术 
基于自然语言需求的SCADE模型测试用例自动生成方法
《计算机科学》2024年第7期29-39,共11页邵温欣 杨志斌 李维 周勇 
国家自然科学基金(62072233);国防基础科研项目(JCKY2020205C006);航空科学基金(201919052002);南京航空航天大学科研与实践创新计划(xcxjh20221607)。
随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法...
关键词：安全关键软件 模型驱动开发 SCADE 测试用例自动生成 模型检测 
基于SCADE高安全软件的模型覆盖测试
《数字技术与应用》2023年第12期111-113,共3页虞佳伟 沈雷 邵锴 林娇娇 
随着SCADE在航空航天、轨道交通、核能电子、轨道交通等安全关键行业的广泛应用,为了保证软件系统的正确性和可靠性,模型覆盖测试成为了一种重要的测试方法。本文将介绍基于SCADE高安全软件的模型覆盖测试技术,探讨它在软件开发测试中...
关键词：覆盖测试 安全软件 安全关键系统 嵌入式软件 SCADE 安全关键软件 软件开发 应用程序开发 
嵌入式多核操作系统的形式化建模与验证被引量：1
《航空计算技术》2022年第6期124-128,共5页郝继锋 胡宁 任晓瑞 周霆 
国家自然科学基金项目资助(61732001)。
在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件...
关键词：安全关键软件 安全认证 形式化方法 嵌入式多核操作系统 时间确定性 功能正确性 形式化建模和验证 
基于PROMELA模型的安全关键软件形式化验证技术
《西北工业大学学报》2022年第5期1180-1187,共8页邢亮 丁成钧 杜虎鹏 马春燕 
航空科学基金(20185853038,201907053004)资助。
聚焦安全关键软件,研究基于PROMELA形式模型验证C程序中违反断言、数组越界、空指针解引用、死锁及饥饿等5类故障技术。建立C程序抽象语法树节点到PROMELA模型,验证属性相关函数到PROMELA模型的2类映射规则;根据映射规则提出由C程序自...
关键词：C程序 PROMELA模型 软件故障 形式化验证 
安全关键软件的AADL模型自动逆向构造方法被引量：2
《小型微型计算机系统》2022年第7期1553-1561,共9页邱志凯 杨志斌 谢健 周勇 程高辉 陈俊文 
国家自然科学基金项目(62072233)资助;航空科学基金项目(201919052002)资助;中央高校基本科研业务费专项资金项目(NP2017205)资助.
近年来,采用模型驱动(Model-Driven)尤其是形式化模型驱动的安全关键软件设计与开发方法逐渐受到重视,并被工业界认为是切实可行的重要手段.AADL(Architecture Analysis and Design Language)是一种广泛应用于安全关键领域的形式化建模...
关键词：安全关键软件 模型驱动工程 模型驱动逆向工程 AADL 
安全关键软件数据防护措施研究被引量：2
《铁道通信信号》2022年第6期21-24,共4页章慧 
从数据编码、故障检测、“故障-安全”处理、数据测试等方面,给出安全关键软件在设计实现阶段的数据安全防护措施,以及提高数据可测性的设计措施,有助于全面防范动、静态数据的系统性失效和随机性失效;最后,提出在数据生产配置阶段,利...
关键词：铁路信号 安全关键软件 数据安全 循环冗余校验 数据测试 
铁路信号系统中安全关键软件的安全分析方法被引量：1
《微型电脑应用》2022年第4期183-186,190,共5页林伟欣 胡源 李梅 
铁路信号系统中的安全关键软件,在其生命周期内需要有系统性的安全分析方法,保证软件的安全和质量要求。基于铁路信号系统软件EN50128标准的软件开发生命周期模型,提出了基于软件开发周期完整的安全分析流程,并结合轨旁设备安全控制平...
关键词：软件安全 安全分析 软件生命周期 铁路信号系统软件 
NASA软件标准和体系研究
《航天标准化》2021年第3期35-40,共6页薛恩 刘金燕 沈岭 
美国国家航空航天局(NASA)将软件视为核心能力和关键赋能技术,近年来集中修订和发布了一系列软件工程要求和安全保证等相关标准和手册,形成科学有效的NASA软件标准体系。本文跟踪NASA最新发布的软件标准,重点梳理标准内容之间的关联,着...
关键词：软件标准 软件工程 软件保证 安全关键软件 
一种面向领域自然语言需求的形式化需求模型生成方法研究被引量：2
《小型微型计算机系统》2021年第8期1639-1648,共10页胡建成 胡军 汪文轩 康介祥 王辉 高忠杰 
构造一个满足完整性、一致性且组织良好的需求制品是提高安全关键软件质量的重要方法.本文工作面向机载软件领域,设计一种从自然语言描述的条目化需求到形式化需求模型生成的方法;工作包括:分析航电领域的需求描述特征,从该领域的自然...
关键词：安全关键软件 领域模板库 VRM 模型转换 EICAS 
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部