Rapid and Effective Analysis and Capture TOol suite for RF System Specification (REACTOR)

"EDAptive Computing, Inc. (EDAptive), University of Kansas (KU) and Hirsch Engineering and Communications, Inc. (HEC) are pleased to present this proposal for a unique and commercially viable solution to the problem of automated analysis and intuitivecapture of RF System specifications. Our Rapid & Effective Analysis and Capture TOol suite for RF system specifications (REACTOR) program applies Phase I results and technologies from previous work, our expertise in design and analysis of RF systems, ourexpertise in formal specification languages, and EDAptive capture tool, to the problem of analysis and capture of RF system specifications. We propose an analysis toolset that provides four integrated capabilities: (i) a Graphical Editor that will permitthe user to construct an architecture for specification analysis; (ii) a Component Manager that will allow the user to assign attributes to the architectural components; (iii) an Equation Set that will allow the user to accurately express specificationquantities in terms of the component attributes; and (iv) an Analyzer that will permit the user to conduct tradeoff analysis, consistency checking and optimization of the specification."