Search Results for "squashfs-tool"

RKH is a generic, flexible, modular, highly portable, ANSI-C compliant, and open-source development tool for implementing hierarchical state machines based on modern state machine concepts. 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. ...

...Please download the tutorial for step-by-step instructions on installing and using the tool. It is advised to use 32-bit version (Eclipse) associated in the "MGSyn supplementary files", as the 64-bit version will by default demand huge memory, which may lead to Java exceptions.

a flexible serial logging tool, runs on GNU/Linux, which can be useful for timing analysis and logging capture of embedded system development.

A Linux tool for the MikroElektronika (www.mikroe.com) AVRprog2 programming hardware. We have migrated to Github! https://github.com/avrprog2/avrprog2-code

A cross platform GUI configuration tool for Ciseco XRF radio devices accessed over serial or USB. This product is produced independently from Ciseco, and carries no guarantee from Ciseco about quality, suitability or anything else. The supplier of this product assumes all responsibility for it.

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 !!

JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. ...

OOBD supports a self-programable Tool for Vehicle Onboard Diagnostics (OBD) for various platforms like the Windows-Desktop, mobile Phones and Smartphones Please note that we are actual moving this project over to oobd.googlecode.com. The software source code repository is already moved, other areas will follow.

fslurp is a program to pull the data from a Fronius inverter systems via a serial port connection. It supports both single and multiple inverter systems through the Interface Card Easy and the Fronius Interface Card/DataLogger Box. Fronius Sensor Card devices are also supported. It supports both human-readable and delimited (CSV-style) text output. Sample output can be seen by building project and exercising one of the test simulator targets (e.g. simIFCEasy). It is written in...

This is a simple command line tool to customize CP2103 USB to UART bridge controllers in home-grown hardware. VID, PID, product name string, serial number string, and release version of the device can be changed next to GPIO port modes.

VOSP is the vslash.com OS Profiler and Delivery Management Facilities. This is a tool helping engineers to build quickly their own OS distribution set. It feature profiles management, releases build and packages handling ; usefull for embedded system.