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