Requirements Modeling Technologies for Affordable C2 Systems

EDAptive Computing, Inc. (EDAptive) and Dr. Perry Alexander of the University of Kansas are pleased to present this proposal for a unique, commercially viable solution to the problem of automated analysis and intuitive requirements capture in Rosetta. OurRapid & Effective Analysis and Capture TOol-suite for Rosetta (REACTOR) program applies results and technology from previous Rosetta development, our knowledge of operational analysis techniques, our expertise in Rosetta, and EDAptive's Rosetta capturetools to the problem of analysis and capture of Rosetta requirements. We propose an analysis toolset that provides four integrated capabilities: (i) an Interpreter that determines the values of individual Rosetta expressions; (ii) an Evaluator that usesthe Interpreter to evaluate collections of Rosetta expressions and perform consistency checking; (iii) a Simulator that uses Rosetta timing domains and the Evaluator to evaluate Rosetta facets over input sequences; and (iv) an Analysis Framework tointegrate multiple simulations to enable heterogeneous evaluation. Also, we will investigate integration of both EDAptive's Rosetta capture tool and COTS tools to form a rapid and effective Rosetta analysis and capture tool-suite. This proposal presentsa focused approach to establish feasibility during Phase I, and prove the concept and prepare for technology transition during Phase II.Requirements modeling, as described in this proposal, will provide the most benefit to large and/or complex productdevelopments and especially those that have multiple domains, disciplines, and interfaces; that have more than three people involved with the product development; or that are being developed by geographically dispersed development teams.