DIT-UPM

Menu

Valid XHTML 1.0 Strict

¡CSS Válido!

Links

The OpenRavenscar Project at DIT/UPM

The Open Ravenscar Real-Time Kernel (ORK+) is an open-source real-time kernel of reduced size and complexity, which can be used to develop high-integrity real-time applications in a subset of the Ada 2005 language compatible with the Ravenscar Profile, a subset of Ada tasking for high-integrity systems.

ORK was originally developed under ESA contract, based on Ada 95 and targeted to ERC32 computers. The current version, ORK+, supports the Ada 2005 standard, and has been developed as part of UPM's work in the ASSERT project.

GNAT/ORK+ for LEON

ORK+ is integrated with the GNAT GPL 2011 compilation system, developed by AdaCore. The kernel and a modified runtime library are packaged together with the compiler and other tools into a comprehensive package . This package is avaliable for two differents architectures. GNATforLEON compilation chain tools are hosted on PC/GNU Linux workstations, and generate code for LEON2 computer boards. GNATforXtratum compilation chain tools are hosted on PC/GNU Linux workstations, and generate code for XTRATUM hypervisor that execute on LEON2 computer boards.

Download GNAT/ORK+ for LEON

GNAT/ORK+ for XtratuM

A version of GNAT/ORK+ running on top of the XtratuM hypervisor for LEON3 computer platforms has been developed.

Download GNAT/ORK+ for Xtratum

License

ORK+ is written in Ada. It is free software, and is distributed under a GPL license, which allows you to freely run, copy, distribute, study, change and improve the software. The GPL does not allow you, in turn, to remove these freedoms from other users.

If you are interested in a professional license please contact us.