Search Results for "statechart"

...This modern techniques are used to give an abstract description of the dynamic behavior of a system in a substantial manner. The RKH not implements neither entire UML specs. nor entire Statechart specs. Instead, the RKH intention is to support just enough basic concepts of that powerful tools to facilitate the reactive-system modeling holding a solid, and efficient implementation. Broadly speaking, the RKH implementation has been designed from the ground up to be used in 8-bits platforms but can be easily adapted to 16 or 32-bits platforms.

STPATCGeneratorPlugin is an Eclipse plugin developed based on XSTAMPP architecture for the STPA TCGenerator tool which is developed by Asim Abdulkhaleq. Th plugin will integrate with XSTAMPP platform for safety engineering to allow the safety analyst to automatically generate the safety-based test cases for each STPA-generated software safety requirements which are derived during STPA safety analysis process.

Hierarchical state machines implementation in JavaScript heavily inspired by the QP active object framework, see http://www.state-machine.com/. See the README file for details. The implementation is JavaScript engine agnostic and works both in browsers and in NodeJS.

...!! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools

...AGAVE can be applied in different modeling languages, but so far has been implemented to verify Statecharts against Path-CTL properties. The tool takes as input two XML files, one representing the model of the system (Statechart) and one representing the property to verify (in Path-qCTL). The property is specified into a txt file. The tool return “true”, “false”, or “conditional”. In the conditional case, a set of constraints on transparent states is reported as well. AGAVE takes as input three files: Example1.xml contains the Statechart to be analyzed Example1Property.txt contains the property to be verified Example1InitialState.txt contains the initial values of the atomic propositions To run AGAVE download these three file plus AGAVE.jar in the same folder . ...

The framework implements UML statecharts in Java. Next to standard elements, hierarchical and concurrent states are as well supported as pseudostates, segmented transitions, timed events and an eventqueue for dispatching events asynchronously.

This is an Hierarchical State Machine (aka Statechart) engine written in Java (1.5 +) Actually we will develop only support for a subset of UML 2.0 semantics but, in future, we hope to add support for other semantics.