Vincent Louis

Critical software and hardware expert. Safety. Accident investigations. Agile. Work at DGA for french MOD. Intrapreneur. Foundner of Linty Services company.

[Dominic Gates @dominicgates]

Boeing's 737 MAX took off on its first FAA re-certification flight a few minutes ago.
BOE701 en route to Moses Lake
https://t.co/hFZnYv02Pt

[Vincent Louis @_VincentLouis]

about:blank

[Massis Sirapian @Massis_]

Pourquoi les grands groupes devraient cesser de parler de "POC" quand ils collaborent avec des startups ? Ma réponse dans ce nouveau billet 👇
https://t.co/N33BfjgBq3

[Direction générale de l'armement 🇫🇷 @DGA]

La #DGA inaugure aujourd'hui un nouveau cluster d’#innovation technique de défense dans le domaine de l’#aéromobilité, baptisé CI-AILE, en partenariat avec @AerospaceValley, @armeedeterre et @ISAE_officiel.

[Vincent Louis @_VincentLouis]

Notre approche Model Based Safety Assessment a l'honneur au #Salondubourget

[Direction générale de l'armement 🇫🇷 @DGA]

Au @salondubourget, la DGA, associée aux armées et aux industriels, proposera un parcours autour de 3 pôles:
➡️L'évolution de l’offre française via les programmes #Rafale & HIL Guépard
➡️Le Système de Combat Aérien du Futur #SCAF
➡️L'expertise technique de ses centres d’essais

[Pierre-Loïc Garoche @yeploc]

My book "Formal Verification of Control System Software" is soon available at Princeton University Press. Thanks to all my collaborators as well as @onera_fr, @NASAAmes, @AgenceRecherche, @DGA, @NSF for their continued support. https://t.co/3bf8g5G7m9

[Vincent Lamigeon @VincentLamigeon]

La DGAC annonce à son tour l'interdiction de l'espace aérien français au 737 MAX

[Agence Innovation Défense @Agence_ID]

[#FIC2019] @florence_parly, ministre des Armées, est présente sur le stand @Defense_gouv pour l'#innovation Linty, soutenue par l'@Agence_ID. Logiciel qui détecte automatiquement les bugs électroniques qui pourraient conduire à des défaillances. #DGA

[Agence Innovation Défense @Agence_ID]

Nous y serons ! À la semaine prochaine 😊 ! @FIC_fr

[Airbus Helicopters @AirbusHeli]

The #VSR700 demonstrator took off for a fully unmanned autonomous flight! The target: to establish compliance with the demanding regulatory and safety systems necessary for future unmanned flight in France. #UAV #drone 🚁

[Florence Parly @florence_parly]

Parce qu'il faut montrer l'exemple. Parce que nous partageons des valeurs communes. Parce qu’il ne partage pas nos données. Parce que c'est un entreprise française : @Qwant_FR sera le moteur de recherche par défaut sur tous les ordinateurs du ministère des Armées.

[Roberto Di Cosmo @rdicosmo]

Here is the mythical 0x5f3759df function in the source code of Quake III archived in @SWHeritage Yes, swh:1:.... is an intrinsic persistent identifier :-)
https://t.co/v9pmtD0DIQ
@inria @CNRS @OpenSourceOrg @fsf @fsfe @icse2018 @EclipseCon @DevoxxFR @Pole_Systematic @OpenAIRE_eu

[Vincent Lamigeon @VincentLamigeon]

#Nexter décroche le marché des VBMR légers de l’armée de terre https://t.co/6UvjnCsr6l

[Vincent Louis @_VincentLouis]

L’EASA lance un questionnaire pour les pilotes VFR https://t.co/xBfTLnNTaF via @aerobuzzfr

[AdaCore | Ada/C/C++ tools for critical software @AdaCoreCompany]

Yannick Moy presenting the CAP2018 project, a reliable and safe #autopilot for drones compliant to DO-178 level A. @Sogilis and others #ERTS2018

[Olivier Gaudin @gaudol]

There were 100K @SonarQube downloads per month in the last 6 months, not bad for a server-based product!

[Vincent Louis @_VincentLouis]

Last good news this year, proud to be accredited by #EASA as software, AEH and #MBSA expert! Best wishes to everyone. Fly safely.

[Vincent Louis @_VincentLouis]

First autopilot software for our schoolchildren trainees!

[Vincent Louis @_VincentLouis]

Crash A400M: Airbus au courant d'une faiblesse logicielle https://t.co/NcE2exBfYv via @usinenouvelle

[Vincent Louis @_VincentLouis]

Two drones, two crashes in two months: MoD still won't say why https://t.co/Jt87FYW7lq via @theregister