Advanced Search
DSpace@MIT

The Ravenscar-compliant hardware run-time (Ravenhart) kernel

Research and Teaching Output of the MIT Community

Show simple item record

dc.contributor.advisor I. Kristina Lundqvist. en_US
dc.contributor.author Silbovitz, Anna, 1979- en_US
dc.contributor.other Massachusetts Institute of Technology. Dept. of Aeronautics and Astronautics. en_US
dc.date.accessioned 2005-06-02T18:47:27Z
dc.date.available 2005-06-02T18:47:27Z
dc.date.copyright 2004 en_US
dc.date.issued 2004 en_US
dc.identifier.uri http://hdl.handle.net/1721.1/17817
dc.description Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2004. en_US
dc.description Includes bibliographical references (leaves 69-71). en_US
dc.description.abstract Real-time embedded systems are increasingly becoming the foundation of control systems in both the aerospace and automotive worlds. This class of systems has to meet three requirements: strict timing constraints on operational behavior, limited resource availability, and stringent certification standards. The heart of any embedded system is its run-time system (RTS), which provides resource management, task creation and deletion, and manages inter-task communication. The traditional Ada RTS does not provide deterministic behavior. In order to meet the requirement of a minimal, 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 implement a run-time kernel called RavenHaRT. The kernel was designed to support Ravenscar compliant Ada95 code and provides task creation, task scheduling and inter-task communication capabilities. The timing properties embedded in the formal model are captured in terms of kernel performance within the hardware. The kernel was implemented using a Xilinx Virtex-II Pro FPGA. The results from testing demonstrate that the hardware kernel has the expected behavior and can interface correctly with software code. en_US
dc.description.statementofresponsibility by Anna Silbovitz. en_US
dc.format.extent 146 leaves en_US
dc.format.extent 7067181 bytes
dc.format.extent 7083319 bytes
dc.format.mimetype application/pdf
dc.format.mimetype application/pdf
dc.language.iso eng en_US
dc.publisher Massachusetts Institute of Technology en_US
dc.rights M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. en_US
dc.rights.uri http://dspace.mit.edu/handle/1721.1/7582
dc.subject Aeronautics and Astronautics. en_US
dc.title The Ravenscar-compliant hardware run-time (Ravenhart) kernel en_US
dc.type Thesis en_US
dc.description.degree S.M. en_US
dc.contributor.department Massachusetts Institute of Technology. Dept. of Aeronautics and Astronautics. en_US
dc.identifier.oclc 56558330 en_US


Files in this item

Name Size Format Description
56558330.pdf 6.316Mb PDF Preview, non-printable (open to all)
56558330-MIT.pdf 6.309Mb PDF Full printable version (MIT only)

This item appears in the following Collection(s)

Show simple item record

MIT-Mirage