EDAptive Computing, Inc., Dr. Perry Alexander of the University of Kansas and Ball Aerospace and Technologies Corporation propose an innovative solution to the problem of automated code synthesis by reusing existing components in an enterprise, starting with declarative specifications. Our proposed… More

EDAptive Computing Inc. (EDAptive), the University of Kansas (KU), Ball Aerospace & Technologies Corporation (BATC) and General Dynamics Information Systems (GDIS) present our Phase II Proposal for a unique and commercially-viable solution to the problemof recertifying operational application… More

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… More

EDAptive Computing, Inc. (EDAptive) and Dr. Ranga Vemuri of the University of Cincinnati present a unique and commercially viable solution to the problem of scalable analog component library for RF system design automation. Much research is necessarybefore complete automation of RF systems is… More

EDAptive Computing, Inc. (EDAptive) and Dr. Ranga Vemuri of the University of Cincinnati present a unique and commercially viable solution to the problem of design space exploration, tradeoff analysis, and performance evaluation of embedded, system-levelmalleable micro-architectures. Our Embedded… More

"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 &… More

EDAptive Computing, Inc., Dr. Perry Alexander of the University of Kansas and Ball Aerospace and Technologies Corporation propose an innovative solution to the problem of automated code synthesis by reusing existing components in an enterprise, starting with declarative specifications. Our proposed… More

EDAptive Computing, Inc., Dr. Perry Alexander of the University of Kansas and Ball Aerospace and Technologies Corporation propose an innovative solution to the problem of automated code synthesis by reusing existing components in an enterprise, starting with declarative specifications. Our proposed… More

"EDAptive Computing, Inc. (ECI) and Dr. Perry Alexander of the University of Kansas presents a unique and commercially viable solution to the problem specifying and creating self-correcting systems of digital hardware and software. Our Capturing Error andRepair Strategies at a System Level… More

"EDAptive Computing, Inc. (EDAptive), and Dr. Perry Alexander of the University of Kansas present a unique and commercially viable solution to the problem of verifying and validating a replacement/upgrade of an obsolete mixed-technology system that includesdigital, analog and mechanical subsystems.… More

EDAptive Computing, Inc. (EDAptive) and the University of Kansas (KU) propose a unique and commercially viable solution to the problem of testing upgraded hardware and software components in place, within the system that contains them. Such upgrades occur frequently in NASA satellite and Space… More

"EDAptive Computing, Inc. (EDAptive) presents a unique and commercially viable solution to the problem of incorporating a minimally-intrusive eye gaze monitoring system with a helmet mounted virtual display to provide improved human-machine interaction,localized display optimization and display… More

EDAptive Computing, Inc. (EDAptive) and the University of Kansas (KU) propose a unique and commercially viable solution to the problem of testing upgraded hardware and software components in place, within the system that contains them. Such upgrades occur frequently in NASA satellite and Space… More

EDAptive Computing, Inc. (ECI) and Dr. Perry Alexander of the University of Kansas present a unique and commercially viable solution to the problem of representing complex system functionality and interactions, and optimizing system parameters based onthose descriptions at a high level of… More

EDAptive Computing, Inc. (EDAptive) and the University of Kansas (KU) present our Phase II proposal for a unique and commercially viable solution to the problem of high Operation and Support (O & S) costs resulting from the large manual effort required forrecertification of electronic parts upon… More

EDAptive Computing, Inc. (EDAptive) and the University of Kansas (KU) present our Phase II proposal for a unique and commercially viable solution to the problem of high Operation and Support (O & S) costs resulting from the large manual effort required forrecertification of electronic parts upon… More

EDAptive Computing, Inc. (ECI), Lockheed Martin Missile and Fire Control Group (LM), and Dr. Perry Alexander present an innovative Phase II concept and commercially viable technology towards a solution to the Army's problem of effectively representing and modeling complex system functionality early… More

There is an urgent need to reduce costs and risks associated with the development of flight critical software, while maintaining or improving the safety margins. To address this need, EDAptive Computing, Inc. (ECI) team has developed an integrated Validation and Verification (V&V) method for safety… More

New software development processes depend on accurate specifications; the ability to execute or animate specifications expressed in a lightweight formalism, and the ability to verify properties expressed in that formalism will greatly assist software development. EDAptive Computing, Inc. (ECI) team… More

EDAptive Computing, Inc. (ECI) and Lockheed Martin Missile and Fire Control Group (Lockheed) present a proposal to design and implement robust error handling techniques in aircraft, shipboard, and other complex mission-critical systems. Our Design for Error Management (ErrorX) program provides a new… More

There is an urgent need in the military to upgrade and re-implement low-level software embedded in operational weapon systems, despite the millions of lines of often undocumented code. EDAptive Computing, Inc. (ECI) presents an innovative solution to the problem of creating specifications from low… More

Systems often fail because of unknown or unanticipated errors. Software/hardware components that can detect and correct errors would provide substantial cost savings and greatly enhance system reliability. The first step in achieving this goal is to create a paradigm in which the system becomes… More

There is an urgent need to reduce costs and risks associated with the development of flight critical software, while maintaining or improving safety margins. To address this need, the EDAptive Computing, Inc. (ECI) team has developed an integrated Validation and Verification (V&V) safety assurance… More

Our proposal specifically addresses the stated requirements of the solicitation; to enable automated analysis and visualization of the architecture of large, complex, mixed programming language software systems. The EDAptive Computing, Inc (ECI) Software Analysis and Visualization Tool to Maintain… More

Future weapons and defense systems used by the DoD are critical elements to the armed forces and national security. Therefore, it is conceivable that during the design and manufacturing process IC's are susceptible to the covert addition of intentional malicious attack functionality that compromises… More

Our proposal specifically addresses the stated requirements of the solicitation; we will develop and deploy tools, methods, and models for a low profile sensor capable of distinguishing a system's operational environment from a test environment in order to defend against "black box" attacks. . The… More

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… More

Modern software development processes increasingly depend on complete specifications, the ability to execute the specifications expressed in a lightweight formalism, and the ability to verify properties expressed in that formalism. EDAptive Computing, Inc. (ECI) team has designed the Model Checking… More

NASA's software-intensive extraterrestrial exploration and observation systems are raising performance and reliability bars to unprecedented levels. Exaggerating the complexity, in order for such systems to be robust and responsive they must have the ability to use intelligent processes to… More

Our proposal specifically addresses the problem identified in Phase I, that there is a critical need for non-destructive trust assurance that a manufactured IC faithfully implements its intended specification and only its intended specification. EDAptive Computing, Inc. has proposed an integrated,… More

Our proposal specifically addresses the stated requirements of the solicitation; we will develop concepts and deploy an electro-optics (EO) technology engineering tool that supports net-centric architecture immersion, quantitatively incorporates uncertainty-sensitive risk metrics, and integrates… More

EDAptive Computing, Inc. [ECI] team is pleased to submit this Phase II proposal in response to SBIR solicitation number MDA05-051: Software Formalisms. By its assigned mission MDA must develop some of the most complex software systems in the world under the most extreme real-time reliability and… More

This Small Business Innovation Research (SBIR) Phase I research project focuses on techniques to enhance the reliability and performance of sensor networks. Incipient sensor degradation can lead to inaccurate diagnostic results and ineffective control actions in an Information Technology (IT)… More

The task of identifying and successfully destroying a missile threat requires a vast network of RADARs, sensors, software, and other resources working together flawlessly. Information from these systems must be fused to provide with their operators an accurate and complete picture of the… More

Our proposal specifically addresses the stated requirements of the solicitation; we will develop software and data protection tools to detect and provide countermeasures to sophisticated covert access methods on computer systems. This includes hardware-based attacks which are currently undetectable… More

An effective Ballistic Missile Defense System (BMDS) must be able to make decisions that maximize engagement success-the destruction of critical missile threats-while doing so in an efficient manner so as not to waste critical defense assets that may be needed to handle further threats. However,… More

Our proposal specifically addresses the stated requirements of the Navy solicitation: we will develop tools and methods enabling the development of software User Interfaces for different implementation platforms from single designs that are directly linked to and validated against requirements. The… More

A critical requirement in modern warfare is maintaining an accurate and comprehensive picture of the battlespace at all times. The ability to maintain this situational awareness is made more difficult by the ever increasing role technology plays in todays military. Advanced sensors, platforms, and… More

In modern warfare, the ability for commanders to accurately forecast the behavior of a given population is essential for making high-quality decisions that can determine the success or failure of a mission. Anthropological experts can provide help to commanders in assessing certain situations and… More

A critical capability required by the DoD is maintaining an accurate and comprehensive picture of the battlespace at all times. A key to this is the growing use of layered sensor networks that together form complex systems-of-systems. Utilizing this approach for effective situational awareness… More

Edaptive Computing, Inc. (Edaptive) presents our Phase II proposal for a unique and commercially viable solution to the problem of developing software user interface components that are required to support simultaneous heterogeneous platform technologies and/or operating systems, and that are… More

Today"s Ballistic Missile Defense networks consist of many different types of sensors and platforms, and given the expanded focus of MDA on theater and regional missile defense where multiple"raids"can be launched from different sites toward numerous targets, it is crucial that they… More

As designs continue to progress in complexity, integration of third party assets has become a standard practice in hardware designs. Third party design integration, while reducing the complexity of the design process, always introduces risk in terms of the access to the internal components. These… More

ABSTRACT: Advances in communication, computational capacity, and sensing systems have provided unprecedented capabilities to generate, process, and communicate vast amounts of information. Utilizing such a complex network for effective situational awareness requires a high level of trust in the… More

Sensors making use of the Common Data Link (CDL) are generating more information, thus taxing the capabilities of available spectrum for the relay of Intelligence, Surveillance, and Reconnaissance information. We will define new sensor-to-link and link-to-sensor interface models, which will provide… More

Our proposal specifically addresses the stated requirements of the solicitation; we will develop and integrate software risk identification, assessment and analysis tools to enable a standardized Air Force approach to measuring and reducing software integration risks. The proposed EDAptive RAMP… More

Sophisticated methods for compromising computer systems have continuously shown their ability to defeat current operating system and network defenses. Processes such as the BIOS, hardware device drivers, and COTS hardware from a non-trusted supply chain have been identified to include malware or… More

With the increase in net-enabled warfare, network security will continue to be of critical importance to the DoD. Efforts to protect against intrusions have resulted in effective detection systems that can aid in network protection. However, another type of serious threat is the attack on the… More

Our proposal specifically addresses the stated requirements of the solicitation; we will develop software and system protection tools for monitoring the execution of untrusted software in large complex networks. This includes attacks which may be present in software applications used within the DoD… More

The expansion in the Missile Defense Agency"s mission to include emphasis on theater and regional missile defense necessitates the development of innovative concepts and techniques for employment planning and real time tasking of a variety of distributed sensor resources. Needed are algorithms… More

Our proposal specifically addresses the stated requirements of the solicitation; we will develop and deploy tools, methods, and models for improving optimistic modeling techniques. The proposed EDAptive PROMOTE solution builds on previous Edaptive Computing, Inc (ECI) knowledge and technology … More

ABSTRACT: Military sensor systems making use of the Common Data Link (CDL) are generating more information, thus taxing the capabilities of available spectrum for the relay of Intelligence, Surveillance, and Reconnaissance (ISR) data and information. We will define new sensor-to-link and… More

The Edaptive Computing, Inc. (Edaptive) team presents our Phase II proposal for a unique and commercially viable innovation to enhance algorithmic methods for forecasting behaviors of population groups with respect to culture. Our Modeling and Algorithmic Methods for Behavior Anticipation (MAMBA)… More

As designs continue to progress in complexity, integration of third party assets has become a standard practice in hardware designs. Third party design integration, while reducing the complexity of the design process, always introduces risk in terms of the access to the internal components. These… More