Strategic Defense Initiative Architecture Dataflow Modeling Technique, Version 1. 5. Final report
Technical Report
·
OSTI ID:7061806
This report presents the SDI Architecture Dataflow Modeling Technique (SADMT), a uniform formal notation for the description of SDI system architectures and Battle Management and Command, Control, and Communications (BM/C3) architectures. SADMT is a technique for thinking about and describing architectural processes and structures that use the typing and functional facilities of the Ada programming language. This document defines SADMT and the programming interface to the SADMT Simulation Facility (SADMT/SF). The issues addressed here are those relevant to providing formal descriptions of system structure and behavior for interface consistency checking, system simulation, and system evaluation.
- Research Organization:
- Institute for Defense Analyses, Alexandria, VA (USA)
- OSTI ID:
- 7061806
- Report Number(s):
- AD-A-194356/2/XAB; IDA-P-2035
- Country of Publication:
- United States
- Language:
- English
Similar Records
Simple example of an SADMT SDI-(Strategic Defense Initiative) Architecture Dataflow Modeling Technique) architecture specification. Version 1. 5. Final report
Strategic Defense Initiative ADA (trade name) Process Description Language, Version 1. 00. Final report
Sagen (SADMT (Strategic Defense Initiative Architecture Ddataflow Modeling Technique) generator) user's guide Version. 1. 5. Final report
Technical Report
·
Thu Apr 21 00:00:00 EDT 1988
·
OSTI ID:6716390
Strategic Defense Initiative ADA (trade name) Process Description Language, Version 1. 00. Final report
Technical Report
·
Sun Mar 15 23:00:00 EST 1987
·
OSTI ID:6232517
Sagen (SADMT (Strategic Defense Initiative Architecture Ddataflow Modeling Technique) generator) user's guide Version. 1. 5. Final report
Technical Report
·
Thu Mar 31 23:00:00 EST 1988
·
OSTI ID:6728582
Related Subjects
45 MILITARY TECHNOLOGY, WEAPONRY, AND NATIONAL DEFENSE
99 GENERAL AND MISCELLANEOUS
990210* -- Supercomputers-- (1987-1989)
990500 -- Civilian Defense-- (-1987)
ADA
BALLISTIC MISSILE DEFENSE
COMPUTER ARCHITECTURE
DOCUMENT TYPES
INTERFACES
NATIONAL DEFENSE
PROGRAMMING LANGUAGES
PROGRESS REPORT
SYSTEMS ANALYSIS
99 GENERAL AND MISCELLANEOUS
990210* -- Supercomputers-- (1987-1989)
990500 -- Civilian Defense-- (-1987)
ADA
BALLISTIC MISSILE DEFENSE
COMPUTER ARCHITECTURE
DOCUMENT TYPES
INTERFACES
NATIONAL DEFENSE
PROGRAMMING LANGUAGES
PROGRESS REPORT
SYSTEMS ANALYSIS