Cyberassured Systems Engineering at Scale
Darren D. Cofer, Isaac Amundson, Junaid Babar, David Hardin, Konrad L. Slind, Perry Alexander, John Hatcliff, Robby, Gerwin Klein, Corey Lewis, Eric G. Mercer, John Shackleton · IEEE Security & Privacy · 2022
Our team has developed a model-based systems engineering environment that integrates formal methods at all levels of system design. Our methodology and tools enable systems engineers to address cybersecurity concerns early in the development of complex high-assurance systems.