A Safety Licensable Computing Architecture 1

Data & IT

A Safety Licensable Computing Architecture

W A Halang • B J Kramer • S-K Jung • J J Scheepstra

Pocket

1349:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

272 sidor
1993

This book describes the design of a low complexity, fault-detecting computer architecture for utilization in programmable logic controllers. The cyclic operating mode of PLCs, and a specification level graphical programming based on the interconnection of application-oriented standard software function modules, are architecturally supported. Thus, by design there is no semantic gap between the programming and machine execution levels. This enables the safety licensing of application software by a simple but rigorous method, namely "back translation".

Författare: W A Halang, B J Kramer, S-K Jung, J J Scheepstra
Format: Pocket/Paperback
ISBN: 9789810216290
Språk: Engelska
Antal sidor: 272
Utgivningsdatum: 1993-12-01
Förlag: World Scientific Publishing Co Pte Ltd