模型驱动工程相关论文
随着仿真系统的复杂性及其仿真模型在各个领域的广泛应用,用户对仿真模型的开发效率和质量提出了更高的要求。针对当前模型驱动工......
随着模型驱动技术在软件开发中的广泛应用,以UML为代表的大量可视化建模语言不断涌现,但它们中的大部分目前还没有严格的形式语义,......
在21世纪,越来越多的工业、军事、医疗和消费产品是实时嵌入式软件密集型系统,系统的开发变成一项复杂而又关键的任务。事实上,嵌......
工业信息物理系统为工业生产环境中物理设备和不同系统之间提供了相互连接形成闭环反馈机制,以及横向和纵向的一体化集成方法。而......
近年来，工作流技术越来越多的应用于软件程序中，与之相关的新工作流语言以及工作流引擎也得到了快速的发展；但是，目前辅助工作流应用软......
提出一种在模型驱动开发过程中的形式化语义描述方法。该方法利用元建模技术,形式化地描述了元模型及其语义间的映射关系,以提供精......
综合模块化航空电子系统（IMA）在飞机机载航空电子系统领域应用广泛,已经成为飞机机载系统的重要的系统结构和发展趋势。IMA具有高安......
UML模型一般不能直接进行性能分析,需要利用模型转换的方法将其转换成其他分析模型,比如排队论、随机进程代数或者随机Petri网等模......
近年来,工作流技术越来越多的应用于软件程序中,与之相关的新工作流语言以及工作流引擎也得到了快速的发展;但是,目前辅助工作流应......
通过研究一个具有代表性的UML／MARTE（unified modeling language／modeling and analysis of real time and embedded systems）模型向FI......
模型转换是模型驱动开发的核心技术.当要把模型转换用于工业生产时,其性能成为影响这一技术成败的关键因素之一.为了测试模型转换......
目前综合模块化航空电子系统（IMA）在资源配置方面有非常高的安全可靠性需求，其中时间资源的可调度性配置验证也显得至关重要。本文在A......
在分析传统的分布式实时嵌入式系统开发过程中,针对服务质量(QoS)评价方法存在弊端的问题,总结了运用模型驱动工程(MDE)对分布式实......
随着ARINC653系统在我国航空领域的广泛应用,研究ARINC653系统建模方法将为进一步研究基于模型的ARINC653系统可靠性、可调度性分......
信息物理系统(Cyber Physical System,CPS)是一种具有松散物理结构和严谨逻辑组织的有机智能系统;其涉及如计算、网络、控制、物理......
问题框架(Problem Frames,PF)方法在需求工程研究中已经获得广泛重视,特别是应用于基于环境建模的信息物理融合系统中,但如何有效......
近年来在安全关键应用领域中(如:航空、交通、核电站等)嵌入式系统及软件的规模增大以及系统复杂度的迅速增加带来了嵌入式系统及......
当前,计算机微处理器的发展已进入多核时代,并由多核向众核发展。传统桌面仿真软件在多核/众核平台上无法充分利用计算资源,显示出......
随着智能机以及平板电脑的普及,安卓应用逐渐成为日常生活中不可或缺的重要元素之一,其复杂度也呈几何倍数增长.安卓平台存在的多......
通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型......
基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构......
近年来，在以综合模块化航电系（integrated modular avionics，IMA）为代表的一类安全关键应用中，确保系统重配置信息的正确性成为保证系统......
随着服务行业在世界经济体系中地位的越发明显，在服务过程中越来越强调创造有意义的、难忘的客户体验。针对这种情况，提出CJM（Custome......
近年来随着嵌入式系统硬件性能的不断提高,嵌入式系统中软件的规模和复杂性也不断增加,软件对整个系统的影响逐渐占据了统治地位,......
软件规模与复杂度的迅速增长已成为设计与检验现代高质量无人机飞行控制软件（FCS）系统的重要挑战。采用模型驱动工程（MDE）的框架,使用......
综合模块化航空电子系统（Integrated modular avionics,IMA）中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本......
泛在学习(UL)强调学习的发生、需求和资源都无处不在,注定了泛在学习系统是一种复杂的、开放的分布式系统,这种系统符合MAS的思想,......
