Specification and Modeling of Reactive Real-Time Systems

Edward A. Lee

Resources

This is an evolving list. Please send contributions to eal@eecs.berkeley.edu.

• Aachen University of Technology, research on design of complex information processing systems.
• Ada, a language supporting concurrency with RPC-based rendezvous.
• AltaVista internet search engine.
• ARGOS a graphical hierarchical finite-state machine language.
• Berkeley CAD Group.
• CORBA, an object-oriented standard for software modularization.
• Dilbert Comic.
• Discrete Event Systems Newsletter.
• Esterel, a synchronous language with concurrency and imperative semantics.
• GRAPE, a dataflow software environment for signal processing.
• IEEE Computer Society, TC on Real-Time Systems.
• IMEC, Interuniversity Microelectronics Center in Leuven, Belgium.
• INRIA, the French National Institute for Research in Computer Science and Control
• Interval Research Corporation, a research organization with a number of interesting projects.
• ITCL, an object-oriented extension to Tcl.
• JAVA, an object oriented language with concurrent processes).
• Khoros, a dataflow software environment for image processing.
• LEDA, an object oriented toolbox with graph manipulations.
• LOTOS - CADP (a toolbox for protocol engineering dedicated to the LOTOS language)
• LOTOS action's Home Page
• Maple, a symbolic algebra environment.
• Mathematica, a symbolic algebra environment.
• MATLAB, a matrix laboratory.
• MEIJE Project, concurrent process calculi and real-time systems.
• Nelsis, a CAD framework.
• NetLIB, archive of Fortran and C routines for optimization, etc.
• Octave, a "free" Matlab look-alike.
• Perl, a text processing language.
• Posix threads.
• Ptolemy, a software environment supporting multiple models of computation.
• PVM, Parallel Virtual Machine.
• Rapide, concurrency models using partially ordered events.
• Real Time and Distributed Systems Group at Carleton University.
• Real-Time Operating Systems, Free and Non-Commercial.
• SciLab, scientific computation software.
• SDL, object-oriented, concurrent specification language for real-time systems.
• Seminar on Design, Modeling, and Specification of Systems
• STL, Standard Template Library for C++ (a library of useful classes).
• TCL/TK, a scripting language with a GUI toolkit.
• Tycho, a class library for building user interfaces.
• UNIX Reference Desk.