.@CollinsAero has selected our QGen code generator for Simulink®/Stateflow® models and the new TQL-1 Enterprise Qualification Package, to advance the development of their FAA-certifiable PerigonTM computer. Read the full press release: r.adaco.re/l4
Are you or your team looking to brush up on your #Adaprogramming skills? Our upcoming Online Public Ada Training will teach participants how to use Ada for both sequential and concurrent applications!
US: Sep 27-Oct 1, 2021
EU: Oct 11-15, 2021
adacore.com/trainingpic.twitter.com/rTZ1gsBAbW
Discover how reuse can increase #militarysoftware innovation and longevity in our latest Industry Spotlight from @AdaCoreCompany #softwarereuse #opensource
Read the whitepaper now: bit.ly/3BQzjFfpic.twitter.com/IneybGMgvx
Learn how to use Ada for both sequential and concurrent applications, through a combination of live lectures and hands-on workshops delivered by our experts, using our latest GNAT technology. Register today for our upcoming Online Public Ada #Training:
adacore.com/training
The latest episode of @seradio features our very own Paul Butcher discussing how #fuzztesting fits into the life-cycle of #softwaredevelopment and much more. Check it out today! #fuzzing @ieeesoftware #Adaprogramming twitter.com/seradio/status…
Register today for the #webinar "Application of SPARK to steering system software development" on Sept 9. Shinya Yoneki from JTEKT introduces the use of Formal Verification Tool Suite, SPARK Pro for JTEKT's electric power steering system.
Registration page:r.adaco.re/l5pic.twitter.com/blAO3Owfp7
[French speaking event] Nous sommes très heureux de participer à la Convention @Pole_Systematic 2021. Cyrille Comar prendra la parole lors de la session "Séquence CHAMPIONS du Pôle 2021". Inscrivez-vous gratuitement dès maintenant:
systematic-paris-region.org/evenement/conv…
When NVIDIA hired hackers to test the security of one of their applications written in #SPARK for a #RISCV chip, they found a vulnerability in the RISC-V IVA instead! Once again formal proof triumphs. Read the full story: r.adaco.re/l6
#cybersecurity #Adaprogramming
🔥🔥Convention 2021 du @Pole_Systematic, ce 8 septembre.
Le compte à rebours à commencé !
Rendez-vous à 16h avec l'écosystème francilien et européen des #deeptech
Oups, vous n'est pas inscrit ?
🎟️C'est par ici👉bit.ly/2XCRUF7pic.twitter.com/A1sQJqajK8
One day left for the #webinar "Application of SPARK to Steering System Software Development". Shinya Yoneki from JTEKT will introduce the use of Formal Verification Tool Suite, SPARK Pro for JTEKT's electric power steering system.
Register today: r.adaco.re/l5pic.twitter.com/vCxZhvghju
🚀Convention 2021 du @Pole_Systematic, @AdaCoreCompany, @EcoMundo_Europe, @ImagineOptic, @Qarnot, @tehtris,
Nos 5 #Champion_Systematic 2021 réunis pour recevoir leurs trophées ! pic.twitter.com/LeaKwR8uXb
AdaCore has joined forces with the Eldorado Institute in Brazil and medical device manufacturer Braile Biomédica to help in the fight against COVID-19. Check out the full case study: adacore.com/papers/eldorad… #codegeneration pic.twitter.com/0MfEszALXv
[#Webinar] La #sécurité logicielle, du système au #binaire : comment éviter les quiproquos par la sélection de langages et l’analyse.
Pour en savoir + rendez-vous avec @AdaCoreCompany
#Champion_Systematic 2021,
🗓️le 22.09 à 14h !
🎟️Inscription bit.ly/3E7Rrvdpic.twitter.com/QSxI27nspE
We're delighted to support the 2021 @ukspaceconf as a featured exhibitor, from next Mon 27th until Weds. Come and meet us to find out how we help development teams build mission-critical software based #spacesystems 🚀 #UKSC21 #UKspace21 #Adaprogramming r.adaco.re/l7
📣 Save the date! The #AdaCoreTechDays will return in 2021 as a virtual event:
EU - Nov 30th 9:30am-12:30pm (Paris)
US - Dec 1st: 1:00pm-4:30pm (NYC)
More information about registration and the final program will be coming soon. Stay tuned! pic.twitter.com/KwBk36Uem9
Due to popular demand, we've added an additional US Online Public Ada Training event, Oct 18-22, 2021. Class size is limited, and only a few seats are still available, so be sure to register soon: adacore.com/training #adaprogramming pic.twitter.com/O0VRWdtpyR
.@mastenspace chose our software development & verification tools for its XL-1 Lunar Lander spacecraft project, a $75.9 million contract awarded by NASA to transport scientific research payloads to the lunar South Pole. Download the case study: r.adaco.re/l8
Vasiliy Fofanov will present the paper "Adapting and Re-validating A Qualified Generic Multitasking Solution: A Return on Experience" on Oct 7 at 12 pm as part of the Software Product Assurance Workshop by European Space Agency - @esa. For more info visit: atpi.eventsair.com/software-pa-ws/