模型驱动开发

作品数：95被引量：186H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：侯金奎万建成刘晓燕刘兴华杨潇更多>>
相关机构：山东大学南京航空航天大学潍坊学院武汉大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划山东省科技攻关计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模块化通信的电动机虚拟实验平台设计
《实验室研究与探索》2025年第3期83-87,100,共6页张子寒 郭奇卉 IVAN Kholodilin MAKSIM Grigorev 
针对电动机虚拟仿真平台功能扩展困难,不同平台间数据通信操作复杂,难以满足学生自主设计需求等问题,构建一种可模块化命令通信的可视化电动机虚拟实验平台。平台以他励直流电动机为研究对象,分别搭建电动机数学模型和3D模型。基于用户...
关键词：电动机驱动 联合仿真 人机交互 运动模拟 模型驱动开发 
基于自然语言需求的SCADE模型测试用例自动生成方法
《计算机科学》2024年第7期29-39,共11页邵温欣 杨志斌 李维 周勇 
国家自然科学基金(62072233);国防基础科研项目(JCKY2020205C006);航空科学基金(201919052002);南京航空航天大学科研与实践创新计划(xcxjh20221607)。
随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法...
关键词：安全关键软件 模型驱动开发 SCADE 测试用例自动生成 模型检测 
基于OBE的模型驱动开发课程探索被引量：4
《计算机教育》2023年第3期135-139,共5页杨溢龙 卜永祺 蹇熠辉 李阳 
北京航空航天大学教改项目“基于OBE教学模式的软件工程基础课程教学改革”;全国高等学校计算机教育研究会项目(CERACU2022R23)。
针对模型驱动开发广泛应用于航空航天等安全关键领域的现状,立足于OBE的4项实施原则,通过收集问题、目标制订、课堂实践、考核标准4个部分的阐述,介绍基于模型开发课程进行的探索与实践,结合北京航空航天大学软件需求分析与系统课程的...
关键词：OBE模式 成果导向教育 模型驱动 课程实践与探索 
基于活动图与顺序图的自动代码生成被引量：2
《软件工程》2021年第8期34-38,30,共6页文浩 蒋建民 张仕 洪中 
国家自然基金(61772004);国家自然基金(61361136002);福建省自然基金(2018J01777);福建省自然基金(2014J01221);成都信息工程大学引进人才科研启动项目(KYTZ202009).
在模型驱动开发过程中,为了减轻开发人员的负担,通常采用自动工具生成代码框架。本文提出了一种基于活动图与顺序图自动生成代码框架的方法,并且基于该方法开发了原型工具。首先,给出了活动图和顺序图的形式化表达;其次,基于活动图和顺...
关键词：模型驱动开发 自动代码生成 形式化方法 
基于公共信息模型的电力项目管理模型设计被引量：3
《能源工程》2021年第4期76-80,共5页徐尧强 舒乔晔 黄昭 周瑾 王康元 
国家电网公司的公共数据模型(SG-CIM)已经更新至4.8版本,但在很多领域仍未足够精细。基于项目管理业务给出一种建模的技术路线,并就模型的应用给出建议;以华东分部的各业务系统中关于项目管理部分的信息为依据,以业务流程为导向;参考IEC...
关键词：CIM 项目管理 ERP 模型驱动开发 
基于分支标记的数据流模型的代码生成方法被引量：2
《软件学报》2021年第6期1647-1662,共16页苏卓 王东艳 杨镒箫 张明睿 姜宇 孙家广 
国家自然科学基金(62022046,U1911401,61802223);科技部重点研发计划(2019YFB1706200);华为清华可信研究项目(20192000794)。
模型驱动开发以其低错误率、易仿真、易验证的特点,在嵌入式软件开发中被广泛应用.近年来,基于模型的嵌入式软件开发方法及相应工具也在逐渐发展和完善.数据流模型是各种建模工具中使用最为频繁的语义模型,然而,各种工具对于数据流模型...
关键词：模型驱动开发 数据流 代码生成 分支 嵌入式系统 
以高效率为目标的模型驱动开发航天嵌入式软件被引量：1
《质量与可靠性》2021年第3期52-56,共5页郭泽 张笃周 范松涛 
航天领域中嵌入式软件属于高可信软件,在轨维护困难,其失效引起的灾难后果严重。为了提高航天嵌入式软件的可靠性和安全性,国内外专家和工程人员对基于模型设计(Model Based Design,MBD)方法开展了诸多研究。MBD是一种软件开发的方法论...
关键词：基于模型设计 高效率 航天 嵌入式软件 
基于AADL和SCADE的模型驱动软件设计被引量：1
《太赫兹科学与电子信息学报》2020年第6期1117-1121,共5页刘芮滦 邓杨 龚彬 
模型驱动开发逐渐应用于嵌入式系统的软件设计,在软件设计阶段重点关注的是软件的架构模型和详细功能模型。用于嵌入式系统软件建模的语言和工具很多,其中结构分析与设计语言(AADL)模型可以构建嵌入式软件的架构,高安全性应用开发环境(S...
关键词：AADL模型 SCADE模型 模型驱动开发 嵌入式系统 自动代码生成 
基于NuSMV的SysML模型形式化验证被引量：4
《计算机技术与发展》2019年第10期153-156,共4页邓刘梦 葛晓瑜 宛伟健 
国家自然科学基金(617722770);南京航空航天大学开放基金(kfjj20171606)
航空航天道路交通等高安全领域的系统开发需要保证高安全、高可靠,对于该类系统的合理建模以及模型验证则尤为重要。当前模型驱动开发方法已经广泛应用于安全关键系统的开发过程中,它支持在早期就对系统进行安全分析和验证,有效地控制...
关键词：需求工程 模型转换 形式化验证 模型驱动开发 
“物理信息系统建模与分析”课程的实践与探讨被引量：1
《电气电子教学学报》2019年第4期14-16,64,共4页陈博 席菁 
苏州市科技计划项目资助(SYG201731)
物理信息系统是学科交叉的多领域融合系统,是未来嵌入式领域的主流发展方向。本文从物理信息系统的跨领域需求出发,从软件工程角度审视,就“物理信息系统建模与分析”课程主要章节、教学实验案例及授课方式等方面剖析课程应涵盖的内容...
关键词：物理信息系统 模型驱动开发(MDD) 建模 软件工程 
全选清除导出
共10页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部