Title

A safe programmable electronic system

Journal title

Bulletin of the Polish Academy of Sciences Technical Sciences

Yearbook

2010

Volume

58

Issue

No 3

Authors

Halang, W. ; Śnieżek, M.

Divisions of PAS

Nauki Techniczne

Coverage

423-434

Date

2010

Identifier

DOI: 10.2478/v10175-010-0040-4 ; ISSN 2300-1917

Source

Bulletin of the Polish Academy of Sciences: Technical Sciences; 2010; 58; No 3; 423-434

References

Halang W. (1993), A Safety Licensable Computing Architecture. ; W. A. Halang and M. Śnieżek, "Digitale Datenverarbeitungsanlage für sicherheitsgerichtete Automatisierungsaufgaben zur Ausführung als Funktions- und Ablaufpläne dargestellter Programme", <i>German patent</i> 198 41 194 (1998). ; Śnieżek M. (1998), A Safe Programmable Logic Controller. ; Krebs H. (1984), Ein Verfahren zur Software-Verifikation, Regelungstechnische Praxis, 26, 73. ; International Electrotechnical Commission Standard IEC 61131-3, <i>Programmable Controllers, Part 3, Programming Languages</i> Geneva, 1992. ; VDI/VDE-Richtlinie 3696, "Vendor independent configuration of distributed process control systems", Beuth Verlag, Berlin, 1995. ; Paul Hildebrandt GmbH & Co. KG, "Main catalogue - the HIMA planar system", <i>Brochure</i> HK 90.11, Brühl (1991). ; Paul Hildebrandt GmbH & Co. KG, "Fail-safe electronic controls - the HIMA planar system", <i>Brochure</i> TI 92.08. Brühl (1992). ; GTI Industrial Automation, <i>An Introduction to MagLog 24 Inherently Fail-safe Logic Technology - Eliminating the Unexpected</i>, GTI, Apeldoorn, 1993. ; W. A. Halang and M. Śnieżek: "Elektronischer Vergleicher zweier Binärworte mit ausfallsicherheitsgerichtetem Ausgabeverhalten", <i>German patent</i> 198 61 281 (1998). ; H. Schuck, "Analoger fensterkomparator in fail-safe-technik", <i>Doctoral dissertation</i>, Technische Universität Braunschweig, Braunschweig, 1987.