Analysis of Real-Time Systems by Data Flowgraphs
Abstract
The concept of a data flowgraph is formalized as a bipartite directed graph. Each execution sequence of a computer program has a corresponding data flowgraph which describes functionally what happens to the data if that execution sequence is followed. the data flowgraph gives information which is useful in analyzing parallel processing, test case preparation, error analysis, and program verification. An attach aircraft tactical system is used to illustrate how the concept of data flowgraphs is applied to analyze real-time systems.
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.Collections
Related items
Showing items related by title, author, creator and subject.
-
Key terrain: application to the layers of cyberspace
Pantin, Nicholas T. (Monterey, California: Naval Postgraduate School, 2017-03);The concept of key terrain is a common fixture in military strategy and tactics. The emergence of cyberspace, with characteristics unseen in any warfighting domain, challenge the concept's value. This work is a conceptual ... -
CLARIFYING RESILIENCE IN THE CONTEXT OF HOMELAND SECURITY
Monier, Jerry T., Jr. (Monterey California. Naval Postgraduate School, 2013-03);The term resilience is frequently used in the context of homeland security. The definition continues to emerge within the evolving homeland security enterprise. The purpose of this thesis is to clarify the concept of ... -
A theory of generalized filters
Lynn, Freddie Leroy, Jr. (Monterey, California ; Naval Postgraduate School, 1970-06);This manuscript is a collection of many of the known results in the theory of generalized filters (ß-filters) as well as an extension of some of the work in this area. The relation of ß-filters to compactifications and ...