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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1996
Accession Number
ADA320352

Entities

People

  • David C. Luckham

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Avionics
  • Construction
  • Construction Equipment
  • Electronic Equipment
  • Language
  • Modules (Electronics)
  • Product Prototyping
  • Simulations
  • Specifications
  • Standards
  • Students
  • Training
  • Verification

Fields of Study

  • Computer science
  • Engineering

Readers

  • Research Science/Academic Research
  • Software Engineering.