TIOA Front End

image of 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.

Valid XHTML 1.0 Strict Valid CSS!