Automatic generation of behavioral specification in autonomic systems timed reactive model

The Autonomic Reactive System Timed Reactive Model (AS-TRM) is the merging of two fields: Real Time Reactive Systems and Autonomic Systems. Autonomic Systems is a new research area conceived to deal with the growing complexity of nowadays Information Technology infrastructures. Time Reactive Systems are complex systems that interact with their environment using a stimulus-response behavior under strict timing constraints. The AS-TRM approach consists in generating a new breed of systems provided with autonomic self-management capabilities. Timed Reactive Object Model (TROM) formalism developed at Concordia University has been extended to model the reactive behaviour in autonomic systems. This thesis work is aimed at assessing the control on the behavioral correctness of the Autonomic Reactive Component layer in AS-TRM. An algorithm for generating an exhaustive behavior of an autonomic reactive component is presented; the algorithm guarantees the correctness of the component's behavioural specification by building the correct behaviour, timing constraints and system policies into the generated output. The specification of such behaviour is applicable to a variety of self-monitoring purposes concerning the autonomic reactive system control. Additionally, a method for assessing the critical time performance (minimum and maximum time delay) from the behavioural specification is provided. The methodology is illustrated on a case study