Proceedings 13th Euromicro Conference on Real-Time Systems最新文献

Timely use of the CAN protocol in critical hard real-time systems with faults 在有故障的关键硬实时系统中及时使用CAN协议

Proceedings 13th Euromicro Conference on Real-Time Systems Pub Date : 2001-06-13 DOI: 10.1109/EMRTS.2001.934009

I. Broster, A. Burns

引用次数: 43

Mixed Pfair/ERfair scheduling of asynchronous periodic tasks 异步周期任务的Pfair/ERfair混合调度

Proceedings 13th Euromicro Conference on Real-Time Systems Pub Date : 2001-06-13 DOI: 10.1109/EMRTS.2001.934004

James H. Anderson, A. Srinivasan

引用次数: 203

Transformation of path information for WCET analysis during compilation 在编译过程中进行WCET分析的路径信息转换

Proceedings 13th Euromicro Conference on Real-Time Systems Pub Date : 2001-06-13 DOI: 10.1109/EMRTS.2001.933993

R. Kirner, P. Puschner

{"title":"Transformation of path information for WCET analysis during compilation","authors":"R. Kirner, P. Puschner","doi":"10.1109/EMRTS.2001.933993","DOIUrl":"https://doi.org/10.1109/EMRTS.2001.933993","url":null,"abstract":"Performing worst-case execution time (WCET) analysis on machine code with program path annotation provided at high-level source code level requires the transformation of path annotations from the source-code level to assembly/object-code level. This path-information transformation can be done outside or integrated into the compiler during code compilation. The first approach is easier to implement but lacks for the support of strong code optimizations performed by the compiler because the external tool would have to make guesses about optimizations. In this paper we present an approach for the program code compilation that integrates the transformation of program path information into the compiler. Path information is transformed through all compiler stages to the adequate path information for the corresponding assembly code level. The WCET analysis tool processes the program at assembly code level with the correctly transformed program-path information to obtain accurate runtime bounds. Several experiments were performed to demonstrate the importance of supporting the transformation of path-information in aggressively optimizing compilers.","PeriodicalId":292136,"journal":{"name":"Proceedings 13th Euromicro Conference on Real-Time Systems","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131567775","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}

引用次数: 62

Real-time communication protocol development using SDL for an embedded system on chip based on ARM microcontroller 基于ARM单片机的嵌入式片上系统实时通信协议的SDL开发

Proceedings 13th Euromicro Conference on Real-Time Systems Pub Date : 2001-06-13 DOI: 10.1109/EMRTS.2001.934007

C. Drosos, M. Zayadine, D. Metafas

引用次数: 8

WCET analysis of reusable portable code 可重用可移植代码的WCET分析

Proceedings 13th Euromicro Conference on Real-Time Systems Pub Date : 2001-06-13 DOI: 10.1109/EMRTS.2001.933998

P. Puschner, G. Bernat

引用次数: 26

Minimum and maximum utilization bounds for multiprocessor RM scheduling 多处理器RM调度的最小和最大利用率界限

Proceedings 13th Euromicro Conference on Real-Time Systems Pub Date : 2001-06-13 DOI: 10.1109/EMRTS.2001.934003

J. López, J. L. Díaz, D. F. García

引用次数: 45

A new approach to the specification and verification of real-time systems 一种实时系统规范与验证的新方法

Proceedings 13th Euromicro Conference on Real-Time Systems Pub Date : 2001-06-13 DOI: 10.1109/EMRTS.2001.934025

G. Logothetis, K. Schneider

引用次数: 11

Memory and time-efficient schedulability analysis of task sets with stochastic execution time 随机执行时间任务集的内存和时间效率可调度性分析

Proceedings 13th Euromicro Conference on Real-Time Systems Pub Date : 2001-06-13 DOI: 10.1109/EMRTS.2001.933991

Sorin Manolache, P. Eles, Zebo Peng

引用次数: 57

Predictable and efficient virtual addressing for safety-critical real-time systems 用于安全关键实时系统的可预测和有效的虚拟寻址

Proceedings 13th Euromicro Conference on Real-Time Systems Pub Date : 2001-06-13 DOI: 10.1109/EMRTS.2001.934028

M. Bennett, N. Audsley

{"title":"Predictable and efficient virtual addressing for safety-critical real-time systems","authors":"M. Bennett, N. Audsley","doi":"10.1109/EMRTS.2001.934028","DOIUrl":"https://doi.org/10.1109/EMRTS.2001.934028","url":null,"abstract":"Conventionally, the use of virtual memory in safety-critical real-time systems has been avoided, one reason being the difficulties it provides to timing analysis. The difficulties arise due to the Memory Management Unit (MMU) on commercial processors being optimised to improve average performance, to the detriment of simple worst-case analysis. However within safety-critical systems, there is a move towards implementations where processes of differing integrity levels are allocated to the same processor. This requires adequate partitioning between processes of different integrity levels. One method for achieving this in the context of commercial processor is via use of the MMU and its support for virtual memory. The focus of this paper is upon the provision of virtual memory for processes of all integrity levels without complicating the timing analysis of safety-critical processes with hard deadlines. Also, for lower integrity processes without hard deadlines, the flexibility of the virtual memory provided does not restrict the process functionality, The virtual memory system proposed is generic and can be implemented on many commercial architectures e.g. PowerPC, ARM and MIPS. This paper details the PowerPC implementation.","PeriodicalId":292136,"journal":{"name":"Proceedings 13th Euromicro Conference on Real-Time Systems","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115176027","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}

引用次数: 31

Offsets for scheduling mode changes 调度模式变更的偏移量

Proceedings 13th Euromicro Conference on Real-Time Systems Pub Date : 2001-06-13 DOI: 10.1109/EMRTS.2001.933989

J. Real, A. Crespo

引用次数: 13