A TOOL FOR THE DESIGN AND ANALYSIS OF SOFTWARE SAFETY-CRITICAL SYSTEMS

Janet A. Gill; Frederick Ferguson

A TOOL FOR THE DESIGN AND ANALYSIS OF SOFTWARE SAFETY-CRITICAL SYSTEMS

Janet A. Gill
, Frederick Ferguson

Mechanical Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

This paper describes a tool for the design and analysis of military systems with the objective of enhancing their safety-critical success. The tool uses Artificial Intelligence (AI) techniques to identify and link undesired system events to their mitigating requirements. An effective implementation of this tool requires all system events to be described in the form of linguistic inference flow charts, such as fault trees. Strategies to automatically process linguistic information include fuzzy logic, neural networks and expert rules. The DOORS™ project development and management software provides the platform upon which this tool is built. Also, where appropriate, subsystems are designed with the use of adaptive models, with the objective of enforcing safety requirements at subsystem interfaces. This paper highlights the development of this tool in relation to legacy systems, such as the H-60, and potentially to future systems such as Joint Strike Fighter (JSF).

Original language	English
Title of host publication	3rd International Conference on Information Reuse and Integration, IRI 2001
State	Published - 2001

Cite this

@inproceedings{c142fff2364b4acd91874403c6a2c083,

title = "A TOOL FOR THE DESIGN AND ANALYSIS OF SOFTWARE SAFETY-CRITICAL SYSTEMS",

abstract = "This paper describes a tool for the design and analysis of military systems with the objective of enhancing their safety-critical success. The tool uses Artificial Intelligence (AI) techniques to identify and link undesired system events to their mitigating requirements. An effective implementation of this tool requires all system events to be described in the form of linguistic inference flow charts, such as fault trees. Strategies to automatically process linguistic information include fuzzy logic, neural networks and expert rules. The DOORS{\texttrademark} project development and management software provides the platform upon which this tool is built. Also, where appropriate, subsystems are designed with the use of adaptive models, with the objective of enforcing safety requirements at subsystem interfaces. This paper highlights the development of this tool in relation to legacy systems, such as the H-60, and potentially to future systems such as Joint Strike Fighter (JSF).",

author = "Gill, \{Janet A.\} and Frederick Ferguson",

year = "2001",

language = "English",

booktitle = "3rd International Conference on Information Reuse and Integration, IRI 2001",

}

TY - GEN

T1 - A TOOL FOR THE DESIGN AND ANALYSIS OF SOFTWARE SAFETY-CRITICAL SYSTEMS

AU - Gill, Janet A.

AU - Ferguson, Frederick

PY - 2001

Y1 - 2001

N2 - This paper describes a tool for the design and analysis of military systems with the objective of enhancing their safety-critical success. The tool uses Artificial Intelligence (AI) techniques to identify and link undesired system events to their mitigating requirements. An effective implementation of this tool requires all system events to be described in the form of linguistic inference flow charts, such as fault trees. Strategies to automatically process linguistic information include fuzzy logic, neural networks and expert rules. The DOORS™ project development and management software provides the platform upon which this tool is built. Also, where appropriate, subsystems are designed with the use of adaptive models, with the objective of enforcing safety requirements at subsystem interfaces. This paper highlights the development of this tool in relation to legacy systems, such as the H-60, and potentially to future systems such as Joint Strike Fighter (JSF).

AB - This paper describes a tool for the design and analysis of military systems with the objective of enhancing their safety-critical success. The tool uses Artificial Intelligence (AI) techniques to identify and link undesired system events to their mitigating requirements. An effective implementation of this tool requires all system events to be described in the form of linguistic inference flow charts, such as fault trees. Strategies to automatically process linguistic information include fuzzy logic, neural networks and expert rules. The DOORS™ project development and management software provides the platform upon which this tool is built. Also, where appropriate, subsystems are designed with the use of adaptive models, with the objective of enforcing safety requirements at subsystem interfaces. This paper highlights the development of this tool in relation to legacy systems, such as the H-60, and potentially to future systems such as Joint Strike Fighter (JSF).

M3 - Conference contribution

BT - 3rd International Conference on Information Reuse and Integration, IRI 2001

ER -

A TOOL FOR THE DESIGN AND ANALYSIS OF SOFTWARE SAFETY-CRITICAL SYSTEMS

Abstract

Fingerprint

Cite this