Search Results for "virtual machine java"

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...

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

LiteASM is a light weight and reconfigurable Assembly language compiler and Virtual Machine. It is specially design for embedded systems to use as a portable script interface.

SCADA software based on Windows Platform. View;Kernel;Virtual Driver Layer;Virtual Machine;Pascal Compiler;Memory Database;Graphic Library;Scripts Function Library and so on. Developed by C++, supports Windows XP/Windows CE6.0/Windows Mobile

Simplify build and use of software emulated board, using a configuration textual file.