Project Experience with IEC 61508 and Its Consequences

Authors:
Rainer Faller
Affiliations:
-
Venue:
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Year:
2001

Citing 0
Cited 3

Software Criticality Analysis of COTS/SOUP

SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508

SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABB

SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper reports on the experience made with the IEC 61508 implementation in recent projects of European and North American system vendors and Japanese equipment vendors. As an answer to the identified problems, the paper describes a knowledge tool to ease a formalized verification process and proposes a combination of software verification methods to address the particular issues with pre-existing software for use in programmable electronic safety systems.