Extensible and scalable time triggered scheduling

Wei Zheng, J. Chong, C. Pinello, Sri Kanajan, A. Sangiovanni-Vincentelli
{"title":"Extensible and scalable time triggered scheduling","authors":"Wei Zheng, J. Chong, C. Pinello, Sri Kanajan, A. Sangiovanni-Vincentelli","doi":"10.1109/ACSD.2005.13","DOIUrl":null,"url":null,"abstract":"The objective of this paper is to present how to design a system that can accommodate additional functionality with either no changes to the design or adding architectural modules without changing the implementation of the legacy functionality. This objective is very relevant to industrial domains where an architecture is designed before the full range of functionalities to support is known. We focus on an important aspect of the design of automotive systems: the scheduling problem for hard real time distributed embedded systems. Two metrics are used to capture the design goals. The metrics are optimized subject to a set of constraints within a mathematical programming framework. The cost of modifying a legacy system is characterized at an electrical control unit (ECU) component level. Results obtained in automotive applications show that the optimization framework is effective in reducing development and re-verification efforts after incremental design changes.","PeriodicalId":279517,"journal":{"name":"Fifth International Conference on Application of Concurrency to System Design (ACSD'05)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"45","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Fifth International Conference on Application of Concurrency to System Design (ACSD'05)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ACSD.2005.13","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 45

Abstract

The objective of this paper is to present how to design a system that can accommodate additional functionality with either no changes to the design or adding architectural modules without changing the implementation of the legacy functionality. This objective is very relevant to industrial domains where an architecture is designed before the full range of functionalities to support is known. We focus on an important aspect of the design of automotive systems: the scheduling problem for hard real time distributed embedded systems. Two metrics are used to capture the design goals. The metrics are optimized subject to a set of constraints within a mathematical programming framework. The cost of modifying a legacy system is characterized at an electrical control unit (ECU) component level. Results obtained in automotive applications show that the optimization framework is effective in reducing development and re-verification efforts after incremental design changes.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
可扩展和可伸缩的时间触发调度
本文的目标是介绍如何设计一个系统,该系统既可以在不更改设计的情况下容纳额外的功能,也可以在不更改遗留功能的实现的情况下添加体系结构模块。这一目标与工业领域非常相关,在这些领域中,架构是在知道要支持的全部功能之前设计的。我们关注汽车系统设计的一个重要方面:硬实时分布式嵌入式系统的调度问题。两个指标用于捕获设计目标。这些指标根据数学规划框架内的一组约束条件进行优化。修改遗留系统的成本在电气控制单元(ECU)组件级别上具有特征。在汽车应用中的结果表明,优化框架在减少增量设计变更后的开发和重新验证工作方面是有效的。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Extended Rebeca: a component-based actor language with synchronous message passing BoPi - a distributed machine for experimenting Web services technologies Correct-by-construction asynchronous implementation of modular synchronous specifications Controlling speculative design processes using rich component models Much compact Time Petri Net state class spaces useful to restore CTL* properties
×
引用
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