TIOA Front End
- Domain: Compilers
- Time Frame: Winter 2005 - Present
- Technologies: Java, ANTLR
- Contrabution: Implementation
- Collaborators: Laurent Michel, Steve Garland
- Description: The TIOA Front End comprises the parsing and syntactical analysis of the TIOA language. Timed Input/Output Automata is a modeling language for describing distributed systems. It has many unconventional constructions including, non-deterministic choices, differential equations, and function signatures with out implementations. Although the TIOA front-end does not implement direct code generation, it includes a rich plug-in interfaces. By creating a TIOA plug-in, third party developers can insert their own analysis of the TIOA program. A comprehensive restriction framework is available for plug-in developers to specify the subset of the TIOA language their analysis supports. The plug-ins currently available for the TIOA Front-End include a, simulator, model checker, and a PVS based theorem prover.
TIOA Workbench
- Domain: IDE, Eclipse Plug-In
- Time Frame: Spring 2006
- Technologies: Java, Eclipse Framework
- Contrabution: Design & Implementation
- Collaborators: Steve Garland
- Description: These days, programmers have come to expect the conveniences of modern integrated development environments (IDE). Fortunately, the Eclipse framework has encapsulated the heavy lifting of developing an IDE and provided a rich tool set to for any language. This project involved developing an Eclipse plug-in for the TIOA language. The implemented IDE features include syntax highlighting, code folding, content outline, automated compilation, and location specific error reporting.
Cameo
- Domain: Lighting Control
- Time Frame: Spring 2006 - Present
- Technologies: Java, JNI, Compilers
- Contrabution: Design & Implementation
- Project Page: www.cameocontrol.com
- Description: Cameo is a free lighting control program designed for small spaces and not for profit ventures. Its primary functionality is designed with theatrical lighting design in mind. The objective of Cameo is to provide any venue with a lighting console that has the core functionalities of a professional lighting console. The quality of lighting art is directly related to the power and reliability of the software used to control the lighting technology. Many not for profit theatres and high schools cannot afford a lighting console complex enough to provide their designers complete artistic freedom, Cameo hopes to bridge this financial gap so that no lighting designer's art will be inhibited by the budget of the theatre. Cameo requires the ENTTEC Open DMX USB Interface to connect to lighting hardware.
