Journal IKOS, un analyseur statique développé à la NASA

Posté par  . Licence CC By‑SA.
Étiquettes :
61
14
déc.
2018

Salut à tous,

Laissez moi vous présenter IKOS: https://github.com/NASA-SW-VnV/ikos

IKOS est un analyseur statique pour C et C++ basé sur LLVM, développé à la NASA. Il est gratuit et open source.

IKOS permet de détecter des bugs dans vos programmes C et C++. Contrairement à un analyseur statique « classique », il se repose sur une théorie mathématique appelée Interprétation Abstraite. IKOS prouve automatiquement l’inexistence de bugs dans vos programmes, pour toutes les exécutions possibles. En contrepartie, IKOS peut (…)

Le Jet Propulsion Laboratory de la NASA publie les plans du rover Curiosity sur GitHub

Posté par  (site web personnel) . Édité par Benoît Sibaud, Xavier Teyssier et Davy Defaud. Modéré par Xavier Teyssier. Licence CC By‑SA.
Étiquettes :
39
5
août
2018
Do It Yourself

Le Jet Propulsion Laboratory de la NASA (avec CalTech), qui a construit l’astromobile / le rover Curiosity pour explorer la planète Mars, a publié sur GitHub les plans d’une version réduite et abordable de ce véhicule sous licence Apache v2.

Vous pouvez donc l’étudier, le construire ou l’améliorer !

Le cerveau utilisé est un RaspBerry Pi. Vous pouvez le contrôler via une application Android.

N. D. M. : Ce rover est une version réduite (36 cm, 11 kg, 17 cm/s) de Curiosity (2,7 m, 899 kg et 4 cm/s sur Mars). Il est conçu pour pouvoir être réalisé avec des composants du commerce. La publication a été réalisée pour « inspirer la future génération des scientifiques, ingénieurs et roboticiens pour nous aider à explorer et découvrir notre système solaire (et au‐delà !) ». L’utilisation de la licence Apache v2 semble contredite par les critères supplémentaires suivants : être âgé de plus de 18 ans, décharge de responsabilité et pas d’utilisation commerciale (situation clarifiée depuis par le responsable côté NASA). Le JPL explique par ailleurs avoir produit précédemment une version réduite de Curiosity à des fins éducatives (un mini‐rover baptisé ROV-E), pour les classes, musées et événements scolaires. Et face au succès, ils ont décidé de produire un modèle inspirant et réalisable pour moins de 2 500 US$ (environ 2 160 €).

Journal La nasa offre sa troisième fournée de logiciel libre et gratuit

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
18
7
mar.
2017

https://fossbytes.com/nasa-free-open-source-software/

La nasa met en ligne, en libre accès, son catalogue 2017-2018 de logiciels, dont une partie est open source !

NASA says that the freely released tools are helpful for professionals, entrepreneurs, small businesses, industry, and academia. These software tools have the potential to create jobs, save lives, and earn revenue, NASA adds.