EDAptive Computing, Inc. (ECI) provides solutions for model-based design, verification and validation of complex & critical military and aerospace systems. ECI solutions leverage System Level Design Languages (SLDLs) to capture system requirements in a computer-sensible manner. EDI researches and develops software products that help its customers become more profitable, efficient, and competitive by decreasing the time and money it takes to design and sustain complex systems. EDI researches & develops solutions that capture, analyze and leverage high-level, multi-domain system information to substantially reduce overall system design and upgrade time and costs. ECI's software is used in developing innovative, robust, layered Cyber Security solutions that can be applied across multiple layers, ranging from chip to network level, throughout a system's lifecycle from specification to deployment.