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

DC Capital Invests in Government AI Platform Provider Knexus

DC Capital Partners has announced a majority investment in Knexus, a provider of applied artificial intelligence platforms designed to support…

Seekr Names Darcey Villasenor as Chief People Officer

Seekr has appointed Darcey Villasenor as chief people officer, bringing a veteran people and culture executive onto its leadership team…

Qualis, InTrack, Tektonux Merge to Form Defense Technology Company

Qualis, InTrack Radar Technologies and Tektonux have merged to form a single company focused on modernizing missile defense, space domain awareness, integrated fires…

Booz Allen Wins Largest Share of $392M USSOUTHCOM EDA IDIQ

Booz Allen Hamilton has secured the largest share of a newly awarded multiple-award contract vehicle supporting U.S. Southern Command’s enhanced…

Eutelsat Network Solutions Elevates Jill Singer to Chair, Adds Jim Slife to Board

Eutelsat Network Solutions, a wholly owned, independent U.S. proxy company and subsidiary of Eutelsat, has elected Jill Singer as chair of the…

NAVSEA Posts RFP for $7.1B Multiple-Award SEWIP Contract

The Naval Sea Systems Command is soliciting proposals for a potential $7.13 billion multiple-award contract to support the Surface Electronic…

Ron Moore Named GDMS CIO, VP of IT

General Dynamics Mission Systems has promoted Ron Moore, chief information security officer and director of cybersecurity since 2015, to vice…

TechnoMile Names Tom Temin as Strategic Media Adviser, Launches Federal Market Interview Series

TechnoMile has appointed longtime federal technology journalist and broadcaster Tom Temin as strategic media adviser and announced the launch of…

Tim Coffin Joins OMNI as Strategic Growth VP for Space

OMNI has appointed Tim Coffin, a retired U.S. Army brigadier general, as vice president of strategic growth for space. OMNI’s…

Nava Expands Benefits Delivery Platform With Beam Acquisition

Nava Public Benefit Corp. has completed the acquisition of Beam, a cloud-based product used by government agencies to administer safety net,…

Auria Acquires Bcubed to Expand Software-Defined C3 Capabilities

Auria, a portfolio company of Enlightenment Capital, has acquired BCubed Engineering as part of a push to expand its hardware…

DHS to Recompete $100M Contract for CBP Integrated Surveillance Towers

The Department of Homeland Security will recompete a $100 million contract vehicle to provide the U.S. Customs and Border Protection…

You’ve already read all related articles.

Executive Interviews