Abstract

Real-time reactive systems are some of the most complex systems, so the modeling and development of real-time reactive systems becomes a very challenging and difficult task. The TROMLAB framework makes this modeling and development easier and more rigorous by integrating the Timed Reactive Object Model (TROM) formalism with a practical development methodology. However, current TROM formalism does not have the appropriate mechanism for specifying distributed autonomic reactive systems, which systems can simplify and enhance the end-users experience by anticipating their needs in a complex, dynamic, and uncertain environment. This thesis is the first step towards extending TROM to Autonomic Systems Timed Reactive Model (AS-TRM) for modeling and supporting distributed, autonomic, and reactive behavior. The thesis presents the following: (1) extending TROM to AS-TRM for supporting distributed autonomic behavior; (2) defining AS-TRM's characteristics for determining AS-TRM systems' requirements, design, and implementation; (3) building AS-TRM's architecture and communication mechanism for implementing both autonomic and real-time reactive functionalities; (4) modeling AS-TRM's reliability assessment for monitoring AS-TRM's evolution