http://shemesh.larc.nasa.gov:80/ (World Wide Web Directory, ~04/1995)
Assessment Technology Branch
The Assessment Technology Branch performs research and develops technology
that is vital to successfully incorporating digital computing into
increasingly complex and critical aerospace systems. ATB applies
advanced
mathematical, scientific, and engineering methods to the specification,
development, and verification of digital computing systems. ATB explores
innovative techniques for assuring the integrity of computing systems, and
seeks meaningful measures of system quality including the methods and tools
to apply those measures. Analytical techniques, simulations, and physical
testing are employed as required to assess the technologies being developed
for their viability in systems contexts, and to demonstrate their utility to
potential customers. These technologies are transferred to U.S. aerospace
interests and to other U.S. interests where the technology can provide
improved products and an enhanced competitive position.
Personnel
The following are the main areas of research in the Assessment Technology
Branch:
- Formal Methods
- Electromagnetic Upset
- Software Engineering
- Design and Assessment Tools
- Neural Networks
Currently, only the formal methods team has a World-Wide Web page.
C. Michael Holloway
C.M.Holloway@LaRC.NASA.GOV
LaRC Home Page,
Org Code Browser: DII
last modified: 20 April 1995 (08:17:34)
http://shemesh.larc.nasa.gov:80/ (World Wide Web Directory, ~04/1995)