Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 7 of 7 for “"Ravenscar"”.
-
The Ravenscar-compliant hardware run-time (Ravenhart) kernel
… deterministic RTS, a formal model based on the Ravenscar profile of Ada95 was developed by Professor Kristina Lundqvist in 2000. This formal model forms the basis of the work carried out in this thesis. This thesis aims to leverage the reliability and efficiency of programmable hardware to …
-
pGNAT : the Ravenscar cross compiler for the Gurkh Project
… by the complexity of system implementation. The Ravenscar profile of Ada95 defines safe tasking constructs that enable the use of deterministic concurrency. The translation of these high-level constructs by the compiler to deterministic object code is dependent on both the underlying operating …
-
Diagnetic modelling in Middle Jurassic clastic sediments from the Ravenscar group, Yorkshire, and the Brent group, northern North Sea
… to the Middle Jurassic Dogger Formation and Ravenscar Group which outcrop on the North Yorkshire Moors and the Brent Group from Wells 3/3-1, -2, and -3 in the Ninian Field, and 210/15-2, also in the Northern North Sea.The Ravenscar Group is interpreted as being deposited in a fluvio-deltaic …
-
A non-intrusive fault tolerant framework for mission critical real-time systems
… firstly, a software concurrency model, the Ada Ravenscar Profile, which guarantees deterministic behavior; secondly, the design of a hardware scheduler, the RavenHaRT kernel, which further provides deadlock free inter-task communication management; and finally, the design of a hardware execution …
-
Facies analysis of three members of the Scarborough Formation (Middle Jurassic : Lower Bajocian) in the Cleveland Basin, northeast England : Blea Wyke, Byland Limestone and Crinoid grit members
… the dominantly deltaic Aalenian - Bajocian Ravenscar Group, Cleveland Basin, northeast England. Sedimentary facies analysis has been performed on the three conformable lithostratigraphic units which make up the bulk of the Scarborough Formation outcrop: Blea Wyke, Byland Limestone and …
-
Reducing the cost of real-time software through a cyclic task abstraction for Ada
Ada is unique as a software engineering language, facilitating the development of reliable and maintainable software through clear, unambiguous, modular code enforced to a specification. However, despite comprehensive real-time systems support, Ada lacks the abstraction at the heart of these …
-
Reducing the cost of real-time software through a cyclic task abstraction for Ada
Ada is unique as a software engineering language, facilitating the development of reliable and maintainable software through clear, unambiguous, modular code enforced to a specification. However, despite comprehensive real-time systems support, Ada lacks the abstraction at the heart of these …