Eva/uation of Suitability of Statecharts to Real-Time Supervision for the lmprovement of Telecom System Reliabi/ity
- A. M. da Silva Fllho
- Thesis, Dept. of Electrical and Computer…
1bis paper preseDIS a discussion of usiog software supervision as a means of improving the software reliabillty of reactive systems during lhe in-use phase. Supervision software CODSists of monitoring both lhe inputs and outputs of a target system and checlcing them against lhe target system's specificalion. Ali disaepancies between observed sequenc:es of signals aod lhe target system • s specificalion are reported as failures. The emphasis of this paper is on shOwing lhe suitability of using Statecharts as a foonal tochnique to spedfy lhe reactive system supervisor. The target reactive system is assumed to be specified iD SDL (Specification aod Desaiption Laoguage). Stalecharts-based Supervisor Mcxkling (SSM) is presented by using examples. As well, beoefits ofthis approach are discussed.