ESAHomeSpace EngineeringSystems
   
Contents
Market positionRTEMSBCC and RCCObjectAda real-time RAVENGNAT ProAONIX PERC UltraAONIX PERC PicoAONIX PERC RavenJamaica-VM/AERO-VM
About us
Software Engineering and Standardisation
Software life cycle
Software building blocks
Software standardisation
Archive
Services
Useful linksContact us
FOR SECURITY REASONS, ALL LINKS TO THE ftp.estec.esa.int SERVER ARE DISABLED. YOU MAY REQUEST RELATED DOCUMENTS TO bssc@esa.int
 
 
 
 
 
printer friendly page
Overview of LEON tools
 
This page is given for information, not for advertisement. The information given here represents the knowledge of the authors at a given moment and does not pretend to be exhaustive.

The LEON is ERC32’s successor and is the latest iteration of ESA's effort in providing a source of radiation tolerant microprocessors to the European space industry. Some of LEON’s new features include the presence of cache, a Memory Management Unit (MMU), and the architecture transition from the SPARC v7 to v8. Consequently, the development environments had to be updated, evaluated and validated in order to guarantee that they are suitable for the development of space applications. The TNC (Tool for New Computers) project had the purpose of evaluating the current development platforms for LEON by a consortium constituted by EDISOFT, SYDERAL, AONIX and ASTRIUM. The ESA Ravenscar Benchmark (ERB) was used to evaluate the efficiency (size and performance), as well as other aspects, of the existing development platforms for LEON.
 
 
Market position
 
RTEMS is a Real Time Operating System (RTOS) that is available under a Free Open Source Software (FOSS) license. RTEMS provides networking and filesystem support and allows the development of applications using the POSIX, uITRON, RTEID and Ada APIs. Supported programming languages include C, C++ and Ada. RTEMS makes available Board Support Packages for the ERC32, LEON2 and LEON3 processors among others.

BCC and RCC are respectively bare-C and RTEMS compilers provided by Gaisler Research, as well as VxWorks 6.5 for Leon.

ObjectAda Real Time RAVEN is a complete development solution that includes an IDE, a toolchain (compilers, assemblers, linkers, etc.) and a small Run Time System (RTS). The RTS provides the means for execution on top of a bare board (i.e. running on top of the hardware without the need for any Real Time Operating System). ObjectAda RAVEN is a commercial solution that complies with the Ravenscar tasking profile along with a range of other standard restrictions. ObjectAda RAVEN includes a compiler that enforces the supported restriction and a compact and efficient runtime. ObjectAda RAVEN was designed and implemented to support DO-178B level A certification. Version 7.2 of ObjectAda Real Time RAVEN includes support for the LEON processor.

GNAT Pro is a complete development solution that includes an IDE, a toolchain (compilers, assemblers, linkers, etc.) and a small Run Time System (RTS). The RTS provides the means for execution on top of a bare board (i.e. running on top of the hardware without the need for any Real Time Operating System). GNAT Pro is a commercial solution that complies with the Ravenscar tasking profile along with a range of other standard restrictions. GNAT Pro includes a compiler that enforces the supported restriction and a compact and efficient runtime. GNAT Pro was designed and implemented to support DO-178B level A certification. Version 6.0.1 of GNAT Pro includes support for the LEON processor.

The PERC product range provides clean room implementations based on standard Java platforms, and the existing RTSJ specification. Based on profiles that both subset and supplement established standards in an open, standards-based forum, PERC provides solutions for three complementary market segments: complex, dynamic soft real-time; deeply embedded and high-performance hard real-time; and certifiable safety critical applications. PERC Ultra is designed for use on large scale applications that need to use the rich features of Standard Edition Java libraries, coupled with predictable performance. PERC Pico is designed for applications with demanding requirements for small footprint, fast execution, and low level device access. PERC Raven is designed to apply safety constraints which provide the basis for fulfilling safety certification requirements.

The AERO project has used the Jamaica virtual machine of Aicas to secure the real-time behaviour of a typical on-board application.
 
 
RTEMS
 
Name RTEMS
Language(s) C, C++, Ada
Development platform(s) Linux, Windows (Cygwin).
Information Uses the GNU toolchain (Binutils, GCC, GNAT and GDB) and Newlib as the C and Math libraries.
Provides filesystem and networking features.
Applications can be developed using the POSIX, uITRON, RTEID and Ada APIs. .
Status A development platform, like ERC32CCS or RCC, is missing.
The LEON port was done by Gaisler.
Edisoft offers a European maintenance centre for RTEMS.
www Edisoft

 
 
BCC and RCC
 
Name BCC and RCC
Language(s) C, C++
Development platform(s) Solaris, Linux
Information BCC is a Gnu based cross-compilation system for LEON processors, including in particular gcc, binutils, newlib, bare-C run time system, pthreads, boot-prom builder, gdb, ddd, etc.
RCC is a cross-compilation system for both ERC32 and LEON processors, including in particular gcc, linker, assembler, archiver, newlib, RTEMS and GDB.
Status The product family is supported by the company Gaisler Research.
www Gaisler Research

 
 
ObjectAda real-time RAVEN
 
Name ObjectAda Real-Time RAVEN
Language(s) Ada 95 (Ravenscar subset)
Development platform(s) Solaris
Information The Raven Product is a commercially Ada Ravenscar product (plus additional restrictions for reduced runtime) with Run-Time System and compilation chain streamlined for Ravenscar. Suited for DO-178B level A certification, certification material can be provided.
Status Raven was ported to LEON under ESA/ESTEC contract and requires evaluation.
www Aonix

 
 
GNAT Pro
 
Name GNAT Pro
Language(s) Ada83, Ada 95, Ada2005, Ravenscar subset
Development platform(s) Linux, Solaris, Windows
Information GPL and GNAT Modified GPL. GNAT Pro is provided as a commercial product.Implements the Ravenscar tasking profile. The High Integrity Edition is suited for DO-178B certification and provides 4 different profiles: Zero Footprint, Cert, Ravenscar and Full-Runtime.
Status Supported by AdaCore. Has been recently ported to the LEON processor and requires evaluation.
www Adacore

 
 
AONIX PERC Ultra
 
Name AONIX PERC Ultra
Language(s) Java
Development platform(s) Linux, Solaris, Windows
Information A real-time embedded Standard Edition Java solution. Designed to be deterministic. Provides real-time garbage collector, priority inheritance and precise timers.
Status Under contract to develop versions of PERC Ultra for the LEON target running with Xluna.
www Aonix

 
 
AONIX PERC Pico
 
Name AONIX PERC Pico
Language(s) Java
Development platform(s) Linux, Windows
Information Based on the RTSJ profile defined by the JSR-302 experts group.
Status Under contract to develop versions of PERC Pico for the LEON target running with Xluna and RTEMS.
www Aonix

 
 
AONIX PERC Raven
 
Name AONIX PERC Raven
Language(s) Java Ravenscar profile
Development platform(s) Linux, Windows
Information Based on the RTSJ profile defined by the JSR-302 experts group. Designed to be deterministic and certifiable to DO-178B Level A.
Status This product is under development but no port is currently planned for the LEON target.
www Aonix

 
 
Jamaica-VM/AERO-VM
 
Name Jamaica-VM/AERO-VM
Language(s) Java
Development platform(s) Linux, Solaris, Windows
Information Jamaica-VM has evolved from AERO-VM. Supports the RTSJ profile defined by the JSR-302 experts group.
Status There is work in progress by the AERO-VM consortium to support the LEON based boards and to validate the software for space system applications.
www Aero project

 
 
Last update: 11 November 2009

 


Related articles
Simulators
Related links
RTEMS Maintenance Center (Edisoft)Gaisler ResearchAonix RavenAdaCore GnatProAonix PERCAERO projectJamaïca VM
 
 
 
   Copyright 2000 - 2017 © European Space Agency. All rights reserved.