A safety licensable computing architecture
著者
書誌事項
A safety licensable computing architecture
World Scientific, c1993
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliography, appendix and index
内容説明・目次
内容説明
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.
目次
- 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.
「Nielsen BookData」 より