Safety Licensable Computing Architecture

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.

SAFETY LICENSABLE COMPUTING ARCHITECTURE, A

Science & Math

Halang, Wolfgang A.

Jung, Soon-Key

Kramer, Bernd J

Scheepstra, Johan J

Mathematics

World Scientific Publishing Company

See the best price to sell, buy, or rent books by Jung, Soon-Key. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Jung, Soon-Key