Loonwerks

02/09/2023

Collins Aerospace run-time assurance and formal methods technologies are at the heart of this DARPA Assured Autonomy flight demonstration. Check out the video produced by our colleagues at Boeing.
https://lnkd.in/gxyzR_EH.

Boeing is developing software that will enable airplanes to make complex decisions to avoid collisions.

02/05/2023

Visiting the Collins Aerospace office in Cork, Ireland (and also George Boole at University College Cork)

02/05/2023

Great to visit with friends and colleagues at NASA Langley.

03/21/2022

The SAE G34 / EUROCAE WG-114 committee is developing certification guidance for machine learning in aerospace systems. We held our first face-to-face meeting (since the 2019 kickoff) in Brussels last week. It was great to see everyone in person!

09/22/2021

Flight testing some run-time assurance software last week

08/09/2021

More from DEF CON, Aerospace Village, and Las Vegas.

08/09/2021

The adventures of SMACCMcopter, our research vehicle on the HACMS project. Thanks to all the visitors and hackers who came to our activity at DEFCON29!

https://twitter.com/DARPA/status/1424752441900339200

“We brought a hackable quadcopter with defenses built on our HACMS program to . As program manager reports, many attempts to breakthrough were made but none were successful. Formal methods FTW!”

08/03/2020

Second excursion: beer, bike, and bbq

06/24/2020

Here is a good piece on formal methods for cybersecurity that mentions our DARPA HACMS project:

Industry and government should accelerate adoption of formal methods to reduce software vulnerabilities and bolster security.

06/20/2020

First beer & bike excursion of the year

03/06/2020