1. Welcome to our development portal
  2. Projects
    1. Ocarina
    2. Ocarina plug-in for Eclipse/Topcased
    3. PolyORB-HI-C
    4. PolyORB-HI-Ada
    5. POK and ARINC653-related stuff
    6. REAL
    7. Past projects
  3. Case studies and examples
    1. Case studies
    2. Examples
  4. Contribute
  5. Community
    1. Research team
    2. Related projects
    3. Other

Welcome to our development portal

This website provides help to use our AADL toolsuite Ocarina and other software designed for it (PolyORB-HI...). You'll find useful information to install and use it. Our research at TELECOM ParisTech? is focused on system generation from architectural description. We use the AADL to describe distributed real-time embedded systems and automatically generate code from AADL models.

Projects

Ocarina

Ocarina is the core of our AADL toolsuite. It features an AADLv1 & AADLv2 parser, code generators targetting PolyORB, PolyORB-HI (C and Ada/Ravenscar) and POK. Besides, it includes gateway to model checkers (colored or timed Petri Nets) and WCET analysis of AADL model and associated runtime code using Bound-T.

Ocarina plug-in for Eclipse/Topcased

The ocarina plug-in is a plug-in for Eclipse/topcased that ease the use of Ocarina inside Eclipse/Topcased. Using it, you can design your models inside Eclipse/Topcased and automatically generate, build and run systems inside your modeling toolsuite. It supports our AADL runtimes PolyORB-HI-C, PolyORB-HI-Ada and POK.

PolyORB-HI-C

PolyORB-HI-C is an AADL runtime written in C. It is used by Ocarina generated code to use system primitives and manage its resources. It is POSIX-compliant and fits with many operating systems (Linux, RTEMS and so on). It is fully POSIX.

PolyORB-HI-Ada

PolyORB-HI-Ada is our AADL runtime written in Ada/Ravenscar. It provides the same and more services as PolyORB-HI-C and is compliant with most used operating systems and some embedded real-time systems such as RTEMS or ORK.

POK and ARINC653-related stuff

POK? is our AADL partitioned runtime. It ensures space and time isolation and fit with the needs of embedded real-time systems. You can gather more information about this website on its official webpage. This page provides information about the code generator for POK. We also discuss the modeling of ARINC653 annex. TELECOM ParisTech? is involved in the ARINC653 annex and provides tools for validation, verification and implementation purposes.

REAL

REAL is a language for constraints declarations on AADL (and AADLv2) language. REAL can be used either to evaluate some aspects of the model (such as memory occupation), or to verify that hard constraints are respected. It allows to have a fully AADL-centric developpement chain, from project specifications to effective system description.

Past projects

There is a list of past projects. Unfortunately, we dont have the time to maintain all our projects and some of them are leaved unmaintained. This page contains a list of past projects.

Case studies and examples

Case studies

Examples

All our examples are shipped in software releases. You can find a description of these examples on this page.

Contribute

Community

Research team

Our research projects involve a team of several people. There is a list of who is or was involved in our projects :

Related projects

Other