L模型

作品数：379被引量：1539H指数：16
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：杨志斌董云卫黄滟鸿桂盛霖周勇更多>>
相关机构：南京航空航天大学华东师范大学西北工业大学华中师范大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金国家高技术研究发展计划国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 主题=自动生成x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于AADL模型的静态故障树的自动生成被引量：5
《计算机技术与发展》2013年第10期99-102,106,共5页刘玮 李蜀瑜 
中央高校基本科研业务费专项资金(GK2010002011);教育部科学教育重点项目(107106)
在基于模型驱动的嵌入式软件开发中,为了避免安全问题可能产生的损失,需要对系统的安全性进行分析,找出可能发生错误的地方。在基于AADL系统模型的安全性分析上,利用AADL错误模型附件为系统故障和传播进行建模,通过追踪对象的可能故障...
关键词：结构化分析和设计语言 错误模型 有向图 故障树 
AADL模型的代码自动生成及集成技术被引量：6
《计算机工程》2009年第8期59-61,共3页陶勇 桂盛霖 马亮 尹立孟 
国家自然科学基金资助项目(90718019);国家“863”计划基金资助重点项目(2007AA010304)
体系结构分析设计语言(AADL)是一种基于模型驱动体系结构的建模语言,针对如何将AADL模型自动生成框架代码的问题,提出AADL模型元素同C语言元素间的转换规则,设计AADL模型转换为C语言框架代码的自动代码生成器Generator。实例证明了AADL...
关键词：嵌入式软件 模型驱动体系结构 转换规则 代码自动生成 
AADL模型的ada代码自动生成及集成技术
《实验科学与技术》2009年第4期42-44,84,共4页李建一 桂盛霖 尹立孟 罗惠琼 
国家高技术研究发展计划(863计划)资助(2007AA010304)
基于模型驱动架构MDA方法,对AADL进行了研究,提出了AADL模型元素同ada语言元素之间的映射规则,开发了AADL模型的ada代码自动生成器Generator-ada,最后以实例证明将AADL模型自动转换为可执行的ada代码的有效性。
关键词：嵌入式 AADL语言 模型驱动 ADA语言 映射规则 自动生成 
AADL模型代码自动生成技术研究被引量：4
《计算机应用研究》2008年第12期3631-3635,共5页刘雪琴 桂盛霖 罗蕾 罗惠琼 
国家自然科学基金资助项目(90718019);国家“863”计划资助项目(2007AA010304)
随着嵌入式系统在安全关键领域的广泛应用,必须采用现代软件工程的技术进一步提高其可信性,以保证人们的生命安全。基于模型驱动方法,对AADL(体系结构分析设计语言)模型的框架代码自动生成技术进行了研究,提出了从AADL模型元素到C和Ada...
关键词：体系结构分析设计语言 建模工具 代码自动生成技术 映射规则 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部