Real-time supervisor modeling for telecom systems
A.M.daS. Filho, J. Saito, Itana Maria de Souza Gimenes · 2003
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.