白海洋

作品数：4被引量：6H指数：2
导出分析报告
供职机构：南京航空航天大学计算机科学与技术学院更多>>
发文主题：自动机UPPAAL时间自动机L模型AAD更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《东南大学学报（自然科学版）》《小型微型计算机系统》《计算机工程与科学》《计算机科学》更多>>
所获基金：中央高校基本科研业务费专项资金中央级公益性科研院所基本科研业务费专项更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Uppaal的实时系统AADL数据流模型的转换与验证被引量：1
《计算机科学》2016年第1期211-217,共7页沈宁敏 李静 白海洋 庄毅 
中央高校基本科研业务费专项资金(NS2015092)资助
体系结构分析设计语言AADL是一种可支持软硬件一体化建模及同一模型多元分析的形式化与图形化建模语言。采用时间自动机形式化模型检验方法对AADL模型中的数据流进行转换和验证。考虑到单一数据流与混合数据流的差异性,分别设计了数据...
关键词：AADL 时间自动机模型 数据流时延 UPPAAL 软件验证 
基于时间自动机的嵌入式系统AADL模型可调度性验证被引量：2
《东南大学学报（自然科学版）》2015年第6期1032-1037,共6页李静 沈宁敏 白海洋 周培云 
中央高校基本科研业务费专项资金资助项目(NS2015092)
采用时间自动机形式化模型检验方法建立了结构分析与设计语言(AADL)调度模型的自动机,实现了从AADL模型到时间自动机模型的自动转换与验证.首先,设计了周期、非周期的线程时间自动机模板及抢占、非可抢占的调度器时间自动机模板,建立了A...
关键词：结构分析与设计语言 时间自动机模型 可调度性 仿真验证 
面向飞行器设计软件界面原型系统生成的研究
《小型微型计算机系统》2015年第1期89-94,共6页白海洋 李静 周培云 庄毅 
南京航空航天大学基本科研业务费专项科研项目(NS2012136)资助
在软件工程的需求分析阶段,带有一定交互的界面原型系统能快速直观地反映出当前设计的效果,方便软件需求的进一步沟通与确定.针对飞行器设计软件界面输入输出参数较多、参数组织复杂等特点,为了更快地实现数据到界面元素的映射,提出了...
关键词：界面原型 飞行器设计软件 界面表示模型 数据绑定 XML SCHEMA 
基于时间自动机的嵌入式软件模型可调度性验证被引量：3
《计算机工程与科学》2013年第3期121-127,共7页白海洋 李静 赵娜 
基本科研业务业务费专项科研项目可信嵌入式软件的建模与验证方法(NS2012136);横向课题嵌入式软件可信性验证方法研究(KFA1151901)
结构分析与设计语言AADL在工业控制、汽车、航空航天等任务关键和实时领域的嵌入式系统开发中得到了广泛的应用。为在开发早期验证模型的可调度性,提出了AADL模型到时间自动机模型的转换方法,将AADL模型中的调度策略映射到时间自动机模...
关键词：结构分析与设计语言 时间自动机 模型转换 UPPAAL 可调度性验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部