List of Figures | |
List of Tables | |
Authors | |
Foreword | |
Abstract | |
Acknowledgement | |
Introduction | p. 1 |
State of the Art in High Integrity Computing | p. 9 |
Programmable Logic Controllers | p. 59 |
A Safety Licensable Computing System | p. 79 |
Detailed Hardware Description | p. 99 |
Rigorous Firmware Development | p. 109 |
High Integrity Application Software | p. 181 |
Conclusion | p. 199 |
A: Formal Hardware Definition in KARL III | p. 215 |
Table of Contents provided by Blackwell. All Rights Reserved. |