A safe programmable electronic system

• Autorzy: Halang W. , Śnieżek M.
• Języki publikacji: EN

Abstrakty

EN

A dual-channel computer architecture for utilisation in programmable logic controllers is presented. Faults can be detected by novel high-speed comparators with fail-safe operation. The cyclic operating mode of PLCs and a specification-level, graphical programming paradigm based on the interconnection of application-oriented standard software function modules are architecturally supported. Thus, by design, there is no semantic gap between the programming and machine execution levels enabling the safety licensing of application software by an extremely simple, but rigorous method, viz., diverse back translation.

Słowa kluczowe

EN

programmable electronic systems; safety; fail-safe comparison; function block programming; software verification

• Wydawca: Polska Akademia Nauk, Wydział IV Nauk Technicznych
• Czasopismo: Bulletin of the Polish Academy of Sciences. Technical Sciences
• Rocznik: 2010
• Tom: Vol. 58, nr 3
• Strony: 423--434
• Opis fizyczny: Bibliogr. 11 poz., rys.

Twórcy

autor

Halang W.

autor

Śnieżek M.

• Fernuniversitat, Lehrstuhl f¨ur Informationstechnik, 58084 Hagen, Germany

Bibliografia

• [1] W.A. Halang, S.-K. Jung, B. Kr¨amer, and J. Scheepstra, A Safety Licensable Computing Architecture, World Scientific, Singapore, 1993.
• [2] W.A. Halang and M. Śnieżek, “Digitale Datenverarbeitungsanlage fur sicherheitsgerichtete Automatisierungsaufgaben zur Ausf¨uhrung als Funktions- und Ablaufpl¨ane 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¨uhl (1991).
• [8] Paul Hildebrandt GmbH & Co. KG, “Fail-safe electronic controls – the HIMA planar system”, Brochure TI 92.08. Bruhl (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 Binarworte mit ausfallsicherheitsgerichtetem Ausgabeverhalten”, German patent 198 61 281 (1998).
• [11] H. Schuck, “Analoger fensterkomparator in fail-safe-technik”, Doctoral dissertation, Technische Universit¨at Braunschweig, Braunschweig, 1987.