Beyond Ada - Generating Ada Code from Equational Specifications,
RENSSELAER POLYTECHNIC INST TROY NY DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
Real time mission-oriented embedded systems are much more difficult to design than ordinary software systems. They require highly reliable and efficient implementations to satisfy mission and time constraints imposed by the applications. The Ada language has been design to facilitate real time system software development. However, for many programmers the size and complexity of Ada itself are of concern. In the assertive programming paradigm, computations are specified as sets of assertions about properties of the solution, and not as a sequence of procedural steps. Solving procedures are automatically generated from the assertive description. Real time programming for mission-oriented systems is supported by equational languages in which assertions are expressed as algebraic equations. Programs written in equational languages are concise, free from implementation details, and easily amenable to verification and parallel processing. The level of programming expertise required to program in an equational language is much lower than the level that is needed by Ada programmers. The paper describes an implementation of an equational language system which generates highly efficient distributed code in ada. It also demonstrates how the equational language system can be used in real time software development.
- Computer Programming and Software