Title :
Generating multitasking Ada programs from high-level specifications
Author :
Shi, Yuan ; Prywes, Noah
Author_Institution :
Computer Command & Control Co., Philadelphia, PA, USA
Abstract :
A method for automatic generation of large-scale multitasking systems in an Ada programming environment is presented. The method allows the human designers to independently develop each functional tasks and independently develop the system integration. Thus individual task developers are allowed to have completely independent naming spaces. A dataflow graph in intertask communications is specified through a separate language: CSL (Configuration Specification Language). It is processed by a component of the MODEL system called Configurator. The Configurator conducts verification and validation of the overall data flow graph and produces an Ada shell to control the execution and communication of the functional tasks. It also produces an optimized implementation for the intertask (possibly interprocessor) communications. Individual functional tasks can also be generated automatically using the MODEL compiler
Keywords :
Ada; automatic programming; multiprogramming; program verification; programming environments; specification languages; Ada programming environment; Ada shell; Configuration Specification Language; Configurator; MODEL compiler; MODEL system; automatic generation; dataflow graph; functional tasks; high-level specifications; independent naming spaces; intertask communications; multitasking Ada programs; verification; Aerospace electronics; Command and control systems; Concurrent computing; Humans; Large-scale systems; Multitasking; Network synthesis; Programming environments; Prototypes; Specification languages;
Conference_Titel :
Ada Applications and Environments, 1988., Third International IEEE Conference on
Conference_Location :
Manchester, NH
Print_ISBN :
0-8186-0808-0
DOI :
10.1109/ADA.1988.4794
