META II: Formal Co-Verification of Correctness of Large-Scale Cyber-Physical Systems during Design. Volume 1

Abstract

Under the META program, a team led by the Palo Alto Research Center (PARC) is developing a model-based system-engineering framework that enables architectural analysis of complex systems during the conceptual design phase. Using this framework, design teams can systematically explore architectural design decisions during the early stage of system development prior to the selection of specific components. The analysis performed at this earliest stage of design facilitates the development of more robust and reliable system architectures.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 2011
Accession Number
ADA559653

Entities

People

  • Chris Hoyle
  • Christian Fritz
  • Dave Musliner
  • David Jensen
  • David Kluck
  • Eric Engstrom
  • Irem Tumer
  • Jacquelyn Nagel
  • Matt Knudson
  • Peter Bunus
  • Peter Jarvis
  • Serdar Uckun
  • Tolga Kurtoglu

Organizations

  • PARC

Tags

Communities of Interest

  • Advanced Electronics
  • Biomedical
  • Cyber
  • Energy and Power Technologies
  • Engineered Resilient Systems
  • Ground and Sea Platforms
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Artificial Intelligence
  • Commerce
  • Complex Systems
  • Computational Science
  • Computer Science
  • Engineering
  • Engineers
  • Failure Mode And Effect Analysis
  • Information Science
  • Manufacturing
  • Probabilistic Models
  • Reliability
  • Robotics
  • Sensor Networks
  • Software Development
  • Systems Engineering

Fields of Study

  • Computer science
  • Engineering

Readers

  • Distributed Systems and Data Platform Development
  • Software Engineering

Technology Areas

  • Cyber