ENTERPRISE COMPONENT INTEGRATION SYSTEM (eCIS)

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 solution, which automates reuse of existing software components through their retrieval, adaptation and integration by applying innovative automated reasoning techniques, will lead to reduced time and cost to deploy systems as well as enable custom design of high-integrity software systems, thereby ensuring safe and reliable operation of the designed systems. Our proposed Enterprise Component Integration System (eCIS) project leverages the following:(i) An emerging System-Level Design Language (SLDL), Rosetta, (ii) EDAptive s ongoing R & D in formal specification-based retrieval to accurately match requirements with existing functionality ,(iii) Balls Collaborative Enterprise Environment, and (iv) Dr. Perry Alexanders expertise in formal methods, especially adaptation techniques.As a result, this effort will focus on research & development of adaptation techniques since other pieces of the solution either already exist or are being currently developed by our team members. Further, we will use the results of this effort (Phase I and II) to incrementally demonstrate synthesis of a web-based data analysis system.