DARPA to brief industry Feb. 21 on vetronics embedded computing cyber security project

ARLINGTON, Va., 8 Feb. 2012. Computer scientists at the U.S. Defense Advanced Research Projects Agency (DARPA) in Arlington, Va., are kicking off the agency's High-Assurance Cyber Military Systems (HACMS) program to safeguard civil and military embedded systems from hackers, computer viruses, and other cyber malware with an industry briefing 21 Feb. 2012 at the Capital Conference Center in Arlington, Va. The HACMS proposer's day is unclassified and voluntary, DARPA officials say.

The HACMS military cyber security program aims to develop a set of publicly available tools to help build embedded computing for high-assurance military vehicles with onboard networked military embedded systems that are able to resist efforts by hackers to attack and damage vetronics computers remotely while hiding the effects from monitors.

Although the HACMS program initially aims at embedded computing systems on military vehicles, DARPA officials say the tools and techniques the program develops may be applicable to other kinds of embedded systems.

The HACMS program aims to integrate publicly available tools into a high-assurance software workbench, which will be widely distributed to commercial and defense software developers. HACMS will use these tools to generate an open-source, high-assurance operating system and control system, and then use these components to build high-assurance military vehicles that are invulnerable to hacker attack.

Developing this kind of cyber security technology for military vehicles will require a fundamentally different approach from what the software community has done so far, DARPA officials explain. HACMS seeks to enable semi-automated code synthesis from executable, formal specifications, as well as produce machine-checkable proof that the code is secure.

HACMS has five parts: synthesizer, formal specifications, verified libraries, proven code, and diagnostic information. Key HACMS technologies will include interactive software synthesis systems, verification tools such as theorem provers and model checkers, and specification languages.

The HACMS proposers day will brief industry on the program and discuss potential capabilities among potential participants. Briefings will be from 9 a.m. to 3 p.m. eastern time on 21 Feb. 2012 at the Capital Conference Center, 3601 Wilson Blvd., Suite 600, in Arlington, Va.

Those interested in attending should register online by 16 Feb. 2012 online at www.solers.com/BAAinfo-reg/hacms. Those attending must present government-issued photo identification. Only two members from each organization may physically attend, and attendance is limited to 140 registrants.

More information is online at https://www.fbo.gov/spg/ODA/DARPA/CMO/DARPA-SN-12-26/listing.html.


Military & Aerospace Photos

Most Popular Articles

Related Products

VPX3-453 3U VPX Virtex-6/8640D Digital Signal Processor

The Curtiss-Wright VPX3-453 is a high performance 3U VPX DSP and FPGA processor card that combine...

CHAMP-FX4 6U OpenVPX Virtex-7 FPGA Processor Card

The CHAMP-FX4 is the flagship 6U product in Curtiss-Wright Defense Solutions’ family of user-prog...

PMC-E2001 Audio/Acoustic Waveform Generating PMC Card

PMC-E2001 Delta-sigma PMC features 16-bit resolution with 8 Analog Outputs and 4 Analog Inputs wi...

General Micro "Horizon" C299

The C299 Horizon is a third generation, 6U cPCI SBC module based on GMS’ upgradable CPU technolog...

RR2P Removable Canister RAID System

Transportable data storage for mobile field use aboard planes, ships and ground transport. 2U, du...

General Micro "Atom" XPC40X Rugged, Ultra-Small, Ultra-Low-Power Intel Atom™ CPU SBC

The XPC40X Atom is a rugged, low cost, ultra-low power, lightweight, Atom™ based computer system....

General Micro's VS295 Eclipse

The VS295 Eclipse is fifth generation, VME SBC module based on GMS, upgradable CPU technology. It...

ADEPT3000 Automatic Video Tracker

GE Intelligent Platforms ADEPT3000 is a cost-effective SWaP optimized automatic video tracking so...

6U OpenVPX HPEC Starter System

GE Intellligent Platforms new HPEC Application Ready Platforms (HARP) products respond to governm...

DSP280 - Rugged Dual Socket 2nd Gen Intel Quad Core i7 Multiprocessor

The DSP280 is a rugged, 6U OpenVPX dual socket Intel 2nd generation Quad Core i7 multiprocessor d...

Related Companies

Curtiss-Wright Defense Solutions

About Curtiss-Wright Defense Solutions Curtiss-Wright Defense Solutions (CWDS) is a long established techno...

Innovative Integration

  Since 1988, Innovative Integration has grown to become one of the world's leading suppliers of DSP and data ac...

General Micro Systems Inc

Since 1979, General Micro Systems has been providing the most diverse line of single-board computers in the industry....

Winchester Systems Inc

At its founding in 1981, Winchester Systems introduced its first 5 MB disk system for Intel development system users....

Extreme Engineering Solutions Inc (X-ES)

 Extreme Engineering Solutions, Inc. (X-ES) is a leader in the design, manufacture, and support of standard and ...

LEMO USA Inc

Provides a lightweight, compact aluminum connector. M-series connector is focused on the design that requires a MIL-3...

GE Intelligent Platforms

Provides embedded computing solutions. Products include single-board computers, networking products, avionics interfa...

Omnetics Connector Corp

Omnetics Connector Company is a privately held, world class connector design and manufacturing company with over 25 ...

Dawn VME Products

Dawn provides customers an in-depth and broad range of system and product knowledge and expertise coupled with the la...
Wire News provided by   

Press Releases

One Component, Snap Cure Epoxy Features High Strength Properties

Suitable for a variety of applications in the electronic, aerospace and OEM industries, Master Bond EP3SP5F...

One Part Epoxy Resists up to 500°F and Meets NASA Low Outgassing Specifications

Master Bond Supreme 12AOHT-LO is a one component epoxy for a variety of bonding and sealing applications in...

Low Viscosity, One Part Cyanoacrylate Is Non-Toxic and Meets ISO 10993-5 Specifications

Master Bond MB250NT is widely used for a variety of applications ranging from repair to high speed producti...

Thermally Conductive, Two Component Epoxy Passes USP Class VI Tests and ISO 10993-5 Specifications

With biocompatibility and cytotoxicity certifications, Master Bond EP21AOLV-2Med is often selected for bond...

CURTISS-WRIGHT CONGRATULATES NORTHROP GRUMMAN ON SUCCESSFUL FIRST FLIGHT OF SECOND MQ-4C TRITON UAS

Curtiss-Wright Corporation’s Defense Solutions division applauds Northrop Grumman Corporation (NYSE: NOC) o...

Curtiss-Wright’s New Rugged Mobile IP Router Subsystem Features an Integrated Cisco® 5915 ESR Router

Curtiss-Wright Corporation today announced that its Defense Solutions division, a Cisco® Systems Solution T...

VICTORY Shared Processing, Fire Control Computer, and Switch for Ground Vehicles Introduced by Curtiss-Wright

Curtiss-Wright Corporation today announced that its Defense Solutions division has introduced a new fully i...

GE Announces First Sub-Credit Card-Sized Multi-Function High Definition (HD) Video Tracker

HUNTSVILLE, AL.— OCTOBER 13, 2014—GE’s Intelligent Platforms business today announced at AUSA (October 13-...

Webcasts

Meeting the Gen3 backplane challenge with OpenVPX and COTS

Tight Pentagon budgets mean military systems must stay in the field for longer than ever before. This doesn't mean obsolete technology, however. Today's military electronics are being upgraded constantly, an...
Sponsored by:

Design Strategy Considerations for DO-178C Certified Multi-core Systems

Join Wind River to learn how system architecture and design choices can minimize your DO-178C certification challenges.

Sponsored by:

Flying, Sailing or Driving - The Rugged, Embedded Intel-based Server that goes where you need it!Flying Sailing or Driving

Leveraging the power of server-class processors is no longer relegated to the confines of data centers. Through several innovations, Mercury Systems has ruggedized Intel’s server-class chips for deployment. ...
Sponsored by:

All Access Sponsors


Mil & Aero Magazine

April 2015
Volume 26, Issue 4
file

Download Our Apps



iPhone

iPad

Android

Follow Us On...



Newsletters

Military & Aerospace Electronics

Weekly newsletter covering technical content, breaking news and product information
SUBSCRIBE

Cyber Security

Monthly newsletter covering cyber warfare, cyber security, information warfare, and information security technologies, products, contracts, and procurement opportunities
SUBSCRIBE

Defense Executive

Monthly newsletter covering business news and strategic insights for executive managers
SUBSCRIBE

Electronic Warfare

Quarterly newsletter covering technologies and applications in electronic warfare, cyber warfare, optical warfare, and spectrum warfare.
SUBSCRIBE

Embedded Computing Report

Monthly newsletter covering news on embedded computing in aerospace, defense and industrial-rugged applications
SUBSCRIBE

Unmanned Vehicles

Monthly newsletter covering news updates for designers of unmanned vehicles
SUBSCRIBE