Building partitioned architectures based on the Ravenscar profile
ACM SIGAda Ada Letters - special issue on presentations from SIGAda 2000
ACM SIGAda Ada Letters - Exception handling for a 21st century programming language proceedings
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Engineering software reuse for on-board embedded real-time systems
Software—Practice & Experience
On the dynamic semantics and the timing behavior of Ravenscar kernels
Real-Time Systems
Hi-index | 0.00 |
The Ravenscar Profile emerged in 1997 as a most promising approach to bringing mature, predictable and efficient concurrency into real-time systems with integrity requirements. One of the crucial questions that have arisen since is whether the expressive power of the profile would be truly sufficient for the effective construction of such systems. This paper provides positive evidence to this effect by discussing the merit of the Ravenscar compliant architecture of a reuse library that supports the construction of on-board embedded real-time systems of the new generation. This paper argues that the notions of the profile especially contributed to increase the maturity of the reuse product. As true object orientation is the next frontier of the product, this paper also reflects on the importance of integrating the profile with suitable flavours of object orientation.