PSDL ENVIRONMENT FOR REAL-TIME SPECIFICATION AND PROTOTYPING OF FORTRAN AND ADA 9X

Xinotech proposes to research and develop a knowledge-based, metalanguage-generated environment with homogeneous support for rapid prototyping of hard real-time embedded systems using Luqi's PSDL as the executable prototyping language and for the subsequent deployment to various distributed and parallel architectures using Ada 9X as the implementation language. The front-end tools will include the Xinotech Composer for syntax-directed construction, integrated with the Graph Abstractor, and the rules based Guideliner. The back-end will make use of a static scheduler, a translator and a dynamic scheduler, already existing for PSDL. XPAL, the Xinotech Pattern Abstraction Language, will be used to specify transformation libraries to generate Ada and FORTRAN from PSDL, and to partially generate PSDL from existing Ada programs imported into the environment.