This book describes the design of a low complexity, fault-detecting computer architecture for utilization in programmable logic controllers. These enable the safety licensing of application software by a simple but rigorous method, namely "back translation".