Polyglot: Modeling and Analysis for Multiple Statechart Formalisms
Author
Abstract

In large programs such as NASA Exploration, multiple systems that interact via safety-critical protocols are already designed with different Statechart variants. To verify these safety-critical systems, a unified framework is needed based on a formal semantics that captures the variants of Statecharts. We describe Polyglot, a unified framework for the analysis of models described using multiple Statechart formalisms. In this framework, Statechart models are translated into Java and analyzed using pluggable semantics for different variants operating in a polymorphic execution environment.

Year of Publication
2011
Conference Name
International Symposium on Software Testing and Analysis (ISSTA)
Date Published
07/2011
Conference Location
Toronto, Canada
Attachments
Document
Google Scholar | BibTeX | XML