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).
|Title of host publication
|Software Engineering - ESEC/FSE 1997 - 6th European Software Engineering Conference with 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Proceedings
|Mehdi Jazayeri, Helmut Schauer
|Number of pages
|Published - 1997
|6th 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 1997 → Sep 25 1997
|Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
|6th European Software Engineering Conference Held Jointly with 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 1997
|9/22/97 → 9/25/97
Bibliographical notePublisher Copyright:
© Springer-Verlag Berlin Heidelberg 1997.