Component-based models for runtime control and monitoring of embedded systems

T. Schwalb, Johannes Schmid, Tobias Gädeke, K. Müller-Glaser
{"title":"Component-based models for runtime control and monitoring of embedded systems","authors":"T. Schwalb, Johannes Schmid, Tobias Gädeke, K. Müller-Glaser","doi":"10.1145/2432631.2432637","DOIUrl":null,"url":null,"abstract":"Nowadays, more and more developments in the embedded systems domain are based on components and abstract models. However, while the design becomes more abstract, control and monitoring during runtime are often performed on low abstraction levels. In contrast to this low level access we present a seamless design flow for adjustment and error identification using abstract component-based models. We develop an extended metamodel to describe components and their platforms and the connection between the model and the real hardware. Furthermore, we integrate on model level platform abilities for control and especially debugging to support for example real-time recording. From a user's perspective the system is designed, controlled and monitored on model level. We discuss different methods concerning runtime control and monitoring of resource constraint systems. We demonstrate the concept's applicability based on two exemplary use cases: wireless sensor network application engineering and reconfigurable hardware development.","PeriodicalId":158450,"journal":{"name":"ACES-MB '12","volume":"492 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACES-MB '12","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2432631.2432637","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

Abstract

Nowadays, more and more developments in the embedded systems domain are based on components and abstract models. However, while the design becomes more abstract, control and monitoring during runtime are often performed on low abstraction levels. In contrast to this low level access we present a seamless design flow for adjustment and error identification using abstract component-based models. We develop an extended metamodel to describe components and their platforms and the connection between the model and the real hardware. Furthermore, we integrate on model level platform abilities for control and especially debugging to support for example real-time recording. From a user's perspective the system is designed, controlled and monitored on model level. We discuss different methods concerning runtime control and monitoring of resource constraint systems. We demonstrate the concept's applicability based on two exemplary use cases: wireless sensor network application engineering and reconfigurable hardware development.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
用于嵌入式系统运行时控制和监视的基于组件的模型
目前,嵌入式系统领域越来越多的发展是基于组件和抽象模型的。然而,当设计变得更加抽象时,运行时的控制和监视通常在较低的抽象级别上执行。与这种低级访问相反,我们提出了一个无缝的设计流,用于使用抽象的基于组件的模型进行调整和错误识别。我们开发了一个扩展元模型来描述组件及其平台以及模型与实际硬件之间的连接。此外,我们还集成了模型级平台的控制能力,特别是调试能力,以支持实时记录。从用户的角度出发,在模型级别上对系统进行设计、控制和监视。我们讨论了资源约束系统运行时控制和监控的不同方法。我们基于两个示例用例来演示该概念的适用性:无线传感器网络应用工程和可重构硬件开发。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Formal execution semantics for asynchronous constructs of AADL Real-time design models to RTOS-specific models refinement verification Component-based models for runtime control and monitoring of embedded systems Automatic SysML-based safety analysis Automatic transformation of abstract AUTOSAR architectures to timed automata
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1