Cyberassured Systems Engineering at Scale
- Resource Type
- Periodical
- Authors
- Cofer, D.; Amundson, I.; Babar, J.; Hardin, D.; Slind, K.; Alexander, P.; Hatcliff, J.; Robby, .; Klein, G.; Lewis, C.; Mercer, E.; Shackleton, J.
- Source
- IEEE Security & Privacy IEEE Secur. Privacy Security & Privacy, IEEE. 20(3):52-64 Jun, 2022
- Subject
- Computing and Processing
Aerospace
Bioengineering
Components, Circuits, Devices and Systems
Engineered Materials, Dielectrics and Plasmas
Engineering Profession
Fields, Waves and Electromagnetics
General Topics for Engineers
Nuclear Engineering
Robotics and Control Systems
Signal Processing and Analysis
Transportation
Communication, Networking and Broadcast Technologies
Photonics and Electrooptics
Power, Energy and Industry Applications
Computational modeling
Codes
Modeling
Contracts
Analytical models
Software
Computer architecture
- Language
- ISSN
- 1540-7993
1558-4046
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.