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

Socure Promotes Matthew Thompson to President, Chief Commercial Officer

Socure announced on LinkedIn Thursday that it has elevated Matthew Thompson to president and chief commercial officer. Thompson will oversee Socure’s…

Aretum Acquires Veterans Engineering

Aretum has acquired Veterans Engineering as part of a push to expand its IT, cloud, digital transformation and cybersecurity capabilities…

Firefly Aerospace Appoints Boeing Veteran Ramon Sanchez as Chief Operating Officer

Firefly Aerospace, a space and defense technology company, has recruited Ramon Sanchez to serve as its chief operating officer. Firefly…

NRC Awards 6 Spots on Potential $502M GLINDA 2.0 Contract for IT Support

The Nuclear Regulatory Commission has awarded six companies positions on a potential 10-year, $502 million blanket purchase agreement for a…

Leidos Secures $455M Air Force Task Order for Cloud One Support

Leidos has secured a task order valued at up to $454.9 million to provide Cloud One architecture and common shared…

Aqua IT Names Bill Cloin COO, Managing Partner

Aqua IT has appointed Bill Cloin, a former official at the National Geospatial-Intelligence Agency, as chief operating officer and managing…

Kimberly Parker Named Procurement SVP at ASRC Federal

ASRC Federal announced the appointment of Kimberly Parker as senior vice president of procurement in a LinkedIn post on Wednesday. “I’m happy…

MTSI Lands Potential $416M DISA Contract for AFGSC Technology Integration

The Defense Information Systems Agency’s Defense Information Technology Contracting Organization has awarded Modern Technology Solutions Inc. a potential $416 million contract,…

Army Conducts Market Research for Follow-On HIMARS Production Requirement

The U.S. Army has issued a request for information to identify industry partners capable of meeting full-rate production demands for…

L3Harris Receives $200M Contract From Lockheed for GMLRS IM Propulsion Units

L3Harris Technologies has secured a potential $200 million follow-on contract from Lockheed Martin to supply insensitive munition propulsion units for…

MANTECH Announces Elder Research Acquisition

MANTECH has acquired data science and artificial intelligence platforms provider Elder Research as part of a push to expand its…

Lockheed to Serve as Principal Contractor for Pakistan’s Potential $686M F-16 Upgrade FMS

Lockheed Martin has been named principal contractor on Pakistan’s newly approved $686 million foreign military sale request for F-16 hardware,…

You’ve already read all related articles.

Executive Interviews