A Safety Licensable Computing Architecture

A Safety Licensable Computing Architecture

By: Soon-Key Jung (author), Wolfgang A. Halang (author), Bernd J. Kramer (author)Hardback

1 - 2 weeks availability


This book describes the design of a low complexity, fault-detecting computer architecture for utilisation in programmable logic controllers (PLCs) for process control purposes. The cyclic operating mode of PLCs and a specification level graphical programming paradigm based on interconnecting application-oriented standard software function modules are architecturally supported. Thus, by design, there is no semantic gap between the specification, programming and machine execution levels enabling the safety licensing of application software by diverse back translation, an extremely simple but rigorous method.

Create a review


State-of-the-art in high integrity computing; programmable logic controllers; a safety licensable computing system; detailed hardware description; rigorous firmware development; high integrity application software.

Product Details

  • publication date: 12/01/1993
  • ISBN13: 9789810216283
  • Format: Hardback
  • Number Of Pages: 280
  • ID: 9789810216283
  • ISBN10: 9810216289

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly