META II: Formal Co-Verification of Correctness of Large-Scale Cyber-Physical Systems During Design (Mod 0006). Volume 2

Abstract

Design and development of complex vehicle and weapon systems remains a substantial challenge to the DoD. A robust, scalable, and affordable tool chain based on the technologies developed under the META program would provide the DoD community with a capability that will enable correct-by-construction design of such systems. The ultimate goal is to achieve DARPA's vision of 5x compression in the time it takes to deploy such systems. The proposed work facilitates the development of such a tool chain by studying approaches for commercialization and long-term viability of the tool chain.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 2012
Accession Number
ADA559654

Entities

People

  • Walter Johnson

Organizations

  • PARC

Tags

Communities of Interest

  • Biomedical
  • Cyber
  • Energy and Power Technologies
  • Ground and Sea Platforms
  • Materials and Manufacturing Processes
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Artificial Intelligence
  • Cognitive Systems Engineering
  • Commerce
  • Complex Systems
  • Computer Programming
  • Computer Science
  • Computer-Aided Design
  • Computers
  • Cyber-Physical Systems
  • Engineering
  • Engineers
  • Intellectual Property
  • Mechatronic Engineering
  • Operating Systems
  • Systems Engineering

Fields of Study

  • Computer science

Readers

  • Distributed Systems and Data Platform Development

Technology Areas

  • Cyber