Cyberassured Systems Engineering at Scale
Darren Cofer, Isaac Amundson, Junaid Babar, David Hardin, Konrad Slind, Perry Alexander, John Hatcliff, Robby, Gerwin Klein, Corey Lewis, Eric Mercer, John Shackleton
Abstract
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.
Topics & Concepts
Systems engineeringSystem of systemsComputer scienceScale (ratio)System of systems engineeringSoftware engineeringEngineering managementSystems designEngineeringPhysicsQuantum mechanicsSecurity and Verification in ComputingAdvanced Malware Detection TechniquesAdvanced Software Engineering Methodologies