Descripción
|
|
---|---|
This document contains a set of guidelines for extending the ASSERT Virtual Machine kernel with device drivers. The real-time kernel is a version of ORK+, the Open Ravenscar real-time Kernel, which supports the Ada Ravenscar profile as defined in the current Ada 2005 standard. It is integrated with the GNATforLEON compilation system, and provides full support for the Ada Ravenscar subset, including low-level and system programming facilities. The document shows how to develop device drivers in Ada using such facilities. The guidelines are illustrated with the development of a communications driver for a SpaceWire device which is part of the GR-RASTA LEON2 computer board. VMlab- | |
Internacional
|
Si |
Tipo de proyecto
|
Proyectos y convenios en convocatorias públicas competitivas |
Entidad financiadora
|
ESA/ESTEC |
Nacionalidad Entidad
|
HOLANDA-PAISES BAJOS |
Tamaño de la entidad
|
Pequeña Empresa (11-50) |
Fecha concesión
|