IP-XACT for smart systems design: extensions for the integration of functional and extra-functional models

S. Vinco, M. Lora, E. Macii, M. Poncino
{"title":"IP-XACT for smart systems design: extensions for the integration of functional and extra-functional models","authors":"S. Vinco, M. Lora, E. Macii, M. Poncino","doi":"10.1109/FDL.2016.7880379","DOIUrl":null,"url":null,"abstract":"Smart systems are miniaturized devices integrating computation, communication, sensing and actuation. As such, their design can not focus solely on functional behavior, but it must rather take into account different extra-functional concerns, such as power consumption or reliability. Any smart system can thus be modeled through a number of views, each focusing on a specific concern. Such views may exchange information, and they must thus be simulated simultaneously to reproduce mutual influence of the corresponding concerns. This paper shows how the IP-XACT standard, with some necessary extensions, can effectively support this simultaneous simulation. The extended IP-XACT descriptions allow to model extra-functional properties with a homogeneous format, defined by analysing requirements and characteristic of three main concerns, i.e., power, temperature and reliability. The IP-XACT descriptions are then used to automatically generate a skeleton of the simulation infrastructure in SystemC. The skeleton can be easily populated with models available in the literature, thus reaching simultaneous simulation of multiple concerns.","PeriodicalId":137305,"journal":{"name":"2016 Forum on Specification and Design Languages (FDL)","volume":"45 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 Forum on Specification and Design Languages (FDL)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FDL.2016.7880379","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 8

Abstract

Smart systems are miniaturized devices integrating computation, communication, sensing and actuation. As such, their design can not focus solely on functional behavior, but it must rather take into account different extra-functional concerns, such as power consumption or reliability. Any smart system can thus be modeled through a number of views, each focusing on a specific concern. Such views may exchange information, and they must thus be simulated simultaneously to reproduce mutual influence of the corresponding concerns. This paper shows how the IP-XACT standard, with some necessary extensions, can effectively support this simultaneous simulation. The extended IP-XACT descriptions allow to model extra-functional properties with a homogeneous format, defined by analysing requirements and characteristic of three main concerns, i.e., power, temperature and reliability. The IP-XACT descriptions are then used to automatically generate a skeleton of the simulation infrastructure in SystemC. The skeleton can be easily populated with models available in the literature, thus reaching simultaneous simulation of multiple concerns.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
IP-XACT智能系统设计:扩展功能和额外功能模型的集成
智能系统是集计算、通信、传感和驱动于一体的小型化设备。因此,它们的设计不能仅仅关注功能行为,而是必须考虑不同的功能之外的问题,例如功耗或可靠性。因此,任何智能系统都可以通过许多视图来建模,每个视图都关注一个特定的关注点。这些观点可能交换信息,因此必须同时模拟它们,以再现相应关切的相互影响。本文展示了IP-XACT标准如何通过一些必要的扩展有效地支持这种同步仿真。扩展的IP-XACT描述允许用同质格式建模额外的功能属性,通过分析三个主要关注点的需求和特征来定义,即功率、温度和可靠性。然后使用IP-XACT描述在SystemC中自动生成仿真基础结构的框架。可以很容易地用文献中可用的模型填充骨架,从而实现多个关注点的同时模拟。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Using event-B and Modelica to evaluate thermal management strategies in many core systems IP-XACT for smart systems design: extensions for the integration of functional and extra-functional models Maintenance of specification models in industry using Edapt A modular design space exploration framework for multiprocessor real-time systems Building product-lines of mixed-criticality systems
×
引用
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