Project Experience with IEC 61508 and Its Consequences

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.