Reduction and slicing of hierarchical state machines

Research output: Chapter in Book/Report/Conference proceedingConference contribution

17 Scopus citations

Abstract

Formal specification languages are often criticized for being difficult to understand, difficult to use, and unacceptable by software practitioners. Notations based on state machines, such as, State-charts, Requirements State Machine Language (RSML), and SCR, sue suitable for modeling of embedded systems and eliminate many of the main drawbacks of formal specification languages. Although a specification language can help eliminate accidental complexity, the inherent complexity of many of today’s systems inevitably leads to large and complex specifications. Thus, there is a need for mechanisms to simplify a formal specification and present information to analysts and reviewers in digestible chunks. In this paper, we present a two tiered approach to slicing (or simplification) of hierarchical finite state machines. We allow an analyst to simplify a specification based on a scenario. The remaining behavior, called an interpretation of the specification, can then be sliced to extract the information effecting selected variables and transitions. To evaluate the effectiveness and utility of slicing in hierarchical state machines, we have implemented a prototype tool and applied our slicing approach to parts of a specification of a large avionics system called TCAS II (Traffic alert and Collision Avoidance System II).

Original languageEnglish (US)
Title of host publicationSoftware Engineering - ESEC/FSE 1997 - 6th European Software Engineering Conference with 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Proceedings
EditorsMehdi Jazayeri, Helmut Schauer
PublisherSpringer Verlag
Pages450-467
Number of pages18
ISBN (Print)3540635319, 9783540635314
DOIs
StatePublished - 1997
Event6th European Software Engineering Conference Held Jointly with 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 1997 - Zurich, Switzerland
Duration: Sep 22 1997Sep 25 1997

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1301
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other6th European Software Engineering Conference Held Jointly with 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 1997
CountrySwitzerland
CityZurich
Period9/22/979/25/97

Fingerprint Dive into the research topics of 'Reduction and slicing of hierarchical state machines'. Together they form a unique fingerprint.

Cite this