|
|
|
- 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.
|
|
|
