Wyniki wyszukiwania - BazTech

1

Conversion of ST control programs to ANSI C for verification purposes

Sadolewski J.

e-Informatica Software Engineering Journal

|

2011

|

Vol. 5, nr 1

65--76

EN

The paper presents a Behavioral Interface Specification Language for control programs written in ST language of IEC 61131-3 standard. The specification annotations are stored as special comments in ST code. The code and comments are then converted into ANSI C form for further transformation with Caduceus and Why tools. Verification of compliance between specification and code is performed in Coq.

2

Ś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

PL

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

EN

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.

3

Mini-DCS system programming in IEC 61131-3 structured text

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

Journal of Automation Mobile Robotics and Intelligent Systems

|

2008

|

Vol. 2, No. 3

48-54

EN

A prototype environment called CPDev for programming small distributedsmall-distributed control-and-measurement systems in Structured Text language of IEC 61131-3 standard is presented . The environment is open what means that the code generated by the compiler can be executed on different hardware platforms. However, such universal code must be processed by an interpreter, another words by a virtual machine,an interpreter, another words by- a virtual machine, must process such universal code similarly as programs written in Java. The CPDev environment consists of the compiler, simulator and configurer of hardware resources (i.e. communications). They are developed in C# at MS.NET Framework 2.0 platform. CPDev is open allowing the user to create function blocks and libraries. External interface procedures (drivers) can be written by hardware designers and linked with the universal code. Free selection of data types required by different applications is provided. Virtual machine written in ANSI C is dedicated for a particular processor. So far the machines for AVR, MCS-51 and PC have been developed. Programming a mini-DCS system from LUMEL Zielona Góra has been the first application of CPDev.