Accession Number : ADA320352

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

Descriptive Note : Final rept.,

Corporate Author : STANFORD UNIV CA

Personal Author(s) : Luckham, David C.

PDF Url : ADA320352

Report Date : OCT 1996

Pagination or Media Count : 5

Abstract : We had proposed to augment current ARPA, and AFOSR funded research and technology projects 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 systems, and other time- critical systems, (2) methods of testing actual products for conformance to architectural standards, and, (3) design and implementation of support tools for simulation and verification of such systems.

Descriptors :   *REAL TIME, *SECURITY, *COMPUTER ARCHITECTURE, AVIONICS, SIMULATION, VERIFICATION, STUDENTS, TRAINING, DISTRIBUTION, STANDARDS, ADA PROGRAMMING LANGUAGE.

Subject Categories : Computer Programming and Software
      Computer Systems Management and Standards

Distribution Statement : APPROVED FOR PUBLIC RELEASE