Model transformations in the model-based development of real-time systems

T. Szemethy, G. Karsai, D. Balasubramanian
{"title":"Model transformations in the model-based development of real-time systems","authors":"T. Szemethy, G. Karsai, D. Balasubramanian","doi":"10.1109/ECBS.2006.47","DOIUrl":null,"url":null,"abstract":"In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the domain of embedded systems. We present a tool that uses advanced graph-rewriting techniques to generate a schedule that satisfies hard real-time constraints for multi-modal systems. The input is a time-triggered system specification (using the Giotto language); the output is an instruction sequence for the E-machine: a virtual machine for hard real-time embedded systems. The resulting model may be refined into a) system implementations (E-code programs) through a trivial synthesis process and b) development-time analysis models expressing the properties of the system implemented over different execution platforms. Furthermore, we identify the next steps to be taken towards generating analysis models using explicit platform models","PeriodicalId":430872,"journal":{"name":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"11","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ECBS.2006.47","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 11

Abstract

In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the domain of embedded systems. We present a tool that uses advanced graph-rewriting techniques to generate a schedule that satisfies hard real-time constraints for multi-modal systems. The input is a time-triggered system specification (using the Giotto language); the output is an instruction sequence for the E-machine: a virtual machine for hard real-time embedded systems. The resulting model may be refined into a) system implementations (E-code programs) through a trivial synthesis process and b) development-time analysis models expressing the properties of the system implemented over different execution platforms. Furthermore, we identify the next steps to be taken towards generating analysis models using explicit platform models
基于模型的实时系统开发中的模型转换
在本文中,我们通过嵌入式系统领域的一个说明性示例来论证基于uml的元建模和基于模式的图形转换技术在基于计算机的系统开发中的应用。我们提出了一种工具,它使用先进的图形重写技术来生成满足多模态系统硬实时约束的调度。输入是一个时间触发的系统规范(使用Giotto语言);输出是E-machine的指令序列:E-machine是用于硬实时嵌入式系统的虚拟机。由此产生的模型可以细化为:a)系统实现(电子代码程序),通过一个简单的综合过程;b)开发时间分析模型,表达在不同执行平台上实现的系统的属性。此外,我们确定了使用显式平台模型生成分析模型的下一步步骤
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信