Architecture for Reactive Autonomic Systems

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 can simplify and enhance the end-users experience by anticipating their needs in a complex, dynamic, and uncertain environment. This book 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 book presents the following: 1) defining AS-TRM’s characteristics to determine the requirements, design, and implementation of reactive autonomic systems; 2) building AS-TRM’s architecture as well as communication mechanism to implement both autonomic and real-time reactive functionalities; 3) modeling AS-TRM’s reliability assessment to monitor its evolution.