Generating multitasking Ada programs from high-level specifications

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