A two-level formal specification of a defense communications system
IL (United States). Environmental Assessment and Information Sciences Div. Argonne National Lab., G.H. Chisholm, R Kemmerer · 1994
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.