Cerebral Malaria is a neurological complication caused by the plasmodium falciparum malaria. Therefore quality and prompt treatment in addition to fault tolerance is necessary due to critical safety. The use of formal specification creates a formal approach for specifying the underlying functions and properties of the cerebral malaria system. This paper has attempted to give a formal description of the activities cerebral malaria system Using Zed notations. The interaction within the system is visualized using Unified Modelling Language (UML) sequence diagrams.
Download PDF:
