公共文化服务平台

杨志斌: 作品数：98 被引量：153H指数：7; 供职机构：南京航空航天大学更多>>; 发文基金：国家自然科学基金中国航空科学基金中央高校基本科研业务费专项资金更多>>; 相关领域：自动化与计算机技术文化科学兵器科学与技术理学更多>>

合作作者

面向国产机载操作系统的IMA软件代码生成方法: 2024年; 随着航空电子系统复杂化的发展趋势及自主可控的要求,对这类复杂系统建模后如何自动生成面向国产机载操作系统的软件代码并验证模型/代码语义一致性具有重要研究意义。文章提出面向国产机载操作系统的航空电子软件代码自动生成方法。首先,使用AADL对综合化航空电子系统进行建模,设计AADL模型到源代码的转换规则,自动生成面向国产机载操作系统的平台相关代码及配置文件;其次,通过AGREE Annex和BLESS Annex契约对AADL模型进行形式化验证,并提出契约到C语言验证代码的转换规则,将验证代码与模型生成的源代码进行结合,部署在国产机载操作系统上进行仿真执行;最后,基于AADL开源建模环境OSATE设计并实现了代码自动生成工具,实验结果验证了方法和工具的有效性。; 凌仕翔杨志斌郭鹏周勇; 关键词：AADL 代码生成

基于时间抽象状态机的AADL模型验证被引量：9: 2015年; 提出了一种基于时间抽象状态机(timed abstract state machine,简称TASM)的AADL(architecture analysis and design language)模型验证方法.分别给出了AADL子集和TASM的抽象语法,并基于语义函数和类ML的元语言形式定义转换规则.在此基础上,基于AADL开源建模环境OSATE(open source AADL tool environment)设计并实现了AADL模型验证与分析工具AADL2TASM,并基于航天器导航、制导与控制系统(guidance,navigation and control)进行了实例性验证.; 杨志斌胡凯赵永望马殿富Jean-Paul BODEVEIX; 关键词：ABSTRACT

面向安全关键嵌入式系统的SysML模型向AADL模型自动转换方法: 本发明涉及到面向安全关键嵌入式系统的SysML模型向AADL模型自动转换方法，该方法提出一个RT Profile，通过stereotype方式扩展了SysML表达实时性的模型元素构成这个Profile，建模时引入Prof...; 杨志斌马燕燕江国华; 文献传递

一种安全攸关嵌入式系统需求追踪方法被引量：7: 2018年; 嵌入式系统在航空、航天、核能及交通等安全攸关领域中的广泛应用,使得保障其安全性至关重要.需求可追踪是安全攸关领域标准的基本要求,也是安全性分析与保障的重要前提.当前可追踪性的研究主要集中在需求与代码之间,缺乏需求与设计间可追踪性的研究,而且建立的追踪信息精确性和完整性不高,无法有效地应用于安全攸关领域.针对这一问题,该文提出了一种基于谓词逻辑的需求追踪方法,可以实现嵌入式系统需求内部横向追踪关系和需求与系统设计间纵向追踪关系的自动推导与检验,并通过两种广泛使用的标准语言SysML和AADL分别对系统需求与设计进行建模.首先,定义了一个基于谓词逻辑的形式系统描述制品间的追踪信息,分别给出了SysML需求的横向追踪关系和纵向追踪关系的语义,然后,基于语义模型给出了追踪关系的自动推导与检验规则,用以建立精确、完整的需求追踪关系,基于这些追踪关系可以有效地支持嵌入式系统的安全性分析以及系统的维护与演化.最后,通过一个案例分析说明了该文需求追踪方法的有效性和可行性.; 王飞黄志球杨志斌杨志斌阚双龙沈国华; 关键词：嵌入式系统可追踪性谓词逻辑语义模型

一种AADL图形化功能行为建模方法: 本发明公开了一种AADL图形化功能行为建模方法，其特征是，包括如下步骤：1)对AADL行为附件各组件进行图元定义；2)使用Eclipse插件开发技术、插件扩展点扩展技术实现图元注册；3)对AADL行为附件图形化修改后检查...; 杨志斌许金淼刘承威王飞谢健周勇黄志球王永孟

基于扩展的随机DAG的并行任务调度算法研究: 2008年; 针对并行程序结构产生任务计算量和通信量的随机性,提出了一种扩展的随机DAG模型。基于此模型对DAG调度中常用调度算法关键路径SCP(Static Critical Path)算法进行了详细的分析,提出了相应的扩展的随机DAG的调度方法SSCP(Stochastic Static Critical Path)算法。同时,给出了扩展的随机DAG中节点的EST(Earliest Start Time)计算方法,并以SCP算法为例进行实验模拟。实验结果表明,SSCP算法相对于SCP算法,减少了并行任务执行时间,并能更精确地预测任务调度的平均执行时间。; 姜燕胡凯杨志斌张新宇; 关键词：EST

一种WordNet到Neo4J的映射方法、语义检测方法及语义计算扩展接口生成方法: 本发明公开了一种WordNet到Neo4J的映射方法、语义检测方法及语义计算扩展接口生成方法，包括：提取同义词集合有效信息，并将其映射到Neo4J中的同义词集结点上；采用广度优先算法遍历每个以特定关系相关连的两个同义词集...; 王铁鑫李文心曹静雯杨志斌周勇陶传奇

一种基于约束规划的综合化航空电子系统任务分配与调度方法: 本发明公开了一种基于约束规划的综合化航空电子系统任务分配与调度方法。在任务分配和调度之前，考虑主存共享带来的时间干扰，构建多核处理器下任务最坏执行时间的计算公式，为任务分配和调度提供安全可靠的可行性分析和可调度性分析。根...; 杨志斌曾清华周勇郭鹏张晓

一种基于自然语言需求的AADL模型组合验证性质自动生成方法: 本发明公开了一种基于自然语言需求的AADL模型组合验证性质自动生成方法，在以AADL为建模语言建立的软件模型验证阶段，通过该方法将输入的自然语言需求文本自动生成为形式化契约，该形式化契约插入原模型中，从而方便基于验证工具...; 杨志斌李晓劼张泽伦周勇薛垒李维

复杂嵌入式实时系统体系结构设计与分析语言：AADL被引量：78: 2010年; 首先归纳了AADL(architecture analysis and design language)的发展历程及其主要建模元素.其次,从模型驱动设计与实现的角度综述了AADL在不同阶段的研究与应用,总结了研究热点,分析了现有研究的不足,并对AADL的建模与分析工具、应用实践进行了概述.最后,探讨了AADL的发展与研究方向.; 杨志斌皮磊胡凯顾宗华马殿富; 关键词：系统体系结构 DESIGN