Accession Number:

ADA554249

Title:

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

Descriptive Note:

Final rept. 18 Oct 2010-18 Oct 2011

Corporate Author:

SRI INTERNATIONAL MENLO PARK CA

Report Date:

2011-10-01

Pagination or Media Count:

127.0

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.

Subject Categories:

  • Test Facilities, Equipment and Methods

Distribution Statement:

APPROVED FOR PUBLIC RELEASE