Training in Research and Construction of Secure Distributed Real-Time Systems

摘要

We had proposed to augment current ARPA, and AFOSR funded research and technologyprojects by supporting additional graduate students, one from ARPA and one from AFOSR and their computing equipment. These students were trained on these DoD research projects in the areas of design and implementation of specification and prototyping languages for system architecture. The students were trained in (1) specification and prototyping of architectures for avionics systems, simulation