Embedded computer systems play a part in every aspect of DoD technology. The software in these systems does everything from managing large physical infrastructures, to running peripherals such as printers and routers, to controlling medical devices such as pacemakers and
“The High-Assurance Cyber Military Systems (HACMS) program seeks to create technology for the construction of systems that are functionally correct and satisfy appropriate safety and security properties,” explained, Kathleen Fisher, DARPA program manager. “Our vision for HACMS is to adopt a clean-slate, formal method-based approach to enable semi-automated code synthesis from executable, formal specifications.”
In addition to generating code, HACMS seeks a synthesizer capable of producing a machine-checkable proof that the generated code satisfies functional specifications as well as security and safety policies. A key technical challenge is the development of techniques to ensure that such proofs are composable, allowing the construction of high-assurance systems out of high-assurance components.
Key HACMS technologies include semi-automated software synthesis systems, verification tools such as theorem provers and model checkers, and specification languages. HACMS aims to produce a set of publicly available tools integrated into a high-assurance software workbench, widely distributed to both defense and commercial sectors. In the defense sector, HACMS plans to enable high-assurance military systems ranging from unmanned ground, air, and underwater vehicles, to weapons systems, satellites, and command and control devices.
InfEneTy is a knowledge platform which showcases critical news, insights and features on contemporary and topical issues related to Infrastructure, Energy and Technology affecting the economy, industry sectors, business environment. The intent is to enable an association with the evolving scenario and be a catalyst for change. Help make InfEneTy better. Share your comments or connect with us at firstname.lastname@example.org