A safe programmable electronic system

Bulletin of the Polish Academy of Sciences: Technical Sciences

Volumn 58, Issue 3, 2010, Pages 423-434

  Halang, W A ^a   Sniezek M ^b  

^a UNIVERSITY OF HAGEN   (Germany)

^b RZESZOW UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

Fail safe comparison; Function block programming; Programmable electronic systems; Safety; Software verification

Indexed keywords

ACCIDENT PREVENTION; APPLICATION PROGRAMS; COMPUTER ARCHITECTURE; COMPUTER GRAPHICS; PROGRAM TRANSLATORS; PROGRAMMABLE LOGIC CONTROLLERS; SEMANTICS; VERIFICATION;

APPLICATION-ORIENTED; BACK TRANSLATIONS; ELECTRONIC SYSTEMS; FAIL SAFES; FUNCTION BLOCK; GRAPHICAL PROGRAMMING; HIGH SPEED COMPARATOR; SOFTWARE VERIFICATION;

COMPUTER PROGRAMMING;

EID: 79751513320     PISSN: 02397528     EISSN: None     Source Type: Journal    
DOI: 10.2478/v10175-010-0040-4     Document Type: Article

References (11)

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