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.
- Computer-Aided Generation of Assurance Cases. T. Wang, C. Oh, M. Low, I. Amundson, Z. Daw, A. Pinto, M. Chiodo, G. Wang, S. Hasan, R. Melville, P. Nuzzo. 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR'23), 2023.
- Towards a Methodology to Design Provably Secure Cyber-physical Systems. F. Malaquias, G Giantamidis, S Basagiannis, S. Rollini, I. Amundson. Ada User Journal, Vol. 44(2), June 2023.
- Verifying an Aircraft Collision Avoidance Neural Network with Marabou. C. Liu, D. Cofer, D. Osipychev. NASA Formal Methods Symposium, 2023.
- Synthesizing Verified Components for Cyber Assured Systems Engineering. E. Mercer, K. Slind, I. Amundson, D. Cofer, J. Babar, D. Hardin. Software and Systems Modeling, March 2023.
- Zero Trust Architecture Patterns for Cyber-Physical Systems. S. Hasan, I. Amundson, D. Hardin. SAE AeroTech, March 2023.
- Checking Compliance of AADL Models with Modeling Guidelines using Resolint. I. Amundson. SAE AeroTech, March 2023.
- Model-Driven Development for the seL4 Microkernel Using the HAMR Framework. J. Belt, J. Hatcliff, Robby, J. Shackleton, J. Carciofini, T. Carpenter, E. Mercer, I. Amundson, J. Babar, D. Cofer, D. Hardin, K. Hoech, K. Slind, I. Kuz, K. Mcleod. Journal of Systems Architecture, 2023.
- Autonomy Verification and Validation Roadmap and Vision 2045. G. Brat, H. Yu, E. Atkins, P. Sharma, D. Cofer, M. Durling, B. Meng, C. Alexander, S. Borgyos, C. Fan, K. Garg, U. Topcu, G. Bakirtzis. NASA Technical Report NASA/TM-20230003734, January 2023.
- Hardware/Software Co-Assurance for the Rust Programming Language Applied to Zero Trust Architecture Development. D. Hardin. ACM SIGAda Ada Letters, vol. 42, no. 2, pp. 55-61, December 2022.

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.