PSDL ENVIRONMENT FOR REAL-TIME SPECIFICATION AND PROTOTYPING OF FORTRAN AND ADA 9X
Agency / Branch:
DOD / MDA
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.
Small Business Information at Submission:
Principal Investigator:Romel Rivera
Xinotech Research, Inc.
1313 Fifth Street Se, Suite 213 Minneapolis, MN 55414
Number of Employees: