Compositional specification of embedded systems with statecharts (1987).

Content Provider	CiteSeerX
Author	Philipps, Jan Scholz, Peter
Abstract	. During the last years, Statecharts have gained wide acceptance for the specification of reactive, embedded systems. However, most semantics suggested so far are either informal or hard to grasp. In this contribution, we present a Statecharts dialect that permits nondeterministic specifications, offers zero-delay broadcast communication, and handles negation in trigger expressions in a new way. We give a compositional formal semantics for this dialect, which is abstract enough for formal reasoning and yet easy to operationalize for simulators, model checking tools and code generation. 1 Introduction Statecharts [6] are a visual specification language proposed for specifying reactive systems. They extend conventional state transition diagrams with structuring and communication mechanisms. Since there is also tool support through Statemate [11], Statecharts have become quite successful in industry. However, the semantics of Statecharts used in Statemate [7] is based on a dela...
File Format	PDF
Publisher Date	1987-01-01
Access Restriction	Open
Subject Keyword	Embedded System Compositional Specification Wide Acceptance Tool Support Introduction Statecharts Conventional State Transition Diagram Communication Mechanism Model Checking Tool Reactive System Trigger Expression Formal Reasoning Visual Specification Language Nondeterministic Specification Code Generation Last Year Compositional Formal Semantics New Way Statecharts Dialect Zero-delay Broadcast Communication
Content Type	Text