About us
Loonwerks is a collection of formal methods researchers associated with the Trusted Methods group in Collins Aerospace. Our work is focused on the use of formal methods to create safe and secure avionics software. We build tools that make the latest advances in automated analysis from the research community accessible to system and software developers in industry.
Work with us
Job ∈ {FormalMethods ∩ Airplanes} ⇒ Cool(Job)
Interested in joining the Trusted Methods team at Collins?
For additional information contact us at info@loonwerks.com
What's new
Collins Aerospace run-time assurance and formal methods technologies are at the heart of this DARPA Assured Autonomy demonstration. Check out this video produced by our colleagues at Boeing.
- Proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase. A. Tahat, D. Hardin, A. Petz, P. Alexander. AISoLA, October 2024.
- Evaluation of New Assurance Tools for Airborne Machine Learning-Based Functions. C. Liu, H. Herencia-Zapana, S. Hasan, A. Tahat, I. Amundson, D. Cofer. Digital Avionics Systems Conference, 2024.
- Hierarchical Assurance Patterns for Cyber-Resilient Systems Engineering. I. Amundson, D. Cofer, D. Hardin, J. Hatcliff. Digital Avionics Systems Conference (DASC 2024), October 2024.
- Zero-Trust Design and Assurance Patterns for Cyber-Physical Systems. S. Hasan, I. Amundson, D. Hardin. 28th Ada-Europe International Conference on Reliable Software Technologies, June 2024.
- Transforming AADL Models Into SysML 2.0: Insights and Recommendations. K. Litwin, I. Amundson, D. Verma, T. McDermott. SAE AeroTech, March 2024.
Loonwerks is solely responsible for the content of this web site. Such content does not necessarily represent the views of Collins Aerospace. All content has been approved for public release.