Test-Ready Model for Flexible System-of-Systems

Producing dependable, flexible system-of-systems that exhibit predictable behavior and fault tolerance during runtime is a daunting task. Although formal methods hold a lot of promise, there are several issues that have prevented its use in the mainstream. Specifically, use of formal methods requires very skilled and experienced users, some formal methods do not scale well as the system size grows, and manual translation is required to convert from formal specification models to software models for further implementation. EDAptive Computing team proposes an innovative, practical solution to address these problems. Our existing innovative technology building blocks will be augmented with intuitive specification capture techniques, computerized assistants for use of formal methods, and automatic translation to software models. Specifically meeting the topic requirements this combination forms an end-to-end capability to enter or capture a technology-independent specification, evaluate it for completeness, check it for correctness, generate error handling specifications and translate into software model for further implementation. We will leverage our extensive experience with graphical entry, formal languages, and formal methods. The Phase I results will clearly show that this powerful mix of innovative tools and mature methods will result in faster, more accurate, and more error-free software development, integration, reuse, and deployment.