PREESM provides a complete framework for fast prototyping. It generates a simulation and an optimized multiprocessor code from graph descriptions of algorithm and architecture. Please visit the project homepage at http://preesm.sourceforge.net.
A 100% pure Java Swing ASN.1 analysis utility for inspecting arbitrary BER-encoded data files. It allows inspection of data with unknown structure, can drill down to any nesting level and allows to interpret embedded OCTET STRING data recursively.
itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms.
Visit http://www.statecharts.org for more information!
!! YAKINDU SCT HAS MOVED !!
DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
EasyCP is a modern, user-friendly C++ library that lets you use constraint programming in a very natural way, taking advantage of its expressive power.
Just model and let the CSP (Constraint Satisfaction Problem) solver do the job !
The embedded Finite State Machine (FSM) Facility that can be used to model and control a reactive or stateful system. The system can be represented by any number of states. State transitions are driven by a number of events. eFSM is written in C.
MOCASEngine is a java UML state machine engine library for executing embedded UML state machine models. MOCASEngine works with Eclipse EMF. It has a full support of composite/orthogonal states, completion transitions, guard, hierarchy of signals, ...
The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.