Overview

HTTPS SSH
---------------------
AdaptEr - An Innovative Runtime Adaptation Tool for Erlang Programs.
---------------------

Contributors
-----------------------------------------------------
       Name: Ian Cassar      
      Email: ian.cassar.10@um.edu.mt     
Institution: University of Malta
-----------------------------------------------------
       Name: Adrian Francalanza      
      Email: adrian.francalanza@um.edu.mt     
Institution: University of Malta
-----------------------------------------------------

Why should we use AdaptEr?
--------------------------------
Software solutions tend to become very complex over time to the extent that at one point developers would start finding it difficult to realise which system behaviour should be considered to be CORRECT and which behaviour should be considered as INCORRECT. Furthermore, some highly-available Software systems such as servers, may also require suffering from a LIMITED DOWNTIME. This entails that repairing erroneous system behaviour must ideally be made by imposing minimal disruptions on the system.
 
AdaptEr is a Runtime Adaptation tool that allows you to define:
	1) SEQUENCES of system actions which are considered as INCORRECT -- We commonly refer to these action sequences as BEHAVIOURAL PROPERTIES (or Properties for short);
	2) ADAPTATIONS for MITIGATING the detected incorrect behaviour WHILE THE SYSTEM EXECUTES!!

AdaptEr offers a number of adaptations for RESTARTING ACTORS, TERMINATING ACTORS, PURGING MAILBOXES, and others!!

Adapter was developed by extending an existing Runtime Verification tool called DetectEr, as part of an M.Sc (ICT) in Computer Science conducted by Ian Cassar under the supervision of Dr. Adrian Francalanza.