CHIC 1.2, a modular verifier for behavioral compatibility of software and hardware component interfaces. (05/30/08)
Ptolemy II 7.0, a block diagram editor and simulator for
continuous-time, hybrid and data flow systems. (2/7/08)
SKETCH 0.9.5 is a sketching system based on combinatorial search, as opposed to transformations. (4/23/07)
Viptos 1.0.2, a block-diagram editor and simulator for
TinyOS systems. (2/9/07)
CIL is a front-end for the C programming language that facilitates program analysis and transformation. (2/5/07)
Ptolemy II 6.0.2, a block diagram editor and simulator for
continuous-time, hybrid and data flow systems. Ptolemy II included updates of:
VisualSense, a visual editor and simulator for wireless sensor network systems and
HyVisual, a block-diagram editor and simulator for
continuous-time and hybrid systems.
(2/04/07)
Ptplot 5.6, a signal plotter. (1/15/07)
Ellipsoidal Toolbox 1.1 is a standalone set of easy-to-use configurable MATLAB routines to perform operations with ellipsoids and hyperplanes of arbitrary dimensions. (12/10/06)
Generic Modeling Environment (GME 6.11.9) is a configurable toolkit for creating domain-specific modeling and program synthesis environments. (12/1/06)
Graph Rewriting And Transformation (GReAT 1.6.0) is a component technology of GME comprised of a metamodel based graph transformation language useful for the specification and implementation of model-to-model transformations. (12/1/06)
Universal Data Model (UDM 3.1.1) generates C++ API from UML class diagrams. The API can be used to read/write XML files, GME databases, etc. and is component technology for Graph Rewriting And Transformation (GReAT). (12/1/06)
Metropolis 1.1.2
consists of an infrastructure, a tool set, and design methodologies
for various application domains. The infrastructure provides a
mechanism such that heterogeneous components of a system can be
represented uniformly and tools for formal methods can be applied
naturally. (10/12/06)
COSI: the COmmunication Synthesis Infrastructure The COSI project aims at providing an infrastructure to assist designer in the difficult task of interconnecting components. (3/15/06)
Hierarchical Timing Language (HTL)Compiler and E-Machine HTL is a programming language for hard real-time systems. (2/10/06)
Giotto, a methodology for embedded control systems development. (10/28/04)
