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

摘要

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.