Proceedings Real-Time Systems Symposium最新文献_第3页

A constraint-based approach for specification and verification of real-time systems 基于约束的实时系统规范和验证方法

Proceedings Real-Time Systems Symposium Pub Date : 1997-12-03 DOI: 10.1109/REAL.1997.641285

G. Gupta, Enrico Pontelli

引用次数: 80

Integrated delay analysis of regulated ATM switch 稳压ATM交换机的综合时延分析

Proceedings Real-Time Systems Symposium Pub Date : 1997-12-03 DOI: 10.1109/REAL.1997.641290

J. Ng, Shibin Song, Wei Zhao

引用次数: 12

A low-cost processor group membership protocol for a hard real-time distributed system 硬实时分布式系统的低成本处理器组成员协议

Proceedings Real-Time Systems Symposium Pub Date : 1997-12-03 DOI: 10.1109/REAL.1997.641272

Matthew Clegg, K. Marzullo

引用次数: 13

Early detection of timing constraint violation at runtime 在运行时早期检测时间约束违反

Proceedings Real-Time Systems Symposium Pub Date : 1997-12-03 DOI: 10.1109/REAL.1997.641280

A. Mok, Guangtian Liu

引用次数: 55

Formal development of a real-time kernel 实时内核的正式开发

Proceedings Real-Time Systems Symposium Pub Date : 1997-12-03 DOI: 10.1109/REAL.1997.641284

S. Fowler, A. Wellings

引用次数: 15

A novel approach to multiprogrammed multiprocessor synchronization for real-time kernels 实时内核多程序多处理器同步的一种新方法

Proceedings Real-Time Systems Symposium Pub Date : 1997-12-03 DOI: 10.1109/REAL.1997.641276

H. Takada, K. Sakamura

引用次数: 33

Real-time filesystems. Guaranteeing timing constraints for disk accesses in RT-Mach 实时文件系统。保证RT-Mach中磁盘访问的时间约束

Proceedings Real-Time Systems Symposium Pub Date : 1997-12-03 DOI: 10.1109/REAL.1997.641278

A. Molano, K. Juvva, R. Rajkumar

{"title":"Real-time filesystems. Guaranteeing timing constraints for disk accesses in RT-Mach","authors":"A. Molano, K. Juvva, R. Rajkumar","doi":"10.1109/REAL.1997.641278","DOIUrl":"https://doi.org/10.1109/REAL.1997.641278","url":null,"abstract":"Traditional real-time systems have largely avoided the use of disks due to their relative slow speeds and their unpredictability. However, many real-time applications including multimedia systems and real-time database applications benefit significantly from the use of disks to store and access real-time data. We investigate the problem of obtaining guaranteed timely access to files on a disk in a real-time system. Our study focuses on several aspects of this problem of providing a real-time filesystem. First, we consider the use of two real-time disk scheduling algorithms: earliest deadline scheduling and just-in-time scheduling, a variation of aperiodic servers for the disk. The latter algorithm is designed to improve disk throughput that can be hurt when a real-time scheduling algorithm such as EDF is applied directly. Admission control policies with practically acceptable properties of performance and usability are provided. Next, we design and implement a real-time filesystem on the RT-Mach microkernel-based system running a real-time shell. The new interface we develop is based on RT-Mach's resource reservation paradigm and provides guaranteed and timely access for multiple concurrent applications requiring disk bandwidth with different timing and volume requirements. Finally, we perform a detailed performance evaluation of the real-time filesystem including its raw performance. We show the following positive but rather surprising result: our real-time scheduling filesystem not only provides guaranteed and timely access but also does so at relatively high levels of throughput. Traditional disk scheduling algorithms offer completely unacceptable file access latencies for real-time applications and do so only at slightly higher throughput.","PeriodicalId":231201,"journal":{"name":"Proceedings Real-Time Systems Symposium","volume":"171 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125664652","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}

引用次数: 83

Guidelines for automated implementation of executable object oriented models for real-time embedded control systems 实时嵌入式控制系统中可执行的面向对象模型的自动实现指南

Proceedings Real-Time Systems Symposium Pub Date : 1997-12-03 DOI: 10.1109/REAL.1997.641286

M. Saksena, P. Freedman, P. Rodziewicz

{"title":"Guidelines for automated implementation of executable object oriented models for real-time embedded control systems","authors":"M. Saksena, P. Freedman, P. Rodziewicz","doi":"10.1109/REAL.1997.641286","DOIUrl":"https://doi.org/10.1109/REAL.1997.641286","url":null,"abstract":"We present our experiences in applying real time scheduling theory to embedded control systems designed using ROOM (Real time Object Oriented Modeling) methodology. ROOM has originated from the telecommunications community and has been successfully applied to many commercial systems through the supporting case tool ObjecTime. It is particularly suitable for modeling reactive real time behavior. Furthermore, it provides many other advantages through the use of object orientation, and the use of executable models from which code may be generated quickly and efficiently. Since many real time embedded control systems have significant reactive, event driven behavior, it is attractive to use ROOM methodology to develop such systems. However, the ROOM methodology does not provide tools to specify and analyze the temporal behavior as is required for the hard real time components of embedded systems, and for which the real time scheduling theory provides an analytical basis. We show how real time scheduling theory may be applied to ROOM models using a cruise control example to illustrate. The biggest challenge comes from minimizing the adverse effects of priority inversions. Our results are very encouraging, and we show that not only is it possible to apply real time scheduling theory, but that it can be done very efficiently provided certain guidelines are followed in the design and implementation of the ROOM model.","PeriodicalId":231201,"journal":{"name":"Proceedings Real-Time Systems Symposium","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115247197","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}

引用次数: 54

Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL 音频/视频协议的形式化建模和分析:使用UPPAAL的工业案例研究

Proceedings Real-Time Systems Symposium Pub Date : 1997-06-01 DOI: 10.1109/REAL.1997.641264

K. Havelund, A. Skou, K. Larsen, Kristian Lund

{"title":"Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL","authors":"K. Havelund, A. Skou, K. Larsen, Kristian Lund","doi":"10.1109/REAL.1997.641264","DOIUrl":"https://doi.org/10.1109/REAL.1997.641264","url":null,"abstract":"A formal and automatic verification of a real-life protocol is presented. The protocol, about 2800 lines of assembler code, has been used in products from the audio/video company Bang & Olufsen throughout more than a decade, and its purpose is to control the transmission of messages between audio/video components over a single bus. Such communications may collide, and one essential purpose of the protocol is to detect such collisions. The functioning is highly dependent on real-time considerations. Though the protocol was known to be faulty in that messages were lost occasionally, the protocol was too complicated in order for Bang & Olufsen to locate the bug using normal testing. However using the real-time verification tool UPPAAL, an error trace was automatically generated, which caused the detection of \"the error\" in the implementation. The error was corrected and the correction was automatically proven correct, again using UPPAAL. A future, and more automated, version of the protocol, where this error is fatal, will incorporate the correction. Hence, this work is an elegant demonstration of how model checking has had an impact on practical software development. The effort of modeling this protocol has in addition generated a number of suggestions for enriching the UPPAAL language. Hence, it's also an excellent example of the reverse impact.","PeriodicalId":231201,"journal":{"name":"Proceedings Real-Time Systems Symposium","volume":"119 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120969608","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}

引用次数: 211

Enhanced analysis of cache-related preemption delay in fixed-priority preemptive scheduling 增强了固定优先级抢占调度中缓存相关抢占延迟的分析

Proceedings Real-Time Systems Symposium Pub Date : 1996-12-04 DOI: 10.1109/REAL.1997.641281

Chang-Gun Lee, Joosun Hahn, Yangmin Seo, S. Min, Rhan Ha, Seongsoo Hong, C. Park, Minsuk Lee, Chong-Sang Kim

引用次数: 71