Formal specification of fault management system using O-Estelle

The authors discuss the formal description of a real time application, viz a fault management system (FMS) for the OSI environment, using O-Estelle. O-Estelle is an object oriented specification language that has been proposed by the authors for describing real time applications (Prabhakaran and Ragahvan, 1990). O-Estelle is an Estelle based language with extended features. A distributed FMS is a set of fault managers running concurrently on several systems. It is the responsibility of the fault manager (FM) on each system to detect, isolate and possibly rectify the faults in the system. Management services are provided to the FM to perform its tasks and to communicate with FMs on other systems. The formal description of such a distributed application requires additional features in description languages like Estelle. O-Estelle description of the FMS can be used for protocol verification and semiautomatic generation of software for FMS