L模型

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

检索结果分析

结果分析中...
选择条件:
  • 主题=代码x
条 记 录,以下是1-4
视图:
排序:
SIGNAL模型多线程代码生成研究被引量:1
《计算机科学与探索》2018年第4期536-549,共14页阚双龙 黄志球 杨志斌 
国家自然科学基金No.61502231;国家高技术研究发展计划(863计划)No.61502231;国家重点研发项目No.2016YFB1000800~~
反应式系统是指与环境不断发生交互的控制系统。这类系统通过接收外部环境输入,对输入进行计算,并将计算结果反馈到外部环境来控制系统的行为。同步语言是一种规约反应式系统的建模语言,同步语言的优势在于支持形式化验证和精确的代码...
关键词:反应式系统 同步语言 SIGNAL 代码生成 卫式操作 
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...
关键词:体系结构分析设计语言 建模工具 代码自动生成技术 映射规则 
检索报告 对象比较 聚类工具 使用帮助 返回顶部