META 2f: Probabilistic, Compositional, Multi-dimension Model-Based Verification (PROMISE)

Abstract

Research efforts were conducted under this task order to emphasize unique technologies in support of achieving the program goals associated with the META Program. The contractor focused on technologies and technological breakthroughs addressing probabilistic verification of cyber physical system aspects. Collaboration with Honeywell International Inc.,Aerospace, TTTech Computertechnik AG, and Vanderbilt University was facilitated to optimize technology development. The contractor team developed various probabilistic verification tools for component and tools for compositional verification. These verification tools were integrated with an early design flow tool. All tools and verification methods were demonstrated in various cyber physical (sub-) systems.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 2011
Accession Number
ADA554249

Entities

People

  • Ashish Tiwari
  • Daniel Elenius
  • Devesh Bhatt
  • Gabor Madl
  • Grit Denker
  • Guenther Bauer
  • Haftay Hailu
  • Ian Mason
  • Linda Briesemeister
  • Shalini Ghosh
  • Siamak Nikbin
  • Srivatsan Varadarajan
  • Tihamer Levendovszky
  • Wilfried Steiner
  • Xenofon Koutsoukos

Organizations

  • SRI International

Tags

Communities of Interest

  • Air Platforms
  • C4I
  • Cyber
  • Energy and Power Technologies
  • Space

DTIC Thesaurus Topics

  • Air Compressors
  • Air Force
  • Air Force Research Laboratories
  • Aircrafts
  • Application Protocols
  • Computer Programming
  • Control Systems
  • Differential Equations
  • Failure Mode And Effect Analysis
  • Graphical User Interface
  • Monte Carlo Method
  • Network Architecture
  • Operating Systems
  • Shell Scripts
  • Supervisory Control
  • Temperature Control
  • Time Division Multiple Access

Readers

  • Software Engineering.

Technology Areas

  • Cyber
  • Space