High Assurance Cyber Military Systems (HACMS)
Abstract
The High Assurance Cyber Military Systems (HACMS) program developed and demonstrated technologies to secure mission-critical embedded computing systems. The DoD is making increasing use of networked computing in systems such as military vehicles, weapon systems, ground sensors, smartphones, and other communication devices. This dependence makes it critically important that the embedded operating system provides high levels of inherent assurance. This operating system must also integrate the computational, physical, and networking elements of the system while running on a processor with limited size, weight, and power. Consequently, it can only devote a limited share of its computational resources to security while satisfying hard real-time constraints. Recent advances in program synthesis, formal verification techniques, low-level and domain-specific programming languages, and operating systems mean that fully verified operating systems for embedded devices are within reach at reasonable costs. The program developed, matured, and integrated these technologies to produce an embedded computing platform that provides a high level of assurance for mission-critical military applications. Additionally, the program explored the use of formal methods to bring high levels of inherent assurance to Internet-enabled applications, in particular, applications involving remote update, access, management, authorization, and control.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2019
- Source ID
- 8791853d7b80c27b4df5af055a7616de