A Survey of Some Theoretical Aspects of Multiprocessing
ACM Computing Surveys (CSUR)
Concurrent software system design supported by SARA at the age of one
ICSE '78 Proceedings of the 3rd international conference on Software engineering
ICSE '76 Proceedings of the 2nd international conference on Software engineering
A design methodology for reliable software systems
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
| Hi-index | 0.00 |
Directed flowgraphs (DFGs) provide a graphical language for the specification of a class of real-time systems. DFGs and their underlying formal model of computation form the basis of a methodology called the Operational Software Concept (OSC). In the OSC methodology software specified in the DFG language is coupled to a program called the OSC executive which provides all the operating system functions required for interpreting DFGs and supplying run-time support. The result is a ''baseline executive'' that is functionally correct, but likely too inefficient to meet stated performance requirements. A systematic tuning process in which system construction options are selected to influence key performance variables has been shown to be effective in constructing operational systems that meet performance requirements. Software specified using DFGs and implemented through the OSC executive are highly reusable across different missions and across different target machine architectures. In the paper, DFGs are introduced and their role in the OSC methodology is described.