A PDL synthesizer for real-time systems

A rule-based approach to designing time-critical flight software is presented. The intent is to provide program design language synthesizers, which help the user to shape the requirements into a form suitable for automatic synthesis. This approach attempts to produce a deterministic scheduler design. Events are mapped, where possible, into a cyclic scheme. When events cannot be handled cyclically, they are handled as interrupts. The technique attempts to balance processing load across frames. An attributed form of IDEF (integrated computer-aided manufacturing definition) is used to express the requirements from which designs can be synthesized. IDEF information is stored in a PROLOG knowledge base and is organized hierarchically. The tool set and its associated IDEF-based methodology, is called the Systems Analysis Logical Design Technique (SALDT)