User-Defined Critics for Software Adaptation

"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 (SystemCritics) program will apply: Rosetta, the SLDL; SyscapeT, the block diagram editor; and VectorGenT, the test vector generator, to provide the ability to enter system information, error conditions, and repairstrategy; generate tests to detect when error conditions occur; and act to correct those error conditions. Specifically, we propose to use Rosetta, the Systems Level Design Language (SLDL), to describe the system state in its full functionality, errorconditions, and repair strategies; Syscape, the systems level block diagram editor, to enter this information graphically; VectorGen, our test vector generator, to create tests to detect if a part of the system is not functioning properly and to identifywhat that part is; and the Rosetta Execution Engine (REE) to take the specifications in Rosetta and produce an execution of the system specifications and the error strategies. The result of this solution will provide a complete mechanism for definingcritics that describe self-correcting systems and implementing them. This technology could enhance any software system that requires frequent updates or varied specializations. Initial focus will be