On Deriving Statecharts Supervision Models from SDL Specifications Using SSM

  • Antonio Mendes da Silva Fllho
  • Published 2012

Abstract

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.

Cite this paper

@inproceedings{Fllho2012OnDS, title={On Deriving Statecharts Supervision Models from SDL Specifications Using SSM}, author={Antonio Mendes da Silva Fllho}, year={2012} }