VIDEO: HACMS – Protecting Military Systems from Hackers

https://www.youtube.com/watch?v=OyqNpn6JpBk

DARPA’s High-Assurance Cyber Military Systems (HACMS) program is creating technology for the construction of safe and secure cyber-physical systems. Taking a fundamentally different approach from the inadequate methods used today by the software community, the program has adopted a clean-slate, formal methods-based approach to enable semi-automated code synthesis from executable specifications. HACMS has already transitioned some of its technology to both the defense and commercial communities.

Sponsor

×

Stay ahead in GovCon

Join thousands of government contractors who rely on GovCon Wire for the latest updates in federal spending, bid opportunities, and compliance changes.

Whether you’re new to the space or scaling up, our brief keeps you informed and ready to act.

Email Address *

First Name *

Last Name

Position

Company

Related Articles

Navy Awards Boeing Up to $213M Contract Modification for P-8A Aircraft Reconfiguration

Boeing will provide engineering support to reconfigure four P-8A aircraft for a foreign military sales customer The work will include…

DIU Opens $100M Challenge for Drone-Carrying Unmanned Surface Vessels

Each entry must pair a mature unmanned surface vessel with at least two drones able to strike and return a…

Exostar Names Jeff Ladner Chief Product Officer

Jeff Ladner, former chief product officer at Onspring, has moved to Exostar to serve as CPO Ladner’s leadership responsibilities will…

DHS S&T Plans Potential $100M Contract for Scientific & Technical Support

DHS is planning a competition for a scientific and technical support services contract valued between $50 million and $100 million…

IonQ Gets Final Regulatory Approval for SkyWater Deal

IonQ has cleared the final regulatory hurdle in its bid to acquire SkyWater Technology SkyWater will operate as a wholly…

Leidos Books Potential $717M Air Force ISR Operations Support Task Order

Leidos has secured a task order to support Air Combat Command’s ISR operations The task order has a potential value…

Jay Clayton Confirmed as Director of National Intelligence

The Senate confirmed Clayton on a 51-47 party-line vote He comes from the U.S. attorney post in Manhattan and previously…

John Lamontagne on How the Air Force Is Tackling Readiness, Modernization & Other Challenges

Gen. John Lamontagne, vice chief of staff of the Air Force, discussed multi-year procurement contracts funding in a new interview…

Antares Secures $470M in Funds to Scale Microreactor Deployments for Defense, Space Missions

Antares has raised $470 million in Series C financing for the commercialization of its Mark-0 reactor The microreactor reached criticality…

Bell Lands $300M Navy Contract for Marine Corps H-1 SPINE Upgrades

The SPINE program covers 49 aircraft — 28 AH-1Z Vipers and 21 UH-1Y Venoms — with modifications starting at Bell’s…

ColorTokens’ Louis Eichenbaum on Protecting Critical Government Assets With Microsegmentation

ColorTokens Federal CTO Louis Eichenbaum has highlighted microsegmentation as a zero trust priority for agencies Eichenbaum flags internal traffic visibility…

Sphinx Defense Books $287M Space Force ESS Mission Planning OTA Agreement

Sphinx Defense has booked a Space Force OTA agreement for ESS mission planning The Phase 3 award follows two earlier…

You’ve already read all related articles.

Executive Interviews