Reliability and Safety Software Download
Get a quote
Reliability and Safety Software Demo
 
Reliability Software, Safety and Quality Solutions / Publications

SoHaR Publications

Below is List of our Publications.  You can click on the "Heading" of each publication in order to view
or save the PDF.  Please email info@SoHaR.com with the Title of he Paper in cases where the PDF is
 unavailable for downloading!

"Engineering Oriented Dependability Evaluation: MEADEP and Its Applications"
D. Tang, M. Hecht, J. Agron, J. Miller, H. Hecht, "Engineering Oriented Dependability Evaluation: MEADEP and Its Applications", 1997 Pacific Rim International Symposium on Fault-Tolerant Systems, Taipei, Taiwan, December, 1997
 

"MEADEP and Its Applications in Dependability Analysis for a Nuclear Power Safety System"
D. Tang, M. Hecht, X. An, "MEADEP and Its Applications in Dependability Analysis for a Nuclear Power Safety System", IEEE/ANS Symposium on Nuclear Power Systems, Albuquerque, New Mexico, November, 1997
 

"Quantitative Reliability and Availability Assessment for Critical Systems Including Software"
D. Tang, H. Hecht, M. Hecht, R. Brill, "Quantitative Reliability and Availability Assessment for Critical Systems Including Software", Proceedings of the 12th Annual Conference on Computer Assurance, Gaitherburg, Maryland, June, 1997
 

"A Methodology and Tool for Measurement-Based Dependability Evaluation of Digital Systems in Critical Applications"
D. Tang, H. Hecht, M. Hecht, "A Methodology and Tool for Measurement-Based Dependability Evaluation of Digital Systems in Critical Applications", IEEE Transactions on Nuclear Science, August, 1996
 

"A User-Friendly Dependability Evaluation Environment for System Designers"
A. Tai, H. Hecht, "A User-Friendly Dependability Evaluation Environment for System Designers", Computer- Aided Design, Test and Evaluation for Dependability Workshop, Beijing, China, July, 1996
 

"Toward Accessibility Enhancement of Dependability Modeling Techniques and Tools"
"Toward Accessibility Enhancement of Dependability Modeling Techniques and Tools", Computer-Aided Design, Test and Evaluation for Dependability Workshop, Beijing, China, July, 1996
 

"Making Dependability Evaluation More Effective and Efficient for Engineers"
A. Tai, H. Hecht, B. Zhang, K. Trivedi, "Making Dependability Evaluation More Effective and Efficient for Engineers", Computer- Aided Design, Test and Evaluation for Dependability Workshop, Beijing, China, July, 1996
 

"Measurement-Based Dependability Evaluation for Safety-Grade Digital Systems"
D. Tang, H. Hecht, M. Hecht, "Measurement-Based Dependability Evaluation for Safety-Grade Digital Systems", The 1996 American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Technology, Pennsylvania State University, USA, May, 1996
 

"Ada95 Object-Oriented and Real-Time support for Development of Software Fault Tolerance Reusable Components"
E. Shokri, K. Tso, "Ada95 Object-Oriented and Real-Time support for Development of Software Fault Tolerance Reusable Components", International Workshop on Object-Oriented and Real-Time Dependable Systems, Laguna Beach, California, February, 1996
 

"A Proposal for Standardized Software Dependability Data"
H. Hecht, "A Proposal for Standardized Software Dependability Data", ISSES 95, Montreal, Canada, August, 1995
 

"MEADEP and Its Applications in Evaluating Dependability for Air Traffic Control Systems"
D. Tang, M. Hecht,J. Handal, L. Czekalski, "MEADEP and Its Applications in Evaluating Dependability for Air Traffic Control Systems", 1998 IEEE Reliability and Maintainability Symposium Proceedings, Anaheim, CA, January, 1998
 

"Test-Linked Specification for Safety-Critical Software"
H. Hecht, M. Hecht, "Test-Linked Specification for Safety-Critical Software", 1997 Hawaii Systems Conference, Maui, Hawaii, January, 1997
 

"Quality Assurance and Testing for Safety Systems"
H. Hecht, M. Hecht, "Quality Assurance and Testing for Safety Systems", Annals of Software Engineering, Balzer Publications, R. Hamlet ed., 1997
 

"Qualitative Interpretation of Software Test Data"
H. Hecht, M. Hecht, "Qualitative Interpretation of Software Test Data", Computer-Aided Design, Test and Evaluation for Dependability Workshop, Beijing, China, July, 1996
 

"Review Guidelines for Software Languages for Use in Nuclear Power Plant Safety Systems"
"Review Guidelines for Software Languages for Use in Nuclear Power Plant Safety Systems", U.S. Nuclear Regulatory Commission Contractor Report, NUREG/CR-6463, June, 1996
 

"Verification and Validation Guidelines for High Integrity Systems"
"Verification and Validation Guidelines for High Integrity Systems", U.S. Nuclear Regulatory Commission Contractor Report, NUREG/CR-6293, March, 1995
 

"Cooperating Diverse Experts: A Methodology to Develop Quality Software for Critical Decision Support Systems"
D. Pradhan, F. Meyer, N. Vaidya, H. Hecht, M. Hecht, "Cooperating Diverse Experts: A Methodology to Develop Quality Software for Critical Decision Support Systems", Proc. 1995 IEEE Aerospace Applications Conference, Snowmass, CO, February, 1995
 

"V&V in Defense and Nuclear Power Plant Projects"
"V&V in Defense and Nuclear Power Plant Projects", Proc. 4th IEEE Dual Use Technologies and Applications Conference, Mohawk Valley, NY, May, 1994
 

"NRC Class 1E Digital Computer System Guidelines"
"NRC Class 1E Digital Computer System Guidelines", Rome Laboratory, RL-TR-93-96, May, 1993
 

"The Enhanced Condition Table Methodology for Verification of Critical Software in Ada and C"
"The Enhanced Condition Table Methodology for Verification of Critical Software in Ada and C", Proc. 7th International Conference on Software Testing, San Francisco, May, 1990
 

"Specification and Review of Flight Critical Systems"
"Specification and Review of Flight Critical Systems", Proc. AIAA Computers in Aerospace Conference, Long Beach, CA, 1985
 

"Computer Standards"
"Computer Standards", IEEE Computer, October, 1984
 

"Requirements Documentation -- A Management Oriented Approach"
"Requirements Documentation -- A Management Oriented Approach", FIPS Software Documentation Workshop, National Bureau of Standards, Washington DC, March 1982
 

The Introduction of Software Tools
The Introduction of Software Tools, National Bureau of Standards Special Publication 500-91, September, 1982
 

A Survey of Software Tools Usage
A Survey of Software Tools Usage, National Bureau of Standards Special Publication 500-82, November, 1981
 

"ReSoFT: A Reusable Testbed for Development and Evaluation of Software Fault-Tolerance Systems"
K. Tso, E. Shokri, R. Dzeigiel, "ReSoFT: A Reusable Testbed for Development and Evaluation of Software Fault-Tolerance Systems", High Assurance Systems Engineering Symposium, Washington, DC, August, 1997
 

"An Approach for Adaptive Fault Tolerance in Object Oriented Open Distributed Systems"
E. Shokri, H. Hecht, P. Crane, J. Dussalt, K. Kim, "An Approach for Adaptive Fault Tolerance in Object Oriented Open Distributed Systems", Workshop on Object-Oriented Reliable Distributed Systems, Newport Beach, CA, February, 1997
 

"An Integrated Environment for Development and Testing of Software Fault Tolerant Systems"
K. Tso, E. Shokri, "An Integrated Environment for Development and Testing of Software Fault Tolerant Systems", Computer-Aided Design, Test and Evaluation for Dependability Workshop, Beijing, China, July, 1996
 

"Fault Tolerant Computing Theory and Techniques"
D. Pradhan, H. Hecht, M. Hecht, "Fault Tolerant Computing Theory and Techniques", Revised Edition, Prentice Hall, Englewood Cliffs, New Jersey, 1996
 

"ReSoFT: A Reusable Software Fault Tolerance Testbed"
K. Tso, E. Shokri, "ReSoFT: A Reusable Software Fault Tolerance Testbed", Pacific Rim International Symposium on Fault Tolerant Systems, Newport Beach, CA, December, 1995
 

"Evaluation of Software Dependability Based on Stability Test Data"
D. Tang, M. Hecht, "Evaluation of Software Dependability Based on Stability Test Data", 25th Annual Fault- Tolerant Computing Symposium, Pasadena, CA, June, 1995
 

"Integrated Hardware and Software Fault Tolerance for Real Time Applications"
"Integrated Hardware and Software Fault Tolerance for Real Time Applications", Proc. 10th International Conference of the Israel Society for Quality Assurance, Jerusalem, November, 1994
 

"An Integrated Fault Tolerant Robotic Control System for High Reliability and Safety"
"An Integrated Fault Tolerant Robotic Control System for High Reliability and Safety", Proc. Technology 2004, Washington, DC, November, 1994
 

"Dependability Assessment for Decentralized Systems"
H. Hecht, M. Hecht, "Dependability Assessment for Decentralized Systems", Proc. Second International Symposium on Autonomous Decentralized Systems, Phoenix, AZ, April, 1995
 

"A Distributed Fault Tolerant Architecture for Nuclear Reactor Control and Safety Functions"
M. Hecht, J. Agron, S. Hochhauser, "A Distributed Fault Tolerant Architecture for Nuclear Reactor Control and Safety Functions", Proc. 10th Real Time Systems Symposium, IEEE Computer Society Press, December, 1989
 

"A New Fault-Tolerant System for Power Reactor Safety and Control Functions"
"A New Fault-Tolerant System for Power Reactor Safety and Control Functions", Proc. 16th Inter-RAM Conference for the Electric Power Industry, Monterey, CA, 1989
 

"A Combined Hardware/Software Failure Model"
"A Combined Hardware/Software Failure Model", Phoenix Conference on Computers and Communications, March 1983
 

Fault Tolerance, Reliability and Testability for Distributed Systems
Fault Tolerance, Reliability and Testability for Distributed Systems, Rome Air Development Center RADC-TR-83-36, February, 1983
 

"Distributed Computing for Traffic Control Systems"
"Distributed Computing for Traffic Control Systems", IEEE Vehicular Technology Conference, San Diego CA, May 1982
 

"Effectiveness Measures for Distributed Systems"
"Effectiveness Measures for Distributed Systems", Proc. Symposium on Distributed Software and Data Base Systems, Pittsburgh, July 1981
 

An Approach to Measuring and Assessing Dependability for Critical Software Systems
D. Tang, H. Hecht, An Approach to Measuring and Assessing Dependability for Critical Software Systems, 8th IEEE International Symposium on Software Reliability Engineering, Albuquerque, New Mexico, November, 1997
 

High Coverage Fault Tolerance in Real-Time Systems Based on Point-to-Point Communication
K. Kim, C. Subbaraman, E. Shokri, High Coverage Fault Tolerance in Real-Time Systems Based on Point-to-Point Communication, High Assurance Systems Engineering Symposium, Washington, DC, August, 1997
 

Review Guidelines for Software Written in High Level Programming Language Used in Safety Systems
M. Hecht, R. Brill, Review Guidelines for Software Written in High Level Programming Language Used in Safety Systems, Water Reactor Safety Meeting, Bethesda, MD, October 22, 1997
 

"ROAFTS: A CORBA-Based Real-Time Fault Tolerance Support Middleware"
E. Shokri, P. Crane, J. Dussault, K. Kane, C. Subbaraman, "ROAFTS: A CORBA-Based Real-Time Fault Tolerance Support Middleware", IEEE Workshop on Middleware for Distributed Real-Time Systems and Services, San Francisco CA, December, 1997
 

"MEADEP and Its Applications in Dependability Analysis for A Nuclear Power Safety System"
D. Tang, M. Hecht, X. An, "MEADEP and Its Applications in Dependability Analysis for A Nuclear Power Safety System", IEEE Transactions on Nuclear Science
 

Experience and Using MEADEP
D. Tang, M. Hecht, A. Rosin, J. Handal, Experience and Using MEADEP, 1999 Annual Reliability and Maintainability Symposium, Washington DC, USA, Jan 18-21, 1999.
 

Matching Software Fault Tolerance and Application Needs
E. Shokri, H. Hecht, Matching Software Fault Tolerance and Application Needs, Second High-Assurance Systems Engineering WorkShop HASE 98, November 1998
 

"An Approach for Adaptive Fault Tolerance in Object-Oriented Open Distributed Systems"
E. Shokri, H. Hecht, P. Crane, J. Dussalt, K. Kim, "An Approach for Adaptive Fault Tolerance in Object-Oriented Open Distributed Systems", International Journal of Software Engineering and Knowledge Engineering Vol. 8 No. 3 (1998) 333-346
 

"Distributed Recovery Block Based Adaptive Fault Tolerance"
E. Shokri, H. Hecht, and B. Zhang, "Distributed Recovery Block Based Adaptive Fault Tolerance", US Navy NSWC SBIR Phase I, Final Report, SoHaR Inc., Beverly Hills, CA, March 1998
 

"MEADEP - A Dependability Evaluation Tool for Engineers"
D. Tang, M. Hecht, J. Miller, J. Handal, "MEADEP - A Dependability Evaluation Tool for Engineers", IEEE Transactions on Reliability
 

"How Reliable are the Requirements for Large Digital Systems?"
Herbert Hecht, Myron Hecht, "How Reliable are the Requirements for Large Digital Systems?", Proc. Fifth ISSAT International Conference on Reliability and Quality in Design, Las Vegas, NV, August, 1999
 

Adaptive Fault Tolerance for Spacecraft
Myron Hecht, Herbert Hecht, Eltefaat Shokri, Adaptive Fault Tolerance for Spacecraft, IEEE Aerospace 2000 Conference, Big Sky, MT, March, 2000
 

Use of Importance Sampling and Related Techniques to Measure Very High Reliability Software
Myron Hecht, Herbert Hecht, Use of Importance Sampling and Related Techniques to Measure Very High Reliability Software, IEEE Aerospace 2000 Conference, Big Sky, MT, March, 2000
 

An Analytical Model for Predicting the Impact of Maintenance Resource Allocation on National Airspace System Availability
Myron Hecht, Jady Handal, Frank Demarco, An Analytical Model for Predicting the Impact of Maintenance Resource Allocation on National Airspace System Availability, National Research Council Transportation Research Board 79th Annual Meeting, Washington, DC, January, 2000
 

System Engineering for Software Intensive Projects
Herbert Hecht, System Engineering for Software Intensive Projects, ASSET ‘99
 

Fault Tolerance for Real Time Monitoring and Control Under the Windows NT Operating System and the Common Object Model
M. Hecht, Y. He, X. An, Fault Tolerance for Real Time Monitoring and Control Under the Windows NT Operating System and the Common Object Model, International Conference on Dependable Systems and Networks, June, 2000
 

HOW RELIABLE ARE REQUIREMENTS FOR RELIABLE SOFTWARE?
H. Hecht and M. Hecht, HOW RELIABLE ARE REQUIREMENTS FOR RELIABLE SOFTWARE?, Proc. Software Technology Conference 2000, Logan UT, May, 2000
 

Dependabilty Analysis for E-Commerce System Business Decisions
Myron Hecht, Xuegao An, Yutao He, Dependabilty Analysis for E-Commerce System Business Decisions, Digest of FastAbstracts: The International Conference on Dependable Systems and Networks /June 2000
 

How Reliable are Requirements for Reliable Software?
Herbert Hecht, Myron Hecht, How Reliable are Requirements for Reliable Software?, DoD Data & Analysis Center for Software Current Awareness Nessletter
 

How Reliable Are the Requirements for Large Digital Systems?
Herbert Hecht, Myron Hecht, How Reliable Are the Requirements for Large Digital Systems?, The Fifth International Society of Science and Applied Technologies (ISSAT) International Conference on Reliability And Quality In Design,. Las Vegas, Nevada, USA August 11-13, 1999
 

Measuring and Assessing Software Test Processes Using Test Data
Herbert Hecht, Yutao He, Measuring and Assessing Software Test Processes Using Test Data, Proc. 2000 High Assurance System Engineering Symposium (HASE), November, 2000, Albuquerque, NM
 

Integration of System Dependability and Software Reliability Growth Models for E-Commerce Systems
Myron Hecht, Yutao He, Herbert Hecht, and Xuegao An, Integration of System Dependability and Software Reliability Growth Models for E-Commerce Systems, High Assurance System Engineering Conference, Albuquerque, NM, November, 2000
 

Testing for Software Safety
Herbert Hecht, Testing for Software Safety, NASA Dependable Flight Systems Conference
 

An Analytical Model for Predicting the Impact of Maintenance Resource Allocation on Air Traffic Control System Availability
Myron Hecht and Jady Handal, An Analytical Model for Predicting the Impact of Maintenance Resource Allocation on Air Traffic Control System Availability, Proc. 2001 Reliability and Maintainability Symposium, Philadelphia, PA, January, 2001
 

Reliability/Availability Modeling, Prediction, and Measurement for e-Commerce and other Internet Information Systems
Myron Hecht, Reliability/Availability Modeling, Prediction, and Measurement for e-Commerce and other Internet Information Systems, Proc. Reliability and Maintainability Symposium
 

"Software Dependability Assessment - Myth and Reality"
D. Tang, H. Hecht, M. Hecht, "Software Dependability Assessment - Myth and Reality", Issues in NASA Program and Project Management No 12, Washington, DC, June 1997
 

"A Methodology and Tool for Measurement-Based Dependability Evaluation of Digital I & C Systems in Critical Applications"
D. Tang, H. Hecht, M. Hecht, "A Methodology and Tool for Measurement-Based Dependability Evaluation of Digital I & C Systems in Critical Applications", IEEE 1995 Nuclear Science Symposium and Medical Imaging Conference, San Francisco, CA, November, 1995
 

"Error Classification and Analysis for High Integrity Software"
H. Hecht, D. Wallace, "Error Classification and Analysis for High Integrity Software", The 1996 American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control and Human- Machine Technology, Pennsylvania State University, USA, May, 1996
 

"What is wrong with Software Test?"
Herbert Hecht, "What is wrong with Software Test?", 7th Annual Software Technology Conference, Hill AFB, UT, April, 1995
 

"Complexity Metrics for Avionics Software"
"Complexity Metrics for Avionics Software", Proc. NAECON '92, Dayton, OH, May, 1992
 

"Enhanced Condition Tables for Verification of Critical Software"
"Enhanced Condition Tables for Verification of Critical Software", Proc. COMPSAC '87, Tokyo, October, 1987
 

"Development of Software Fault-Tolerant Applications with Ada95 Object-Oriented Support"
E. Shokri, K. Tso, R. Dziegel, "Development of Software Fault-Tolerant Applications with Ada95 Object-Oriented Support", The National Aerospace and Electronics Conference, Dayton, Ohio, May, 1996
 

"A Reuse Framework for Software Fault Tolerance"
K. Tso, E. Shokri, A. Tai, R. Dziegel, "A Reuse Framework for Software Fault Tolerance", Proc. AIAA 10th Computers in Aersopace Conference, San Antonio, March, 1995
 

"Toward More Effective Testing for High Assurance Systems"
H. Hecht, M. Hecht, D. Wallace, "Toward More Effective Testing for High Assurance Systems", IEEE Computer Magazine, "Integrated Design, Development and Evaluation for High Assurance Systems", April 1998
 

"An Implementation Model for Time-Triggered Message-Triggered Object Support Mechanisms in CORBA-Compliant COTS Platform"
E. Shokri, P. Crane, K. Kim, "An Implementation Model for Time-Triggered Message-Triggered Object Support Mechanisms in CORBA-Compliant COTS Platform", Proceedings for the First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 98), Kyoto, Japan, April, 1998
 

"Architecture of ROAFTS/Solaris: A Solaris-Based Middleware for Real-Time Object-Oriented Adaptive Fault Tolerance Support"
E. Shokri, P. Crane, K. Kim, C. Subbaraman, "Architecture of ROAFTS/Solaris: A Solaris-Based Middleware for Real-Time Object-Oriented Adaptive Fault Tolerance Support", 22nd International Computer Software & Applications Conference (COMPSAC 98), Vienna, Austria, August 1998
 

"A Distributed Fault Tolerant Architecture for Nuclear Reactor and Other Critical Process Control Applications"
Myron Hecht, Jeffrey Agron, Herbert Hecht and K.H. Kim, "A Distributed Fault Tolerant Architecture for Nuclear Reactor and Other Critical Process Control Applications", Proc. Fault Tolerant Computer Symposium (FTCS-21), Montreal, Canada, June 1991
 

"A New Method for the Verification of Fault Tolerant Software"
A. Tai, M. Hecht, H. Hecht, "A New Method for the Verification of Fault Tolerant Software", Proc. EASCON 87, Washington, DC, October, 1987
 

"Impact of Maintenance Staffing on Availability of the U.S. Air Traffic Control System"
"Impact of Maintenance Staffing on Availability of the U.S. Air Traffic Control System", 1998 IEEE Reliability and Maintainability Symposium Proceedings, Anaheim, CA, January, 1998
 

"The Need for Measurement Based Dependability Evaluation"
M. Hecht, D. Tang, "The Need for Measurement Based Dependability Evaluation", Pacific Rim International Symposium on Fault Tolerant Systems, Newport Beach, CA, December, 1995
 

"Testing Safety Critical Software - Where are the Standards?"
H. Hecht, "Testing Safety Critical Software - Where are the Standards?", ISSES 1997, Walnut Creek, CA, June, 1997
 

"Software and Firmware for Consumer Systems: Safety and Products Liability"
Myron Hecht, "Software and Firmware for Consumer Systems: Safety and Products Liability", Proc. 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2001), Orlando, Florida, July 22-25, 2001
 

"A Discrete-Event Simulator for Predicting Outage Time and Costs as a Function of Maintenance Resources"
Myron Hecht, Jady Handal, "A Discrete-Event Simulator for Predicting Outage Time and Costs as a Function of Maintenance Resources", Proceedings of the 2002 Reliability and Maintainability Symposium (RAMS), Seattle, Washington, January, 2002
 

"Prediction of Information System Availability in Mission Critical and Business Critical Applications"
Myron Hecht, "Prediction of Information System Availability in Mission Critical and Business Critical Applications", Twelfth Annual International Symposium of the International Council On Systems Engineering (INCOSE), 28 July â€" 1 August 2002
 

"FMEA - FRIEND OR FOE"
Herbert Hecht and Myron Hecht, "FMEA "FRIEND OR FOE", ISA Western Regional Conference, Las Vegas, NV, July, 2002
 

"Use Of Combined System Dependability And Software Reliability Growth Models"
Myron Hecht, Herbert Hecht And Xuegao An, "Use Of Combined System Dependability And Software Reliability Growth Models", Vol. 9, No. 4 (2002) 1-15, also published in Proc. International System Safety and Assurance Technology (ISSAT 2002), Anaheim, CA, August, 2002
 

"FMEA As A Validation Tool For Hardware/Software Systems"
Myron Hecht, Herbert Hecht, "FMEA As A Validation Tool For Hardware/Software Systems", Proc. ISA Analysis Div 2002, February 2002
 

"The Role of Safety Analyses in Reducing Products Liability Exposure in "Smart" Consumer Products Containing Software and Firmware"
Myron Hecht, "The Role of Safety Analyses in Reducing Products Liability Exposure in "Smart" Consumer Products Containing Software and Firmware", Proceedings of the 2003 Annual Reliability and Maintainability Symposium, Tampa, FL, January, 2003
 

"COMPUTER-AIDED SOFTWARE FMEA"
Herbert Hecht, Xuegao An and Myron Hecht, "COMPUTER-AIDED SOFTWARE FMEA", SoHaR Incorporated, Culver City CA Los Angeles, May, 2003
Model-based software development, particularly when it utilizes UML tools, provides a discipline and artifacts that make programs more transparent. We use these capabilities to automate significant steps in the generation of software FMEA. Automation not only reduces the labor required but also makes the process repeatable and removes many subjective decisions that have previously impaired the credibility of software FMEAs. The computer-aided software FMEA discussed in this paper can be the central organizing element for the verification and validation (V&V) of embedded software for real-time systems. The adoption of this technique provides large economic benefits because V&V frequently consumes the majority of the development resources for embedded software.
 

A Stochastic Model For Determining Inspection Intervals For Large Marine Vessels"
Myron Hecht and Xuegao An, A Stochastic Model For Determining Inspection Intervals For Large Marine Vessels", Proceedings of the 2004 Annual Reliability and Maintainability Symposium, Los Angeles, January, 2004
 

What is wrong with Software Test?
Herbert Hecht, What is wrong with Software Test?, 7th Annual Software Technology Conference, Hill AFB, UT, April, 1995
 

"Designing Micro-based Systems for Fail Safe Travel"
"Designing Micro-based Systems for Fail Safe Travel", IEEE Spectrum, February, 1987, p. 59
 

"The Enhanced Condition Table Methodology for Verification of Fault Tolerant & Other Critical Software"
M.Hecht, K.S.Tso, S.Hochhauser, "The Enhanced Condition Table Methodology for Verification of Fault Tolerant & Other Critical Software", Proc. 14th NASA Goddard Software Engineering Laboratory Workshop, Greenbelt, MD, November, 1989
 

"A Performability Model for Real-Time Software"
A.T. Tai, J.F.Meyer, H.Hecht, "A Performability Model for Real-Time Software", Proc. First International Workshop on Performability, University of Twente, Netherlands, February, 1991
 

"Complexity Metrics for Avionics Software"
K.S.Tso, M.Hecht, "Complexity Metrics for Avionics Software", Proc. NAECON 92, Dayton, OH, May, 1992
 

"Systems Management of Fault Tolerance"
H.Hecht, M.Hecht, "Systems Management of Fault Tolerance", Proc. IEEE First International Workshop on Systems Management, Los Angeles, April, 1993
 

"Fault Tolerant Robotic Systems for Critical Applications"
K.S. Tso, N.I. Marzwell, "Fault Tolerant Robotic Systems for Critical Applications", Proc. IEEE Conference on Robotics and Automation, Atlanta, GA, May, 1993
 

"Rare Conditions: An Important Cause of Failures"
H. Hecht, "Rare Conditions: An Important Cause of Failures", Proc. 1993 Computer Assurance and Safety Conference (COMPASS), Gaithersburg, MD, June, 1993
 

"Rare Conditions and their Effect on Software Failures"
H.Hecht, P.Crane, "Rare Conditions and their Effect on Software Failures", Proc. 1994 IEEE Reliability and Maintainability Symposium, Los Angeles, CA, January, 1994
 

"V&V in Defense and Nuclear Power Plant Projects"
H. Hecht, M. Hecht, "V&V in Defense and Nuclear Power Plant Projects", Proc. 4th IEEE Dual Use Technologies and Applications Conference, Mohawk Valley, NY, May, 1994
 

"Experimental Analysis of Computer System Dependability"
D. Tang, "Experimental Analysis of Computer System Dependability", Tutorial: 1995 IEEE Reliability and Maintainability Symposium, Washington, DC, January, 1995
 

"Cooperating Diverse Experts: A Methodology to Develop Quality Software for Critical Decision Support Systems"
D. Pradhan, F. Meyer, N. Vaidya, H. Hecht, M. Hecht, "Cooperating Diverse Experts: A Methodology to Develop Quality Software for Critical Decision Support Systems", Proc. 1995 IEEE Aerospace Applications Conference, Snowmass, CO, February, 1995
 

"Structured Approach to Modeling Fault-Tolerant Systems Using SPNP"
A. Tai, H. Hecht, K. Trivedi, "Structured Approach to Modeling Fault-Tolerant Systems Using SPNP", Evaluation Techniques for Dependable Systems, San Antonio, Texas, October, 1995
 

"Impact of Maintenance Staffing on Availability of the Air Traffic Control Communications, Navigation and Surveillance Systems"
Jasenka Rakas, Ph.D , Myron Hecht , Xuegao An, Ph.D2, and Jady Handal, Ph.D, "Impact of Maintenance Staffing on Availability of the Air Traffic Control Communications, Navigation and Surveillance Systems", Transportation Research Board Symposium, Washington, DC, January, 1999
 

"System Engineering and Software Exception Handling"
Herbert Hecht, Sr. Member, IEEE
 

"Better Verification and validation (V&V) for Critical Flight Systems"
Herbert Hecht, Ph.D Xuegao An, Ph.D
 

"Protection against Software Failures: Low Failure Rate and Fault Tolerance"
Herbert Hecht, Ph.D, Recommended practice, Software Reliability,ANSI/AIAA R-013-1992
 

"MORE EFFECTIVE V&V BY USE OF SOFTWARE FMEA"
Herbert Hecht, Ph.D, Xuegao An, Ph.D, Myron Hecht, SoHaR Incorporated
 

"Verifying the Completeness of Test"
Herbert Hecht, Ph.D, SoHaR Incorporated
 

"Sharing the Responsibility for Software Dependability"
Herbert Hecht, Ph.D, SoHaR Incorporated
 

"OFTT: A Fault Tolerance Middleware Toolkit for Process Monitoring and Control Windows NT Applications"
Myron Hecht, Xuegao An, Bing Zhang, Yutao He, SoHaR Incorporated
 

"Presentation on Prediction of Reliability and Availability for Ground Systems"
Myron Hecht, SoHaR Incorporated
 

"A Systems Approach to Exception Handling"
Herbert Hecht, Ph.D, SoHaR Incorporated
 

"Why Local Redundancy is Better"
Herbert Hecht, Ph.D, SoHaR Incorporated
 

"A Systems Engineering Approach to Exception Handling"
Herbert Hecht, Ph.D, SoHaR Incorporated
 

"Alternative Measures of Software Reliability"
Herbert Hecht and Myron Hecht, SoHaR Incorporated
 

"Why Prognostics for Avionics?"
Herbert Hecht, Ph.D, SoHaR Incorporated
 

"Software Safety and Certification: Reintroducing the FMEA"
Herbert Hecht, Ph.D, Rebecca Menes, Ph.D, SoHaR Incorporated
 

"Economics of Dependability Analysis Systems"
Herbert Hecht, Ph.D, SoHaR Incorporated
 

"An Alternative Software Reliability Assessment"
Herbert Hecht, Ph.D, SoHaR Incorporated
 

"Establishing Requirements for Exception Handling"
Herbert Hecht, Ph.D, SoHaR Incorporated
 

"ECONOMICS OF DEPENDABILITY FOR COMPUTER SYSTEMS"
Herbert Hecht, Ph.D, SoHaR Incorporated
 

"SYSTEM ENGINEERING AND SOFTWARE EXCEPTION HANDLING"
Herbert Hecht, Ph.D, SoHaR Incorporated
 

"Software FMEA Automated And As a Design Tool"
Herbert Hecht, Ph.D, Rebecca Menes, Ph.D, SoHaR Incorporated
 

"MOCET - A Certification Scaffold for Critical Software"
Herbert Hecht, Ph.D, SoHaR Incorporated
 

"Toward Better V&V"
Herbert Hecht, Ph.D; Xuegao An, Ph.D SoHaR Incorporated
 

"Sneak Circuit Analysis for the Common Man"
Jeff Miller, "Sneak Circuit Analysis for the Common Man", Rome Air Development Center, Technical Report, RADC-TR-89-223, October, 1989
 

"Intergration of Sneak Analysis with Design"
Jeff Miller, "Intergration of Sneak Analysis with Design", Air Development Center Technical Report, RADC-TR-90-109, June, 1990
 

 

 
 
 
 
Customers
OOPS. Your Flash player is missing or outdated.Click here to update your player so you can see this content.