Polyglot: systematic analysis for multiple statechart formalisms

Authors:
Daniel Balasubramanian;Corina S. Păsăreanu;Gábor Karsai;Michael R. Lowry
Affiliations:
Vanderbilt University;Carnegie Mellon Silicon Valley;Vanderbilt University;NASA Ames
Venue:
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Year:
2013

Citing 11
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Constructing multi-formalism state-space analysis tools: using rules to specify dynamic semantics of models

ICSE '97 Proceedings of the 19th international conference on Software engineering
Patterns in property specifications for finite-state verification

Proceedings of the 21st international conference on Software engineering
Template Semantics for Model-Based Notations

IEEE Transactions on Software Engineering
Interface Generation and Compositional Verification in JavaPathfinder

FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Symbolic PathFinder: symbolic execution of Java bytecode

Proceedings of the IEEE/ACM international conference on Automated software engineering
Polyglot: modeling and analysis for multiple Statechart formalisms

Proceedings of the 2011 International Symposium on Software Testing and Analysis
A component model for hard real-time systems: CCM with ARINC-653

Software—Practice & Experience
Prescriptive semantics for big-step modelling languages

FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Integrating statechart components in polyglot

NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Improving symbolic execution for statechart formalisms

Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Polyglot is a tool for the systematic analysis of systems integrated from components built using multiple Statechart formalisms. In Polyglot, Statechart models are translated into a common Java representation with pluggable semantics for different Statechart variants. Polyglot is tightly integrated with the Java Pathfinder verification tool-set, providing analysis and test-case generation capabilities. The tool has been applied in the context of safety-critical software systems whose interacting components were modeled using multiple Statechart formalisms.