Proceedings Real-Time Technology and Applications最新文献_第2页

Efficient worst case timing analysis of data caching 高效的数据缓存最坏情况定时分析

Proceedings Real-Time Technology and Applications Pub Date : 1996-06-10 DOI: 10.1109/RTTAS.1996.509540

Sung-Kwan Kim, S. Min, Rhan Ha

{"title":"Efficient worst case timing analysis of data caching","authors":"Sung-Kwan Kim, S. Min, Rhan Ha","doi":"10.1109/RTTAS.1996.509540","DOIUrl":"https://doi.org/10.1109/RTTAS.1996.509540","url":null,"abstract":"Recent progress in worst case timing analysis of programs has made it possible to perform accurate timing analysis of pipelined execution and instruction caching. However there has not been much progress in worst case timing analysis of data caching. This is mainly due to load/store instructions that reference multiple memory locations such as those used to implement array and pointer based references. These load/store instructions are called dynamic load/store instructions and most current analysis techniques take a very conservative approach to their timing analysis. In many cases, it is assumed that each of the references from a dynamic load/store instruction will miss in the cache and replace a cache block that would otherwise lead to a cache hit. This conservative approach results in severe overestimation of the worst case execution time (WCET). The paper proposes two techniques to minimize the WCET overestimation due to such load/store instructions. The first technique uses a global data flow analysis technique to reduce the number of load/store instructions that are misclassified as dynamic load/store instructions. The second technique utilizes data dependence analysis to minimize the adverse impact of dynamic load/store instructions. The paper also compares the WCET bounds of simple benchmark programs that are predicted with and without applying the proposed techniques. The results show that they significantly (up to 20%) improve the accuracy of WCET estimation especially for programs with a large number of references from dynamic load/store instructions.","PeriodicalId":324830,"journal":{"name":"Proceedings Real-Time Technology and Applications","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116776769","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 118

Putting fixed priority scheduling theory into engineering practice for safety critical applications 将固定优先级调度理论应用于安全关键应用的工程实践

Proceedings Real-Time Technology and Applications Pub Date : 1996-06-10 DOI: 10.1109/RTTAS.1996.509517

N. Audsley, I. Bate, A. Burns

引用次数: 31

The design of an open system with distributed real-time requirements 具有分布式实时性要求的开放式系统的设计

Proceedings Real-Time Technology and Applications Pub Date : 1996-06-10 DOI: 10.1109/RTTAS.1996.509525

R. Ginis, V. Wolfe, J. Prichard

引用次数: 7

Tutorial: real-time object-oriented modeling (ROOM) 教程:实时面向对象建模(ROOM)

Proceedings Real-Time Technology and Applications Pub Date : 1996-06-10 DOI: 10.1109/RTTAS.1996.509538

B. Selić

引用次数: 22

A framework for simulation of concurrency control policy in real-time systems 实时系统中并发控制策略的仿真框架

Proceedings Real-Time Technology and Applications Pub Date : 1996-06-10 DOI: 10.1109/RTTAS.1996.509526

Chih Lai, H. R. Callison

引用次数: 3

Supporting predictability in real-time database systems 支持实时数据库系统的可预测性

Proceedings Real-Time Technology and Applications Pub Date : 1996-06-10 DOI: 10.1109/RTTAS.1996.509521

Young-Kuk Kim, S. Son

引用次数: 59

Designing for evolvability: building blocks for evolvable real-time systems 为可进化性设计:为可进化的实时系统构建模块

Proceedings Real-Time Technology and Applications Pub Date : 1996-06-10 DOI: 10.1109/RTTAS.1996.509527

M. Gagliardi, R. Rajkumar, L. Sha

{"title":"Designing for evolvability: building blocks for evolvable real-time systems","authors":"M. Gagliardi, R. Rajkumar, L. Sha","doi":"10.1109/RTTAS.1996.509527","DOIUrl":"https://doi.org/10.1109/RTTAS.1996.509527","url":null,"abstract":"Fielded real-time systems including many defense systems, manufacturing plants and commercial aircraft avionics typically have long lifetimes ranging from a few years to even a few decades. Available technologies, system needs and customer goals change over this lifetime, and changes to a deployed system become very desirable. We argue that such evolution must and can be supported with new system abstractions, and that real-time systems designed with these abstractions can be evolved and incrementally tested. We present two possible run-time abstractions which can act as basic building blocks to construct \"evolvable real-time systems\". These building blocks can be used to evolve deployed systems in general and real-time systems in particular. First, the replaceable unit abstraction alloys an existing software module to be replaced online by another module with similar or enhanced functionality. Such replacement is transparent to the rest of the system. Secondly, the \"cell\" abstraction represents a protected module which cannot be harmed by other modules. Based on this notion is an \"extensible cell\", which allows a deployed module to be extended functionally without the fear of hurting its (fully certified) functionality even when the extensions can fail in unexpected ways. These two abstractions have been implemented in a real-time POSIX testbed used in the Simplex architecture and our findings are reported. Both abstractions are built on the Real-Time Publisher/Subscriber communication model with modifications necessitated by safe evolutionary requirements. We conclude that guaranteed enforcement of the semantics of these two building blocks can only be provided using operating system enforced resource reservation and communication rights.","PeriodicalId":324830,"journal":{"name":"Proceedings Real-Time Technology and Applications","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123107463","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 35

Providing message delivery guarantees in pipelined flit-buffered multiprocessor networks 在流水线式的多处理器网络中提供消息传递保证

Proceedings Real-Time Technology and Applications Pub Date : 1996-06-10 DOI: 10.1109/RTTAS.1996.509529

S. Balakrishnan, F. Özgüner

引用次数: 5

Building real-time music tools visually with Sonnet 用Sonnet可视化地构建实时音乐工具

Proceedings Real-Time Technology and Applications Pub Date : 1996-06-10 DOI: 10.1109/RTTAS.1996.509518

D. Jameson

引用次数: 8

Mechanical verification of timed automata: a case study 时间自动机的机械验证:一个案例研究

Proceedings Real-Time Technology and Applications Pub Date : 1996-06-10 DOI: 10.1109/RTTAS.1996.509536

M. Archer, C. Heitmeyer

引用次数: 55