-
题名基于MDA的MARTE模型形式化转换
被引量：2
- 1
-
-
作者
王立杰
刘昌禄
俞烈彬
-
机构
江苏自动化研究所
-
出处
《指挥控制与仿真》
2012年第6期128-133,共6页
-
基金
总装备部"十二五"基金项目
-
文摘
非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。
-
关键词
模型驱动
marte模型
Object-Z规约
元模型
模型转换
-
Keywords
model driven
marte model
Object-Z specification
meta model
model transformation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
E917
[自动化与计算机技术—计算机科学与技术]
-
-
题名基于MARTE模型的系统可靠性预测
被引量：2
- 2
-
-
作者
柴叶生
朱雪阳
晏荣杰
张广泉
-
机构
苏州大学计算机科学与技术学院
中国科学院软件研究所计算机科学国家重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2015年第12期82-86,91,共6页
-
基金
江苏省自然科学基金(BK2011281)
苏州市应用基础研究计划(SYG201241)资助
-
文摘
系统的可靠性是系统的重要非功能属性之一。传统的可靠性分析在系统开发结束后进行,可能会发现由于系统开发早期的架构设计不合理而导致的问题,这时再修改系统架构并重做后继开发步骤,将会浪费大量人力和物力。如果能在开发的早期阶段,在系统模型层面进行分析并预测,则可以尽早地发现系统可靠性方面的问题并将其修复。UML是一种通用的、标准化的建模语言,MARTE是UML在嵌入式实时系统领域的扩展。提出了基于MARTE模型的系统可靠性预测方法,该方法考虑的MARTE模型包括用例图、活动图、部署图。先将MARTE模型转换为马尔可夫决策过程网络模型,再利用概率模型检测工具PRISM进行分析,得到系统可靠性的预测结果。实例研究表明,所提方法不仅能够预测系统可靠性的最大值和最小值,还能通过调整各个资源的可靠性值,考察其对系统可靠性的影响,为设计人员的进一步工作提供参考。
-
关键词
系统可靠性
UML
marte模型
马尔可夫决策过程
-
Keywords
System reliability, UML, marte model, Markov decision process
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名基于MARTE的面向混成系统的模型形式化转换
- 3
-
-
作者
李国拯
曹子宁
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《计算机与现代化》
2015年第6期64-68,共5页
-
基金
航空科学基金资助项目(20128052064)
中央高校基本科研业务费专项资金资助项目(NZ2013306)
国家重点基础研究发展计划项目(2014CB744903)
-
文摘
混成系统是离散逻辑跳转与实时连续行为交织的复杂状态变迁系统,形式化建模与验证是确保混成系统正确性和可靠性的重要途径。首先介绍一种混成ZIA形式规范;然后,基于建模语言MARTE建立扩展Object-Z的规范,即OZMARTE,该规范弥补了MARTE规范在形式化描述方面的不足,同时为了方便描述混成系统中连续动态行为属性,给出对混成系统中连续变量的描述转换规则,增强了MARTE对混成系统的描述能力;最后,给出OZ-MARTE规范到混成ZIA规范的转换方法,因此针对混成ZIA规范的验证技术同样适用于对MARTE模型进行形式化验证。
-
关键词
混成系统
混成ZIA
marte模型
Object-Z语言
模型转换
-
Keywords
Hybrid system
Hybrid ZIA
marte model
Object-Z language
model transformation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于吸收态马尔可夫链的智能无人车系统实时性能分析
- 4
-
-
作者
吴培培
吴兆贤
唐文兵
-
机构
浙江理工大学信息学院
华东师范大学软件工程学院
-
出处
《计算机科学》
CSCD
北大核心
2021年第S02期147-153,共7页
-
基金
国家自然科学基金项目(61210004,61170015)。
-
文摘
随着人工智能技术的进步和人机物融合系统的发展,智能无人车系统成为了新一代人工智能研究的前沿。智能无人车系统根据车辆和环境数据进行实时决策以控制无人车运行,因而该系统具有较高的实时性能要求,对系统实时性的分析是保障系统安全可靠的方法之一。为了对智能无人车系统的实时性能进行分析,以智能无人车变道系统为例,首先使用MARTE模型对智能无人车变道系统进行建模,在系统设计早期就引入性能需求参数;然后,通过模型转换将MARTE模型转化为吸收态马尔可夫链;最后,利用吸收态马尔可夫链的相关理论和公式综合估算了智能无人车系统的实时性能指标,并针对影响整个系统实时性的关键模块进行了分析。实验结果表明,文中所提模型和分析方法可以较好地分析智能无人车系统的实时性能。分析发现系统中智能模块的准确率与响应时间相互制约,在不同的运行场景下需要找到二者之间的平衡点以获得更优的实时性能。
-
关键词
智能无人车系统
marte模型
吸收态马尔可夫链
实时性能分析
-
Keywords
Intelligent unmanned vehicle system
marte model
Absorbing Markov chain
Real-time performance analysis
-
分类号
TP242.6
[自动化与计算机技术—检测技术与自动化装置]
-
