DARPA META PI Meeting

The ultimate goal of the META program is to make a dramatic improvement on the existing systems engineering, integration, and testing process for defense systems. META is not predicated on one particular alternative approach, metric, technique, or tool. Broadly speaking, however, it aims to develop model-based design methods for cyber-physical systems far more complex and heterogeneous than those to which such methods are applied today; to combine these methods with a rigorous deployment of hierarchical abstractions throughout the system architecture; to optimize system design with respect to an observable, quantitative measure of complexity for the entire cyber-physical systems; and to apply probabilistic formal methods to the system verification problem, thereby dramatically reducing the need for expensive real-world testing and design iteration.

This principal investigators' meeting features presentations, component model library workshop, and "science fair"-style demonstration sessions.