SCADE

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于自然语言需求的SCADE模型测试用例自动生成方法
《计算机科学》2024年第7期29-39,共11页邵温欣 杨志斌 李维 周勇 
国家自然科学基金(62072233);国防基础科研项目(JCKY2020205C006);航空科学基金(201919052002);南京航空航天大学科研与实践创新计划(xcxjh20221607)。
随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法...
关键词：安全关键软件 模型驱动开发 SCADE 测试用例自动生成 模型检测 
基于机器学习的SCADE模型组合验证环境假设自动生成方法被引量：2
《计算机科学》2023年第6期297-306,共10页张泽伦 杨志斌 李晓劼 周勇 李维 
国家自然科学基金(62072233);国防基础科研项目(JCKY2020205C006);航空科学基金(201919052002)。
高安全应用开发环境(Safety Critical Application Development Environment, SCADE)是工业界进行安全关键软件建模、仿真测试和形式化验证的常用工具,如何解决工业级软件的SCADE模型在进行形式化验证时遇到的状态空间爆炸问题是目前面...
关键词：SCADE 组合验证 环境假设 决策树 遗传算法 
基于程序转化的SCADE模型检测被引量：3
《计算机科学》2021年第12期125-130,共6页冉丹 陈哲 孙毅 杨志斌 
国家自然基金委员会-中国民航局民航联合研究基金(U1533130);中央高校基本科研业务费人工智能+专项(NZ2020019);上海市高可信计算重点实验室开放课题;南京大学计算机软件新技术国家重点实验室开放课(KFKT2020B10)。
SCADE同步语言是一种常用的嵌入式系统程序设计语言。在航空、航天、交通等安全关键领域的装备研发中,SCADE同步语言通常被用于实现实时嵌入式自动控制系统。SCADE语言是工业级的开发工具,它源于Lustre语言,并在其基础上增加了更多的语...
关键词：模型检测 安全有限状态机 词法分析 语法分析 抽象语法树 JKind 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部