Abstract
The Ravenscar profile, originally designed for single processors, has proven remarkably useful for modelling verifiable real-time single-processor systems. New software demands increasing processing power, and multi-processor platforms are spreading as the answer to achieve the required performance. Embedded real-time systems are also subject to this trend, while keeping the need for the founding principles of Ravenscar: simplicity, efficiency, reliability, predictability, and analyz-ability. This paper proposes a simple extension to the Ravenscar profile to support multi-processor systems using a fully partitioned approach. The implementation of this scheme is simple, and it can be used to develop applications amenable to schedulability analysis.
- B. Andersson, S. Baruah, and J. Jonsson. Static-priority scheduling on multiprocessors. In RTSS'01: Proceedings of the 22nd IEEE Real-Time Systems Symposium. IEEE Computer Society, 2001. Google Scholar
Digital Library
- ARINC. ARINC Specification 653, Avionics Application Software Standard Interface. Aeronautical Radio, Inc, 2005.Google Scholar
- T. P. Baker. An analysis of fixed-priority schedulability on a multiprocessor. Real-Time Systems, 32(1{2):49--71, 2006. Google Scholar
Digital Library
- S. K. Baruah, N. K. Cohen, C. G. Plaxton, and D.A. Varvel. Proportionate progress: A notion of fairness in resource allocation. Algorithmica, 15:600--625, 1994.Google Scholar
Digital Library
- J. Carpenter, S. Funk, P. Holman, A. Srinivasan, J. Anderson, and Sanjoy Baruah. A categorization of real-time multiprocessor scheduling problems and algorithms. In Handbook on Scheduling Algorithms, Methods, and Models. Chapman Hall/CRC, Boca, 2004.Google Scholar
- M. Joseph and P. Pandya. Finding response times in real-time systems. BCS Computer Journal, 29(5):390--395, 1986.Google Scholar
Cross Ref
- C. L. Liu and J. W. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM, 20(1), 1973. Google Scholar
Digital Library
- Y. Oh and H. Son. Tight performance bounds of heuristics for a real-time scheduling problem. Technical report, Department of Computer Science, University of Virginia, 1993. Google Scholar
Digital Library
- José F. Ruiz. GNAT Pro for on-board mission-critical space applications. In Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, volume 3555 of Lecture Notes in Computer Science, pages 248--259. Springer, 2005. Google Scholar
Digital Library
- A. J. Wellings and A. Burns. Beyond Ada 2005: allocating tasks to processors in SMP systems. Ada Letters, XXVII(2):75--81, 2007. Google Scholar
Digital Library
Recommendations
Design and implementation of a Ravenscar extension for multiprocessors
Ada-Europe'11: Proceedings of the 16th Ada-Europe international conference on Reliable software technologiesNew software architectures demand increasing processing power, and multiprocessor hardware platforms are spreading as the answer to achieve the required performance. Embedded real-time systems are also subject to this trend, but in the case of real-time ...
A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*
The Ravenscar tasking profile for Ada 95 has been designed to allow implementation of highly safety critical systems. Ravenscar defines a tasking system with deterministic behavior and low complexity. We provide a formal model using UPPAAL of the ...
The ESA ravenscar benchmark
Ada-Europe'05: Proceedings of the 10th Ada-Europe international conference on Reliable Software TechnologiesThis article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS C implementation featuring the native threading model. ERB is original ...






Comments