High Assurance Cyber Military Systems*
Abstract
*Formerly Assured Mobile Platform The High Assurance Cyber Military Systems program will develop and demonstrate the technologies required 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, personal digital assistants, 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 very 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 may be within reach at reasonable costs. Systems that admit static verification can provide both high assurance and high performance to avoid the many dynamic checks otherwise necessary to provide high assurance. The program will develop, mature, and integrate these technologies to produce an embedded computing platform that provides a high level of assurance for mission-critical military applications.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2013
- Source ID
- ddc678eb121436f08fe3b40c53166cce