Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: język ST

Sortuj według:

Ogranicz wyniki do:

Asercyjne rozszerzenie języka ST normy IEC 61131-3 do dynamicznej weryfikacji systemów sterowania

Sadolewski J.

Pomiary Automatyka Robotyka

2011

R. 15, nr 2

305-314

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.

Środowisko programistyczne dla rozproszonych minisystemów kontrolno-pomiarowych

Rzońca D., Sadolewski J., Stec A., Świder Z., Trybus B., Trybus L.

Metody Informatyki Stosowanej

2008

nr 1 (Tom 13)

199-221

Artykuł niniejszy dokumentuje aktualny stopień zaawansowania prac nad prototypem środowiska do programowania sterowników i innych urządzeń kontrolno-pomiarowych według normy IEC.

An CPDev environment for programming small distributed control-and-measu-rement systems in ST language (Structured Text) of IEC 61131-3 standard is presented. The environment involves ST compiler, configurer of hardware resources and simulator. The compiler generates an universal code thai can be executed on different platforms by Java-like virtual machines. The environment is open in terms of software and hardware, what means that the programmer can create his own libraries, and I/O and communication drivers can be written by hardware designers and linked with the universal code. It is possible to select a number of data types for particular applications. The environment has been created in C# on MS .NET Framework platform. First application for programming a distributed mini-system from LUMEL Zielona Góra is described.