The ESA-SSA-ICARE-NG2 project documentation is now available on the forge at https://forge.onera.fr/projects/ssa_icare_ng2/
You should have recieved your login and password to access this private repositery.
Please go and check the various tab to find out what's available.
Electrod is now available publically, under the MPL 2.0. This is a complete rewrite of our compiler for Electrum models, but working at a lower level (similar to the level of Kodkod for Alloy), while the upper layers are addressed by the new Electrum Analyzer (an evolution of the Alloy Analyzer), mainly developed by Nuno Macedo and Alcino Cunha at INESC TEC/U. Minho.
Cette journée prend la forme d'un workshop. Ouverte aux équipes de l'ONERA et à des industriels intéressés par la problématique de l'introduction de liaisons sans fil pour des systèmes embarqués critiques, abordée par le PRF, elle a pour objectif de présenter l'avancement des travaux du projet Wireless.
The Orocos YARP transport is now available as a robotpkg package. Get it now:
cd robotpkg/onera svn update cd orocos-yarp_transport make update
Two new packages are available in robotpkg-onera:
- libHTN, a library to manage Hierarchical Task Networks
- orocos-dot_service, an Orocos service to create architecture 'dot' views
robotpkg is a compilation framework and packaging system for installing robotics software developed by the robotic community.
It also contains packages for some general, third-party open-source software that the robotics software depends on
and that is not commonly packaged by major unix distributions.
Each package in
robotpkg has its own version control system and build system and
robotpkg acts merely as an automated wrapper
to build and install software and its dependencies. The packaged software does not depend in any way on
robotpkg, so that
manual installation (without
robotpkg) is always possible.
robotpkg itself is lightweight, in the sense that only
the packages you are interested in will be downloaded and installed.
robotpkg is based on the NetBSD Package System, also known as
pkgsrc and is released under an open-source,
BSD license (note that each individual package has its own license, which is usually open-source, but not necessarily).
To install and use
robotpkg, see the official
robotpkg-onera contains the description of a collection of packages developed at Onera.
Once you have installed
robotpkg, you can add the
robotpkg-onera packages with:
cd robotpkg svn co https://svn.onera.fr/robotis/robotpkg-onera onera
The packages can then be installed by going to the
onera/package folder and typing
To obtain the package list of
cd robotpkg/onera make index
then open the
Mise en place
Also available in: Atom