A 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 applica...
Gespeichert in:
Format: | Elektronisch E-Book |
---|---|
Sprache: | English |
Veröffentlicht: |
Singapore
World Scientific Pub. Co.
c1993
|
Schlagworte: | |
Online-Zugang: | FHN01 URL des Erstveroeffentlichers |
Zusammenfassung: | 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 |
Beschreibung: | xxv, 251 p. ill |
ISBN: | 9789814354226 |
Internformat
MARC
LEADER | 00000nmm a2200000zc 4500 | ||
---|---|---|---|
001 | BV044638514 | ||
003 | DE-604 | ||
005 | 20190226 | ||
007 | cr|uuu---uuuuu | ||
008 | 171120s1993 |||| o||u| ||||||eng d | ||
020 | |a 9789814354226 |c electronic bk. |9 978-981-4354-22-6 | ||
024 | 7 | |a 10.1142/2237 |2 doi | |
035 | |a (ZDB-124-WOP)00005446 | ||
035 | |a (OCoLC)1012623651 | ||
035 | |a (DE-599)BVBBV044638514 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
049 | |a DE-92 | ||
082 | 0 | |a 629.89 |2 22 | |
245 | 1 | 0 | |a A Safety licensable computing architecture |c Wolfgang A. Halang ... [et al.] |
264 | 1 | |a Singapore |b World Scientific Pub. Co. |c c1993 | |
300 | |a xxv, 251 p. |b ill | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
520 | |a 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 | ||
650 | 4 | |a Computer architecture | |
650 | 4 | |a Electronic digital computers / Reliability | |
700 | 1 | |a Halang, Wolfgang A. |d 1951- |e Sonstige |0 (DE-588)120993732 |4 oth | |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789810216283 |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9810216289 |
856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/2237#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
912 | |a ZDB-124-WOP | ||
999 | |a oai:aleph.bib-bvb.de:BVB01-030036488 | ||
966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/2237#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext |
Datensatz im Suchindex
_version_ | 1804178055264993280 |
---|---|
any_adam_object | |
author_GND | (DE-588)120993732 |
building | Verbundindex |
bvnumber | BV044638514 |
collection | ZDB-124-WOP |
ctrlnum | (ZDB-124-WOP)00005446 (OCoLC)1012623651 (DE-599)BVBBV044638514 |
dewey-full | 629.89 |
dewey-hundreds | 600 - Technology (Applied sciences) |
dewey-ones | 629 - Other branches of engineering |
dewey-raw | 629.89 |
dewey-search | 629.89 |
dewey-sort | 3629.89 |
dewey-tens | 620 - Engineering and allied operations |
discipline | Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02042nmm a2200385zc 4500</leader><controlfield tag="001">BV044638514</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190226 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s1993 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814354226</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-981-4354-22-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/2237</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00005446</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012623651</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044638514</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">629.89</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A Safety licensable computing architecture</subfield><subfield code="c">Wolfgang A. Halang ... [et al.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific Pub. Co.</subfield><subfield code="c">c1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xxv, 251 p.</subfield><subfield code="b">ill</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer architecture</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic digital computers / Reliability</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Halang, Wolfgang A.</subfield><subfield code="d">1951-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)120993732</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9789810216283</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9810216289</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/2237#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030036488</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/2237#t=toc</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
id | DE-604.BV044638514 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T07:57:53Z |
institution | BVB |
isbn | 9789814354226 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030036488 |
oclc_num | 1012623651 |
open_access_boolean | |
owner | DE-92 |
owner_facet | DE-92 |
physical | xxv, 251 p. ill |
psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
publishDate | 1993 |
publishDateSearch | 1993 |
publishDateSort | 1993 |
publisher | World Scientific Pub. Co. |
record_format | marc |
spelling | A Safety licensable computing architecture Wolfgang A. Halang ... [et al.] Singapore World Scientific Pub. Co. c1993 xxv, 251 p. ill txt rdacontent c rdamedia cr rdacarrier 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 Computer architecture Electronic digital computers / Reliability Halang, Wolfgang A. 1951- Sonstige (DE-588)120993732 oth Erscheint auch als Druck-Ausgabe 9789810216283 Erscheint auch als Druck-Ausgabe 9810216289 http://www.worldscientific.com/worldscibooks/10.1142/2237#t=toc Verlag URL des Erstveroeffentlichers Volltext |
spellingShingle | A Safety licensable computing architecture Computer architecture Electronic digital computers / Reliability |
title | A Safety licensable computing architecture |
title_auth | A Safety licensable computing architecture |
title_exact_search | A Safety licensable computing architecture |
title_full | A Safety licensable computing architecture Wolfgang A. Halang ... [et al.] |
title_fullStr | A Safety licensable computing architecture Wolfgang A. Halang ... [et al.] |
title_full_unstemmed | A Safety licensable computing architecture Wolfgang A. Halang ... [et al.] |
title_short | A Safety licensable computing architecture |
title_sort | a safety licensable computing architecture |
topic | Computer architecture Electronic digital computers / Reliability |
topic_facet | Computer architecture Electronic digital computers / Reliability |
url | http://www.worldscientific.com/worldscibooks/10.1142/2237#t=toc |
work_keys_str_mv | AT halangwolfganga asafetylicensablecomputingarchitecture |