SCADE

作品数：96被引量：141H指数：8
导出分析报告
相关领域：自动化与计算机技术交通运输工程更多>>
相关作者：杨志斌吴成富刘文学周勇李耀更多>>
相关机构：南京航空航天大学西南交通大学中国航空无线电电子研究所西安航空计算技术研究所更多>>
相关期刊：更多>>
相关基金：中国航空科学基金国家自然科学基金中央高校基本科研业务费专项资金铁道部科技研究开发计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示系统使用SCADE工具链的适航符合性研究
《航空电子技术》2024年第3期55-61,共7页宋青 曹晓威 金强 
本文介绍了SCADE工具链在民机显示系统软件开发中的使用方法,根据工具使用过程中替代的DO-178目标,结合DO-330相关规则识别了SCADE工具链中哪些工具需要做鉴定以及相应的鉴定级别,针对需要鉴定的工具,为满足被替代的目标,由工具开发方...
关键词：工具链 工具鉴定 适航符合性 适航数据 适航活动 
基于自然语言需求的SCADE模型测试用例自动生成方法
《计算机科学》2024年第7期29-39,共11页邵温欣 杨志斌 李维 周勇 
国家自然科学基金(62072233);国防基础科研项目(JCKY2020205C006);航空科学基金(201919052002);南京航空航天大学科研与实践创新计划(xcxjh20221607)。
随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法...
关键词：安全关键软件 模型驱动开发 SCADE 测试用例自动生成 模型检测 
SCADE座舱显示软件性能优化技术
《中国科技信息》2024年第12期116-119,共4页黄涛 程新满 魏石峰 侯东 
随着时代的发展,用户对飞行安全、性能和效率提出了更高的要求,航空电子技术不断创新,综合显示系统呈现出多元化、综合化、高复杂度的特征。以编码为核心的软件开发极大程度地依赖开发人员的项目经验和编码水平,容易引入语法和逻辑错误...
关键词：软件开发 SCADE 航空电子技术 性能优化技术 基于模型的开发 逻辑错误 仿真测试 综合显示系统 
基于SCADE软件的驾驶舱控制板仿真建模方法与实践
《民用飞机设计与研究》2024年第2期107-112,共6页王艳艳 张景皓 
提出了一种基于高安全性应用开发环境(safety critical application development environment,简称SCADE)的驾驶舱控制板仿真建模方法。首先,采用SCADE Display软件开发驾驶舱控制板的显示界面模型和控制板的显控逻辑模型;然后,在显控...
关键词：高安全性应用开发环境(SCADE) 控制板仿真 建模方法 显示模型 显控逻辑 
基于STAMP与模型检验的全自动无人驾驶复杂运营场景安全验证方法被引量：1
《铁道标准设计》2024年第3期198-207,共10页马牧云 张亚东 李耀 郭进 
四川省科技计划项目(2021YJ0070);中央高校基本科研业务费专项资金资助项目(2682022ZTPY084)。
与传统列控系统相比,全自动无人驾驶运营场景更加复杂多变,潜在的危险及致因具有更强的隐蔽性和复杂性,给运营安全带来了新的挑战。针对以上问题,提出一种STAMP(Systems-Theoretic Accident Model and Process)与模型检验相结合的复杂...
关键词：轨道交通 STAMP 模型检验 全自动无人驾驶系统 运营场景 STPA 安全状态机 SCADE 
基于SCADE高安全软件的模型覆盖测试
《数字技术与应用》2023年第12期111-113,共3页虞佳伟 沈雷 邵锴 林娇娇 
随着SCADE在航空航天、轨道交通、核能电子、轨道交通等安全关键行业的广泛应用,为了保证软件系统的正确性和可靠性,模型覆盖测试成为了一种重要的测试方法。本文将介绍基于SCADE高安全软件的模型覆盖测试技术,探讨它在软件开发测试中...
关键词：覆盖测试 安全软件 安全关键系统 嵌入式软件 SCADE 安全关键软件 软件开发 应用程序开发 
基于多引擎并行协作的SCADE模型检测
《计算机技术与发展》2023年第11期86-90,共5页方雨瑶 张聪 
国家自然科学基金(62172217);国家自然科学基金委员会-中国民航局民航联合研究基金(U1533130);中央高校基本科研业务费人工智能+专项(NZ2020019)。
SCADE语言是一种同步数据流语言,通常被用于实时嵌入式自动控制系统的开发,在航空航天、交通、核工业等领域有广泛的应用。已有的SCADE同步语言模型检测工具存在无法验证部分复杂程序和验证效率低下的问题。为了解决现有的问题,该文提...
关键词：同步语言 形式化验证 一阶逻辑 反应系统 可满足性模理论 
基于SCADE的多传感器列车测速定位系统模型设计被引量：2
《控制与信息技术》2023年第5期113-120,共8页梁波 戴熙昌 
湖南省重点研发计划项目(2022GK2018)。
目前的列车测速定位技术有多种,但每一种定位技术都无法在特定场景下完全满足列车定位要求。文章通过分析现有列车测速定位技术的优缺点,提出了一种基于多传感器信息融合的测速定位系统模型。该系统模型以光电传感器、多普勒雷达、加速...
关键词：测速定位系统 多传感器融合 光电传感器 多普勒雷达 加速度计 应答器 SCADE 形式化验证 
基于SCADE Display的座舱显示软件人机交互方式设计方法研究被引量：1
《电子元器件与信息技术》2023年第6期211-214,共4页熊梦飞 秦正运 徐继雄 沈轶烨 
本文提出了一种使用SCADE Display的基于模型的软件开发方法,用于开发座舱显示软件中的人机交互画面,并对其中的燃油画面功能模块进行了开发实践,还探讨了模型控件的复用。结果表明,基于SCADE Display开发的座舱显示软件具有更直观、便...
关键词：SCADEDisplay 建模 座舱显示软件 人机交互 
基于机器学习的SCADE模型组合验证环境假设自动生成方法被引量：2
《计算机科学》2023年第6期297-306,共10页张泽伦 杨志斌 李晓劼 周勇 李维 
国家自然科学基金(62072233);国防基础科研项目(JCKY2020205C006);航空科学基金(201919052002)。
高安全应用开发环境(Safety Critical Application Development Environment, SCADE)是工业界进行安全关键软件建模、仿真测试和形式化验证的常用工具,如何解决工业级软件的SCADE模型在进行形式化验证时遇到的状态空间爆炸问题是目前面...
关键词：SCADE 组合验证 环境假设 决策树 遗传算法 
全选清除导出
共10页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部