STATEMATE: a working environment for the development of complex reactive systems

Authors:
David Harel;Hagi Lachover;Amnon Naamad;Amir Pnueli;Michal Politi;Rivi Sherman;Aharon Shtull-Trauring;Mark Trakhtenbrot
Affiliations:
i-Logix Inc., Burlington, MA;i-Logix Inc., Burlington, MA;i-Logix Inc., Burlington, MA;i-Logix Inc., Burlington, MA;i-Logix Inc., Burlington, MA;i-Logix Inc., Burlington, MA;i-Logix Inc., Burlington, MA;i-Logix Inc., Burlington, MA
Venue:
Readings in hardware/software co-design
Year:
2001

Citing 11
Cited 0

The transformation schema: An extension of the data flow diagram to represent control and timing

IEEE Transactions on Software Engineering
Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends

Current trends in concurrency. Overviews and tutorials
Statecharts: A visual formalism for complex systems

Science of Computer Programming
Strategies for real-time system specification

Strategies for real-time system specification
On visual formalisms

Communications of the ACM
Software process modeling: principles of entity process models

ICSE '89 Proceedings of the 11th international conference on Software engineering
On the development of reactive systems

Logics and models of concurrent systems
Building a visual designer's environment

Principles of visual programming systems
Structured Development for Real-Time Systems

Structured Development for Real-Time Systems
Introduction To Automata Theory, Languages, And Computation

Introduction To Automata Theory, Languages, And Computation
Optimal implementation of conjunctive queries in relational data bases

STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper provides an overview of the STATEMATE system, constructed over the past several years by the authors and their colleagues at Ad Cad Ltd., the R & D subsidiary of i-Logix, Inc. STATEMATE is a set of tools, with a heavy graphical orientation, intended for the specification, analysis, design, and documentation of large and complex reactive systems, such as real-time embedded systems, control and communication systems, and interactive software or hardware. It enables a user to prepare, analyze, and debug diagrammatic, yet precise, descriptions of the system under development from three interrelated points of view, capturing structure, functionality, and behavior. These views are represented by three graphical languages, the most intricate of which is the language of statecharts [4], used to depict reactive behavior over time. In addition to the used of statecharts, the main novelty of STATEMATE is in the fact that it "understands" the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous executions and simulations of the described system, and to create running code automatically. These features are invaluable when it comes to the quality and reliability of the final outcome.