Infobox Software name Stateflow screenshot Image Automatic Transmission Logic.png 300px caption Control logic for an automatic transmission system developer MathWorks latest release version R2011a latest release date release date 2011 04 07 operating system Cross platform ref http www.mathworks.com products stateflow requirements.html?s cid wiki stateflow 1 MathWorks Stateflow Requirements ref license Proprietary software Proprietary website http www.mathworks.com products stateflow?s cid wiki stateflow 2 Stateflow product page Stateflow , developed by MathWorks , is a control logic tool used to model reactive systems via state charts and flow diagrams within a Simulink model. Stateflow uses a variant of the finite state machine notation established by David Harel , enabling the representation of hierarchy, parallelism and history within a state chart. ref http www.robot.jussieu.fr webadmin files esm00.pdf Simulation of Hybrid Systems Using Stateflow ref Common Uses Stateflow is generally ... users rushby papers fase04.pdf An Operational Semantics for Stateflow ref Specific applications for Stateflow include Mode logic , where each discrete mode of a system is represented by a state ... Stateflow Models ref Fault management , where the Stateflow chart is used to control how ...?dataid 6801&fileid 28434&s cid wiki stateflow 3 Requirements Based Testing in Aircraft Control Design ref Task scheduling , where the Stateflow chart is used to schedule when specific tasks occur, either within the Stateflow chart or within the overall Simulink model ref http www.pages.drexel.edu ... Modeling Tips ref Extensions Stateflow can be used with other products to extend its capabilities beyond modeling and simulation. For example, using add on code generation products, a Stateflow user can automatically generate C, HDL, and PLC code from a Stateflow chart. References refs 2 Category Simulation programming languages Category Visual programming languages de Stateflow ... more details
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. ref cite web last Smith first S.E. title What Is Control Logic? url http www.wisegeek.com what is control logic.htm ref File Stopwatch chart.png thumb 250px right Model of a simple stopwatch ref http www.csl.sri.com rushby papers fase04.ps.gz Hamon, G., & Rushby, J. 2004 . An Operational Semantics for Stateflow. Fundamental Approaches to Software Engineering FASE pp. 229 243 . Barcelona, Spain Springer Verlag. ref Control logic can be modeled using a state diagram ref http www.csl.sri.com users tiwari papers stateflow.pdf Tiwari, A. 2002 . Formal Semantics and Analysis Methods for Simulink Stateflow Models. ref , which is a form of hierarchical state machine . These state diagrams can also be combined with flow graphs to provide a set of semantics for describing complex control logic. ref http citeseerx.ist.psu.edu viewdoc download?doi 10.1.1.89.8817&rep rep1&type pdf Hamon, G. 2005 . A Denotational Semantics for Stateflow. International Conference on Embedded Software pp. 164 172 . Jersey City, NJ ACM. ref This mix of state diagrams and flow graphs is illustrated in the figure on the right, which shows the control logic for a simple stopwatch. The control logic takes in commands from the user, as represented by the event named START , but also has automatic recurring sample time events, as represented by the event named TIC . DEFAULTSORT Control Logic Category Computing terminology es L gica de control ko pt L gica de controle Reflist ... more details
. For example, Stateflow extends Simulink with a design environment for developing state machines ... provides an environment to simulate and test Simulink and Stateflow models in real time on the physical ... HDL Coder , also from MathWorks , Simulink and Stateflow can automatically generate logic synthesis ... more details
rushby papers fase04.ps.gz Hamon, G., & Rushby, J. 2004 . An Operational Semantics for Stateflow. Fundamental ... Hamon, G. 2005 . A Denotational Semantics for Stateflow. International Conference on Embedded Softwa ... analysis for improving simulation coverage of simulink stateflow models.pdf Alur, R., Kanade, A., Ramesh ... Stateflow models. Internation Conference on Embedded Software pp. 89 98 . Atlanta, GA ACM. ref ... more details
notability date April 2010 refimprove date April 2010 Infobox Software name TargetLink developer dSPACE GmbH latest release version 3.2 2011 operating system Windows genre Production Code Generation license Proprietary website http www.dspace.de ww en pub home products sw pcgs targetli.cfm?nv n2 TargetLink TargetLink is software for automatic production code generation based on a subset of Simulink Stateflow models by dSPACE GmbH. TargetLink requires an existing MATLAB Simulink model. TargetLink generates both ANSI C ANSI C and production code optimized for specific processors. TargetLink also supports the generation of AUTOSAR compliant code for software components for the automotive sector. The management of all relevant information for code generation takes place in a central data container, called the Data Dictionary. Testing of the generated code is implemented in Simulink , which was also used for the specification of the underlying simulation models. TargetLink supports three simulation modes to test the generated code Model in the loop simulation MIL This mode allows the model design to be checked. An MIL simulation is also known as a floating point simulation, since the variables are typically floating point variables. Software in the loop SIL The simulation is based on the execution of generated code, which runs on a PC system. The variables are typically plain or fixed point numbers. Processor in the loop PIL In a PIL simulation, the generated code runs on the target hardware or on an evaluation board. So called real time frames are included, making it possible to transfer the simulation results as well as memory consumption and runtime information to the PC. The Motor Industry Software Reliability Association MISRA published official MISRA modeling guidelines for TargetLink in late 2007, ref cite web publisher MISRA url http www.misra.org.uk Publications tabid 57 Default.aspx title MISRA AC TL Modelling style guidelines for the application of TargetLink ... more details
lowercase Infobox software name xPC Target developer MathWorks latest release version 5.1 part of R2011b latest release date release date 2011 09 01 license Proprietary software Proprietary website http www.mathworks.com products xpctarget?s cid wiki xpctarget 1 xPC Target product page xPC Target is a Real time computing real time software environment from MathWorks . Together with x86 x86 based real time systems, it enables engineers to simulate and test Simulink and Stateflow models in an early as possible stage in real time on the physical hardware under test. The recommended development process is to design or model an algorithm or set of algorithms meant to be implemented in hardware in Simulink. This should also include modeling any plant hardware, environment or other phenomenon the algorithm needs to interact with. Simulations should be carried out using different ranges of inputs and design parameters to insure that the algorithm will operate as expected. Even with the best of efforts to produce the most realistic models and simulation, there are often unknown effects in the real world that still need to be investigated. xPC Target provides a real world intermediate step from the simulation world of Simulink and going to the actual hardware the algorithm will be running on. The model needs to be prepared first for these next steps by replacing models of the plant hardware, environment, and other phenomenon with hardware interface blocks that will communicate and capture feedback from these real world effects. Also the model needs to be set up with an overall fixed rate execution and solver. The whole model containing the algorithm, necessary hardware interface blocks, and other necessary model infrastructure are auto generated into C programming language C code , compiled with a third party compiler, and transmitted to the x86 based real time system running the MathWorks provided real time Kernel computing kernel . Now the model can be run in real time. The ... more details
Encyclopedia
top
