A two-level formal specification of a defense communications system
- Argonne National Lab., IL (United States). Decision and Information Sciences Div.
- Univ. of California, Santa Barbara, CA (United States). Reliable Software Group
Computer systems are being used in critical situations with sensitive data, which makes it very important to ensure that these systems perform as desired. The defense communications system contains particularly sensitive data. A two-level ASLAN formal specification of a defense communications system is presented. The ASLAN model is designed to enhance the understanding of critical requirements and demands of the defense communications system. For the top-level (high-level) specifications, the structural details of the actual network are actual network are abstracted to allow more time for examining the interactions between the sites and the network. At this level, DataGrams move through the network, although the actual routing decisions are not specified. More details are added in the second-level specification. At this level, structure is added to the network.
- Research Organization:
- Argonne National Lab., IL (United States). Decision and Information Sciences Div.
- Sponsoring Organization:
- Department of Defense, Washington, DC (United States)
- DOE Contract Number:
- W-31109-ENG-38
- OSTI ID:
- 10155353
- Report Number(s):
- ANL/DIS/TM--13; ON: DE94012117
- Country of Publication:
- United States
- Language:
- English
Similar Records
RT-ASLAN: a specification language for real-time systems
DeltaGram protocol specification
Remote direct memory access over datagrams
Thesis/Dissertation
·
Wed Dec 31 23:00:00 EST 1986
·
OSTI ID:6307830
DeltaGram protocol specification
Technical Report
·
Wed Dec 02 23:00:00 EST 1981
·
OSTI ID:5471839
Remote direct memory access over datagrams
Patent
·
Mon Dec 01 23:00:00 EST 2014
·
OSTI ID:1164664