DARPA has been working hard on their High-Assurance Cyber Military System (HACMS). The High-Assurance Cyber Military System will allow them to secure SCADA systems. SCADA systems are currently very vulnerable as the framework that is used by SCADA has various flaws.
The SCADA systems are using techiniques and methods which were made before the year 2000.
As you can imagine, it is wise to setup a new framework which will secure the SCADA systems. The High-Assurance Cyber Military System seems to be the framework for this task.
The report on the HACMS which has been published on the DARPA military website describes the HACMS in the following way:
Embedded systems form a ubiquitous, networked, computing substrate that underlies much of modern technological society. Such systems range from large supervisory control and data acquisition (SCADA) systems that manage physical infrastructure to medical devices such as pacemakers and insulin pumps, to computer peripherals such as printers and routers, to communication devices such as cell phones and radios, to vehicles such as airplanes and satellites.
The DARPA program manager wrote the following about the goal of the HACMS:
The goal of the HACMS program is to create technology for the construction of high-assurance cyber-physical systems, where high assurance is defined to mean functionally correct and satisfying appropriate safety and security properties.
Dr Kathleen Fisher continues to explain that achieving this goal will demand a fundamentally different approach:
Achieving this goal requires a fundamentally different approach from what the software community has taken to date. Consequently, HACMS will adopt a clean-slate, formal methods-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.
By who will it be used
HACMS will likely transition its technology to both the defense and commercial communities. For the defense sector, HACMS will enable high-assurance military systems ranging from unmanned vehicles (e.g., UAVs, UGVs, and UUVs), to weapons systems, satellites, and command and control devices.