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.

Journal La NASA au ralenti :(

Posté par  . Licence CC By‑SA.
Étiquettes :
35
1
oct.
2013

Depuis quelques heures, le site web de la NASA est fermé, suite au "shutdown" du premier Octobre (pas d'accord trouvé sur le financement des services gouvernementaux aux US). 97% des employés sont rentrés chez eux (ils ont interdiction de venir même de manière volontaire), et seul le minimum vital répond à l'appel (pour maintenir en vie les astronautes à bord de l'ISS par exemple).

Cette coupure d'activité met également au ralenti la mission Mars Science Laboratory, et le robot (…)

Journal Felix s'apprête à faire le grand saut

Posté par  . Licence CC By‑SA.
Étiquettes :
15
9
oct.
2012

On parlait récemment de la privatisation de la conquête spatiale.

Aujourd'hui Felix (Fearless) Baumgartner, parachutiste autrichien, s'apprête à battre le record du saut en chute libre le plus haut détenu par Joseph Kittinger, établi en 1960.

Cette tentative a pour l'instant été repoussée à cause du vent qui souffle sur le désert de Roswell au Nouveau-Mexique. L'ascension en ballon gonflé à l'hélium est pour l'instant prévue à 19h30 heure française.

Les chiffres sont impressionnants, bien qu'il ne s'agisse (…)