UPPAAL is an integrated tool environment for modeling, validation, and verification of real time systems, modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.). Typical application areas include real time controllers and communication protocols, in particular those where timing aspects are critical.
Astro Battle is an online multiplayer space simulation game where players can design and pilot their space ships against each other. The spaceships are made up of modules. Modules are components that contribute some ability or property to the spaceship as a whole. Some examples of modules are bridges, thrusters, cannons, torpedo bays, reactors, and batteries. A Player can join an arena by challenging another player to a space duel or by joining a dedicated server (which can host several players at a time). Astro Battle also has a practice arena for testing ship designs offline.
DigitizeIt digitizes scanned graphs and charts. Graphs can be loaded in nearly all common image formats (including gif, tiff, jpeg, bmp, png, psd, pcx, xbm, xpm, tga, pct), pasted from the clipboard, or imported via a screenshot. Digitizing of line and scatter plots occurs automatically, and manual digitizing via mouse clicks is also possible. Data values are transformed to a specified axes system and can be saved in ASCII format, ready to use in many other applications such as Microcal Origin or Excel. Axes can be linear, logarithmic, or reciprocal scale. Multiple data sets can be defined and edited. Tilted and distorted graphs can be handled. Comprehensive online help is included. Java 1.4 is required.
Seminole Webserver is a portable Web server designed to be used in embedded systems, where memory space is at a premium. It is written in C++, and has a mechanism to direct requests to application-specific code, complete with the decoding of "CGI" parameters. It also includes a "filesystem" that can package up Web content (and optionally compress it) and store it in a ROM or other "flat" device. It comes with a simple example to make it a standalone Webserver under POSIX platforms for evaluation and testing.
ChipVault is a chip development program for organizing VHDL and Verilog designs. ChipVault displays designs hierarchically and provides for rapid design navigation and editor launching. ChipVault provides hooks for performing bottom-up tasks such as launching RTL compilers, synthesis, block generation and instantiation, and includes simple to use Revision Control and Issue Tracking systems to help facilitate large group design projects with multiple designers and hundreds of design files. ChipVault is written in Perl and is small, fast, and efficient.
The NumericalChameleon converts numbers with a precision of up to 1000 significant figures. It supports more than 3200 units in 82 categories, including lengths, areas, volumes, durations, bits & bytes, angles, temperatures, exchange rates, Roman numerals, spoken numbers, all 35 radixes, unicode, colorcode, int. dial codes, timezones, date calculations and more. You have unlimited access for adding, modifying, and deleting categories, units, and icons. Update exchange rates with the GUI or at the command line. All configuration data are stored in flat files.
McStas is a computer program (written in C) that enables you to model very precisely a neutron instrument described as a series of various components. A source component shoots each neutron randomly (Monte-Carlo), and the particle is then propagated through the different instrument components. These later act on the neutron characteristics (position, speed, direction, spin, etc.). Usually, one installs some detectors along the neutron path to monitor its characteristics and flux.
SaVi is satellite visualization software that lets you create, run, examine, and modify satellite orbits in two and three dimensions. Simulations of Iridium, Globalstar, Galileo, GPS, and other satellite constellations are included. SaVi requires Tcl and Tk on a system with Unix libraries. SaVi works well with the 3D renderer Geomview. Geomview is optional, though recommended for its 3D rendering capabilities.