GTFR_Certification_Des_Drones: EASA Easy Access Rules for Unmanned Aircraft Systems

Added by Fabrice Cuzieux 3 months ago

La révision de janvier 2021 met à jour les règles "Easy Access Rules for Unmanned Aircraft Systems" sur la base de la décision 2020/022/R [] de la Commission européenne modifiant l'AMC et le GM [](UE) 2019/947 et en partie UAS. La décision clarifie les conditions d'autorisation des opérations de drones sur les zones peuplées et les rassemblements de personnes dans la catégorie "spécifique", garantit l'interopérabilité des systèmes d'enregistrement nationaux des États membres de l'AESA pour les opérateurs de drones et pour les drones certifiés qui doivent être enregistrés, et introduit de nouvelles évaluations prédéfinies des risques (PDRA) et améliore les PDRA existantes.

electrod: First public release of Electrod

Added by David Chemouil over 3 years ago

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.

robotpkg-onera: Installation instructions for robotpkg-onera

Added by Charles Lesire almost 8 years ago


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 robogpkg page


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 onera

The packages can then be installed by going to the onera/package folder and typing

make update

Package list

To obtain the package list of robotpkg-onera :

cd robotpkg/onera
make index

then open the index.html file.


    Also available in: Atom