A rigorous approach for constructing self-evolving real-time reactive systems

Self-evolving systems adapt themselves automatically to changing external situations and internal conditions. This paper proposes an architecture with four components, that, respectively, provides the infrastructure for formal architectural modeling of the evolving system, reuse of design elements, predicting the reliability of evolution, and managing change. The tools in TROMLAB, a framework for developing real-time reactive systems support and sustain the evolution of system components.