Search Results for "manufacturing"

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

G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.

Petri-LLD is a graphical development environment for real-time automation control and is written in Java. It is based on a form of Petri net, and compiles to a number of programmable logic controller (PLC) languages as well as Java and Visual Basic.

GeneSim is a code generator for dynamic systems: it takes an XML description of the system and produces the code that executes it. The typical usage of GeneSim is to generate simulators of engineering systems.

MUgen is an emulator generator which works in a way similar to yacc. It takes an input machine description and outputs a source file which is a fully implemented emulator of that system. This is the open-source system.

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.

This project consists from a java based framework to create barcode images (EAN13, EAN8, UPCA, UPCE, Code 3 of 9, Codabar, Code 11, Code 93, Code 128, MSI/Plessey, Interleaved 2 of 5, PostNet, etc).

Moved to Google Code, see http://code.google.com/p/pythonequations/downloads/list

PYthon to ASsembler TRAnslator. At this moment supports Microchip PIC16 instruction set only. Its main goals are: to support a wide range of microcontrollers and processors, to generate compact and effective code.

Intend to reproduce most of the conversational programming functionality of the Fagor 8055TC lathe controller. Web browser interface for easy portability between different OS. Visit project web-site for demo.

A set of tools and utilities that allow development teams to practice code generation techniques in a scalable and extensible manner. This is based on the style of code generation found in Ruby on Rails.

Java Fuzzy Editor is a basic editor to allow creation of fuzzy based rules. It will save to serveral formats including to source code in several languages.

SIMACH is a Emulator Development Kit. The goal is to develop a IDE that'll allow a developer to easily write and debug a highly portable emulator, automaticly generating code to the destination plataform.

Adatoccpptranslator is a software developped in C++ for Linux, Solaris and Windows which convert Ada 83/95 source code to comprehensive, maintenable C/C++ source code by preserving the readibility and the structure of original code

A framework for highly customisable e-commerce: A system for automatically build an e-commerce interface supporting product´s contraints and properties.

Provide a flexible, scalable and extensible EAI (enterprise application integraion) solution.

Drivers Template Library for WinNT/2K(ME)/XP. At this time required VCC 6.0(5.0) and DDK.

jUDO (java Universal Data Objects) handles coding against a database Independent of database (plugins for db2/Oracle/Cloudscape/mysql/mysql etc).The code is generated "runtime" , just give the method names and jUDO derives the code/sql.