Statemate
Statemate is a software development environment that was developed for the design of complex, reactive systems. The graphic modeling tool is used to develop embedded systems in order to simplify their development.
Statemate was designed by the I-Logix company and is widely used in the automotive and aerospace industries. The central model of Statmate are state machines and are based on an implementation by the computer scientist David Harel , co-founder of the I-Logix company.
Basic concept
The basic concept of Statemate is the modeling of a reactive system through activities whose behavior is described by generalized finite automata. Data items, events, actions and conditions serve as additional language tools in addition to control and data flow diagrams .
Statemate is a collection of concepts and description languages and the software tools based on them . These are graphic editors with a code generator and a graphic animation environment. Likewise, a simulator that works with either a synchronous or an asynchronous time model. Recursively nested, directed graphs serve as a common basis for graphic description languages . This means that a node of a graph can in turn contain a graph. The information that cannot or only poorly be displayed in the graphic description languages is recorded in so-called forms.
High level programming language
Statemate is a graphical high level programming language for very much extended, finite automata. Since a formal syntax and formal semantics are included, the drafts created with it can be tested for completeness and correctness before the first line of code is written.
The integration of graphic tools creates a realistic input and output interface for the system to be created. This enables the previous development to be checked, making Statemate suitable for prototyping .
Advantages and disadvantages of Statemate
The advantage of the software development environment is the possible test phase of the behavior of the system to be developed during the design phase.
A disadvantage of Statemate is the lack of visibility rules and the inability to allocate generated documents in the individual phases of software development. Since a modularization is not supported, Statemate is also not suitable for the use of component-based development.
Web links
- Modeling with Statemate Technical University Braunschweig - German
Individual evidence
- ^ Formal analysis and verification of Statemate - drafts oldenbourg-link.com - accessed on March 26, 2013.
- ^ Statemate - A Working Environment for the Development of Complex Reactive Systems bears.ece.ucsb.edu - accessed on March 26, 2013.
- ^ Statemate - description of the tool software-kompetenz.de - accessed on March 26, 2013.
- ↑ Component-based development of embedded systems (KEES) - University of Stuttgart elib.uni-stuttgart.de - accessed on March 26, 2013.