Complex Reactive Systems

Group Led by Dr. S. D. Dewasurendra

This laboratory supports the specification, verification, validation and fault diagnosis of complex reactive systems. This laboratory also serves as the laboratory for model-based design and testing of Cyber-Physical systems. Rationale

Automated high integrity reactive systems required in the control of defence (e.g., target-tracking system), automotive (e.g., traction-control system), rapid mass transport (e.g., collision avoidance system) and manufacturing (exception handling system) need formal specification and design tools. For these complex reactive systems, which continuously react to external stimuli (called events), we need methods and tools that permit specifying them in a precise, easy and safe way, maintaining traceability along the different phases of the design that facilitate analysis and verification of behaviour. Modularity, re-configurability and the notion of a formal specification are crucial considerations.

Current Themes

Current research students