[PDF][PDF] Software safety: where's the evidence?
JA McDermid - SCS, 2001 - crpit.scem.westernsydney.edu.au
Standards for safety critical software usually either mandate or recommend development
and assessment techniques which are deemed appropriate to reduce the risk of flaws in the …
and assessment techniques which are deemed appropriate to reduce the risk of flaws in the …
[PDF][PDF] A pragmatic approach to reasoning about the assurance of safety arguments
The development of safety critical systems is guided by standards. Many standards require
the development of a safety case to demonstrate the acceptability of Safety Critical Systems …
the development of a safety case to demonstrate the acceptability of Safety Critical Systems …
[PDF][PDF] Justifying the use of COTS Components within safety critical applications
F Ye - 2005 - Citeseer
The use of COTS software components within safety-critical systems has been suggested as
potentially bringing substantial benefits in terms of cost and time savings. However, the …
potentially bringing substantial benefits in terms of cost and time savings. However, the …
UML based severity analysis methodology
A Hassan, K Goseva-Popstojanova… - Annual Reliability and …, 2005 - ieeexplore.ieee.org
This paper addresses the problem of assessing the severity based on UML artifacts and
uses the cost of failures of software components and connectors as well as failures of system …
uses the cost of failures of software components and connectors as well as failures of system …
[PDF][PDF] Artificial neural networks in safety-critical applications
Z Kurd - 2005 - Citeseer
Abstract Artificial Neural Networks (ANNs) are employed in many areas of industry such as
medicine and defence. Their learning and generalisation capabilities make them highly …
medicine and defence. Their learning and generalisation capabilities make them highly …
A framework for assessing standards for safety critical computer-based systems
KA Eastaughffe, A Cant… - Proceedings 4th IEEE …, 1999 - ieeexplore.ieee.org
This paper presents a framework for assessing different standards for computer-based
safety-critical systems. Key attributes of standards forming a basis for comparison are …
safety-critical systems. Key attributes of standards forming a basis for comparison are …
[PDF][PDF] Derivation of safety requirements for an embedded control system
PA Lindsay, JA McDermid - Systems Engineering Test and …, 2002 - researchgate.net
Overlooked and poorly understood requirements are known to be a major cause of
softwarerelated failures in system designs. This paper describes the application of a process …
softwarerelated failures in system designs. This paper describes the application of a process …
Deriving quantified safety requirements in complex systems
PA Lindsay, JA McDermid, DJ Tombs - International Conference on …, 2000 - Springer
A variety of hazard analysis techniques have been proposed for software-based systems but
individually the techniques are limited in their ability to cope with system complexity, or to …
individually the techniques are limited in their ability to cope with system complexity, or to …
[PDF][PDF] Security assurance levels: a SIL approach to security
N Kube, B Singer - Procdeedings of the 2nd SCADA Security …, 2008 - s4xevents.com
A Safety Integrity Level (SIL) is a statistical representation of the reliability of the Safety
Instrumented System (SIS) when a process demand occurs. SIL's are correlated to the …
Instrumented System (SIS) when a process demand occurs. SIL's are correlated to the …