Stateflow

Stateflow

Stateflow is an interactive design and simulation tool for event-driven systems that was developed by The MathWorks. Stateflow provides the language elements required to describe complex logic in a natural, readable, and understandable form. It is tightly integrated with MATLAB and Simulink, providing an efficient environment for designing embedded systems that contain control, supervisory, and mode logic.

Stateflow charts enable the graphical representation of hierarchical and parallel states and the event-driven transitions between them. Stateflow augments traditional Harel statecharts with the capabilities of control flow, MATLAB and graphical functions, truth tables, temporal operators, directed-event broadcasting, and support for integrating hand-written C code.

External links

* [http://www.mathworks.com/products/stateflow/ Stateflow product page]
* [https://tagteamdbserver.mathworks.com/ttserverroot/Download/35681_9397v07_Stateflow_web.pdf Stateflow data sheet]

Conference/Academic papers

* [http://www.mathworks.com/mason/tag/proxy.html?dataid=6801&fileid=28434 Requirements-Based Testing in Aircraft Control Design]
* [http://www.mathworks.com/mason/tag/proxy.html?dataid=6804&fileid=28446 Software Development Principles Applied to Graphical Model Development]
* [http://www.mathworks.com/mason/tag/proxy.html?dataid=4478&fileid=16878 Embedded Steer-by-Wire System Development]
* [http://www.springerlink.com/index/R607455525L62N15.pdf Operational Semantics of Stateflow]
* [http://www.isis.vanderbilt.edu/publications/archive/Agrawal_A_3_27_2004_Semantic_T.pdf Semantic Translation of Simulink/Stateflow]
* [http://portal.acm.org/citation.cfm?id=1086228.1086260 Denotational Semantics for Stateflow]

Legal notice

MATLAB, Simulink, Stateflow, Handle Graphics, Real-Time Workshop, and xPC TargetBox are registered trademarks of The MathWorks, Inc.


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Stateflow — ist ein interaktives Design und Simulationstool für ereignisgesteuerte Systeme. Es wird von The MathWorks entwickelt. Stateflow stellt Modellierungs und Beschreibungselemente zur Verfügung, mit denen komplexe Abläufe und Verknüpfungen in einer… …   Deutsch Wikipedia

  • Control logic — is a key part of a software program that controls the operations of the program. The control logic responds to commands from the user, and it also acts on its own to perform automated tasks that have been structured into the program. [1] Model of …   Wikipedia

  • Finite-state machine — State machine redirects here. For infinite state machines, see State transition system. For fault tolerance methodology, see State machine replication. SFSM redirects here. For the Italian railway company, see Circumvesuviana. A finite state… …   Wikipedia

  • Simulink — Infobox Software name = Simulink caption = Simulink, running a simulation of a thermostat controlled heating system. developer = The MathWorks latest release version = R2008a latest release date = release date|2008|03|01 operating system = Cross… …   Wikipedia

  • Model-based testing tools — This page lists tools for model based testing in alphabetic order. * [http://www.all4tec.net/index.php?option=com content task=blogcategory id=5 Itemid=75 lang=en All4Tec MaTeLo] is a model based testing tool and an automatic test generator. *… …   Wikipedia

  • Matlab — R2008a Screenshot …   Deutsch Wikipedia

  • List of programming languages — Programming language lists Alphabetical Categorical Chronological Generational The aim of this list of programming languages is to include all notable programming languages in existence, both those in current use and historical ones, in… …   Wikipedia

  • The MathWorks — Infobox Company | company name = The MathWorks, Inc. company company type = Private company slogan = Accelerating the pace of engineering and science foundation = December 7, 1984 location city = Natick, Massachusetts location country = United… …   Wikipedia

  • Merge (revision control) — Merging (also called integration) in revision control, is a fundamental operation that reconciles multiple changes made to a revision controlled collection of files. Most often, it is necessary when a file is modified by two people on two… …   Wikipedia

  • Model-driven engineering — (MDE) is a software development methodology which focuses on creating and exploiting domain models (that is, abstract representations of the knowledge and activities that govern a particular application domain), rather than on the computing (or… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”