Bezpieczna platforma sprzętowa dla aplikacji opisanych w języku FBD

• Autorzy: Śnieżek M.

Warianty tytułu

EN

Safety execution framework for FB applications

• Języki publikacji: PL

Abstrakty

PL

W pracy przedstawiono programowalny sterownik logiczny, zachowujący się w sposób bezpieczny. Zachowanie to obejmuje normalną pracę, podczas której wymaga się poprawnego sterowania, jak również stan awarii, w którym wyjścia muszą być automatycznie wyzerowane. Algorytm sterowania jest opisany metodą bloków funkcyjnych FBD i SFC zgodną z normą IEC-61131. Zastosowana architektura sprzętowa sprzyja podzieleniu oprogramowania na dwie części. Pierwsza część - stała, niezależna od aplikacji - obejmuje bibliotekę bloków funkcyjnych. część druga - zmienna, bezpośrednio zależna od aplikacji - zawiera strukturę połączeń bloków. Obydwie części są wykonywane przez osobne procesory. Do badania poprawności stałej części programu zaproponowano formalną metodę wykorzystującą logikę wyższego rzędu HOL. Część zamienną bada się stosując metodę zróżnicowanej retranslacji.

EN

To architecturally support the programming of safety related control applications in the graphical language Function Block Diagram and the verification of such software meeting the requirements of safety Integrity level 3, a dedicated, low complexity execution platform is presented. Its hardware is fault detecting to immediately initiate emegrency shut-downs in case of malfunctions. By design, there is no semantic gap between the programming and machine execution levels, enabling the safety licensing of application software by extremely simple, but rigorous methods, viz., diverse back translation and inspection. Operating in strictly periodic fashion, the platform exhibits fully predictable real time behaviour.

Słowa kluczowe

PL

sterowanie bezpieczne; sterownik logiczny; PLC; język bloków funkcyjnych; formalna weryfikacja

EN

safety related control; Safety Integrity Level 3; Function Block Diagrams; software verification; programmable logic controller

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2005
• Tom: R. 51, nr 1
• Strony: 31--33
• Opis fizyczny: Bibliogr. 7 poz., rys.,

Twórcy

autor

Śnieżek M.

• Katedra Informatyki i Automatyki, Politechnika Rzeszowska,

Bibliografia

• [1] N. Storey: Safety-Critical Computer Systems. Addison-Wesley, New York 1996.
• [2] Paul Hildebrandt GmbH & Co. KG: Main Catalogue - The HIMA-Planar-System. Brochure HK 90.11. Brühl, 1991.
• [3] IEC International Standard 61131-3. Programmable Controllers, Part 3: Programming Languages. Geneva: International Elcctrotcchnical Commission, 1992.
• [4] W. A. Halang, S. -K. Jung, B. J. Krämer, J. J. Scheepstra: A Safety Licensable Computing Architecture. World Scientific, Singapore 1993.
• [5] M. Śnieżek, W. A. Halang: Bezpieczny programowalny sterownik logiczny. Oficyna Wydawnicza Politechniki Rzeszowskiej. Rzeszów 1998.
• [6] M. Śnieżek, J. von Stackelberg: A fail safe programmable logic controller. Annual Reviews in Control. Vol. 27, pp. 63-72, 2003.
• [7] L. C. Paulson: Isabelle. A Generic Theorem Proven Lecture Notes in Computer Science, Vol. 828. Springer-Verlag, 1994.