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.