Abstract Since 1973, Earliest Deadline First (EDF) uniprocessor scheduling has been known
to be superior to its Rate Monotonic (Fixed-Priority, FPS) counterpart for its capacity to …

Mature research advances in scheduling theory show that carefully-crafted concurrent
computational models permit static analysis of real-time behavior. This evidence enables …

This paper describes the design and implementation of GNAT Pro for ERC32, a flexible
cross-development environment supporting the Ravenscar tasking model on top of bare …

Modern methodologies for the development of high-integrity real-time systems leverage
forms of static analysis that gather relevant characteristics directly from the architectural …

Precisely timed execution of resource constrained bare-metal applications is difficult,
because the embedded software developer usually has to implement and check the …

A real-time kernel providing timing services is a key component of any real-time system. The
current revision of the Ada standard provides a range of real-time mechanisms that can be …

A recent initiative of the European Space Agency (ESA) aims at the definition and adoption
of a software reference architecture for use in on-board software of future space missions …

Ada tasking is a powerful abstraction mechanism for develo** concurrent embedded
systems. However, many implementations of concurrent tasking have been seen as …

The capability to monitor the amount of processor time that is used by real-time tasks is
crucial for building real-time systems that are robust with respect to worst case execution …

The Ravenscar Profile defines a subset of the Ada95 tasking constructs which can be
implemented using a small, reliable kernel. One of the benefits of this approach is to improve …