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