The Concurrency Factory
The Concurrency Factory is an
interactive and graphical environment for the
specification, simulation, verification, and implementation of concurrent and
distributed systems, such as communication protocols (e.g. tcp/ip) and process
control systems (e.g. avionics, nuclear and chemical plants).
The directors of The Concurrency Factory project are Profs. Rance Cleaveland and Scott Smolka).
The project also involves a number of Post-Doc,
Ph.D., Masters, and undergraduate students. The main
features of the Factory are a graphical user interface, a suite of analysis
routines for automatic verification, a graphical simulator, and a compiler that
transforms specifications into executable distributed code. The Factory is
written in C++ and Tcl/Tk so that it is efficient, easily extendible,
and portable.
We are looking for two to three MS students to work on the following
Concurrency-Factory-related projects:
- Redesign and reimplement the Factory's Graphical User Interface
using the new Qt GUI
software toolkit from Troll Tech, Inc. The student(s) taking on this project
will learn state-of-the-art techniques for developing CAD-tool-style GUIs.
- Design and implement an automatic C Code Generator that would
translate graphical specifications of concurrent systems into executable
C code, thereby
relieving the user of the burden of manually recoding their designs in
the target language of their final system. Code generation is a sophiticated
form of rapid prototyping.
-
Use the Concurrency Factory to analyze the IPv6 anycast protocol, and other
communication, security, and electronic commerce protocols.
A limited amount of funding is available, in the form of research
assistantship (RA) money, for talented students. So, please come see us at
your earliest convenience if you are interested in working on the Concurrency
Factory project. For more information on the Factory, contact Prof. Smolka
(sas) or see Xiaoqun Du (vicdu)
for a demo. Please also see the following URLs:
- http://www.cs.sunysb.edu/~concurr
- The Concurrency Factory homepage.
- http://www.cs.sunysb.edu/~clubconc
- Homepage for CSE 652 -- Seminar on Concurrency Theory and
Applications. CSE 652 is offered each semester by Profs. Smolka and
Stark.
- http://www.cs.sunysb.edu/~sas/sdcr/report/final/final.html
- A paper on Concurrency Theory and its Applications which appeared in a special issue of ACM Computing Surveys. Good background for the
Concurrency Factory project, but no need to read it all.
- http://www.cs.sunysb.edu/~sas/courses/cse635.html
- CSE 635 -- Asynchronous Systems homepage. We will be teaching CSE
635 in Fall '99.
- http://www.cs.sunysb.edu/~sas
- My homepage.