Generic Computer and
  Reliability Technology


Generic Computer and Reliability Technology

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



© Copyright 2001 SoHaR Corporation. All rights reserved.

setstats 1