|
|
|
- Reusable Software Fault Tolerant Components: Under an
award in the highly competitive Small Business Innovative
Research (SBIR) program, SoHaR developed software components
in Ada to be used in distributed fault tolerant systems.
- Enhanced Condition Tables for Verification of Critical
Software: SoHaR is developing a semi-automated verification
methodology based on condition tables enhanced with fault
trees and special values testing techniques. The methodology
is intended for critical applications and is being used
to verify portions of a fault tolerant distributed system
developed by SoHaR under another contract.
- Error Detecting and Correcting Codes for Large Scale Memory:
Under contract to the Rome Air Development Center (RADC),
SoHaR evaluated the effectiveness and reliability of the
most current RAM error detection and correction.
- Integrated Hardware and Software Reliability Specification:
SoHaR developed a methodology for incorporating specification
and assessment of the reliability of software components
as part of the Rome Air Development Center (RADC) effort
to update MIL-STD-785B, the DoD standard for System and
Equipment Reliability specification.
- Software Quality Metrics and Their Relation to Reliability:
Under contract to the U.S. Air Force Wright Laboratory,
SoHaR is developing a set of predictive metrics for software
complexity and quality in Ada source code. This is an extension
of earlier work for the for the U.S. Air Force Rome Laboratory
in which SoHaR investigated the effect of software quality
metrics on observed and projected measures of software reliability.
- Software Tools Survey: SoHaR was selected in a competitive
procurement by the National Bureau of Standards to develop
a taxonomy of software tools, conduct a survey of use, identify
factors that promote tool usage, and generate guidelines
for the introduction of tools.
- Microcomputer Selection, Programming, and Use: Under contract
to the U.S. National Bureau of Standards, SoHaR developed
guidelines and produced Special Reports on the selection,
use and programming of microcomputers in Federal agencies.
- Interactive Distributed Database: Under a Small Business
Innovative Research (SBIR) contract with the National Institutes
of Health, SoHaR developed a high performance distributed
database to support research in nutrition and its relation
with cancer. The challenge is to create an architecture
which can retrieve data from several thousand records across
an LAN with an acceptable response time.
|
|
|