RSS 2 projects tagged "Electronic Design Automation (EDA)"

Download Website Updated 08 Aug 2011 BeRTOS

Screenshot
Pop 101.34
Vit 5.19

BeRTOS is a real time operating system (RTOS) suitable for embedded platforms. It runs on many microprocessors and microcontrollers, ranging from 8-bit to 32-bit CPUs and even PCs.

Download Website Updated 10 Jun 2011 Platform Independent Petri Net Editor

Screenshot
Pop 72.28
Vit 5.90

Platform Independent Petri Net Editor (PIPE) creates and analyses Petri Nets quickly, efficiently, and effectively. A key design feature is the modular approach adopted for analysis, enabling new modules to be written easily and powerfully, using built-in data layer methods for standard calculations. Six analysis modules are provided, including Invariant Analysis, State-Space Analysis (deadlock, etc.), and Simulation Analysis and Classification. PIPE adheres to the XML Petri net standard (PNML). The file format for saving and loading Petri Nets is extensible through the use of XSLT, the default being PNML.

Screenshot

Project Spotlight

openModeller

An ecological niche modeling framework.

Screenshot

Project Spotlight

Barman for PostgreSQL

A backup and recovery manager for PostgreSQL.