- Tytuł:
-
Asercyjne rozszerzenie języka ST normy IEC 61131-3 do dynamicznej weryfikacji systemów sterowania
Assertional extension in ST language of IEC 61131-3 standard for control systems dynamic verification - Autorzy:
- Sadolewski, J.
- Powiązania:
- https://bibliotekanauki.pl/articles/276931.pdf
- Data publikacji:
- 2011
- Wydawca:
- Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
- Tematy:
-
oprogramowanie
projektowanie kontraktowe
język ST
systemy sterowania
software
design by contract
Structured Text language
control systems - Opis:
-
W pracy przedstawiono propozycję asercyjnego rozszerzenia języka ST (Structured Text) normy IEC 61131-3, nawiązującego do reguł projektowania kontraktowego i języka JML (Java Modeling Language). Zapisane asercje można przekształcić do kodu podczas kompilacji w celu uzyskania możliwości dynamicznej weryfikacji programów sterowania oraz detekcji błędów czujników. Przykłady dotyczą sterowania układem grzałek w zależności od temperatury oraz urządzenia do sortowania drewna.
The paper presents a proposition of assertional extension in Structured Text language from IEC 61131-3 standard, according to design by contract rules and JML (Java Modeling Language). Stored assertions could be converted to the code at compile time to obtain possibility of dynamic verification and for sensors failure detection. Heater control system and wood sorter machine are examples. - Źródło:
-
Pomiary Automatyka Robotyka; 2011, 15, 2; 305-314
1427-9126 - Pojawia się w:
- Pomiary Automatyka Robotyka
- Dostawca treści:
- Biblioteka Nauki
Artykuł