Real-time supervisor modeling for telecom systems

This paper presents software supervision as a technique for indirect software reliability improvement of telecom systems. Software supervision consists of monitoring both the inputs and outputs of a target system and checking them against the target system´s specification. All discrepancies between observed sequences of signals and the target system´s specification are reported as failures. The paper aims at showing how to use Statecharts as a formal technique to specify supervision models to telecom systems software specified in SDL (Specification and Description Language). Moreover, the Statecharts-based Supervisor Modeling, called SSM, has been developed, which allows the derivation of supervision models