Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "programmable logic controller (PLC)" wg kryterium: Temat


Wyświetlanie 1-24 z 24
Tytuł:
Increasing flexibility and availability of manufacturing systems - dynamic reconfiguration of automation software at runtime on sensor faults
Autorzy:
Wannagat, A.
Vogel-Heuser, B.
Powiązania:
https://bibliotekanauki.pl/articles/384699.pdf
Data publikacji:
2009
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
agents
programmable logic controller (PLC)
industrial production systems
availability
Opis:
This proposal introduces a conceptual design of self-adapting system software to manage sensor failures in factory automation. The approach reconfigures the arrangement of software modules in real time to preserve the required stability of production processes without interrupts. Reconfiguration will be decided by rules from a knowledge base system. This paper discusses conventional, o bject oriented and agent based concepts, and focuses on modelling of these concepts. For discussion purposes, a real industrial application - a continuous thermo-hydraulic press will be presented as application example.
Źródło:
Journal of Automation Mobile Robotics and Intelligent Systems; 2009, 3, 3; 47-53
1897-8649
2080-2145
Pojawia się w:
Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Synteza sprzętowa i programowa symulatora sterowania ruchem pojazdów na określonym obszarze
Hardware and software synthesis of a traffic control simulator for a specific area
Autorzy:
Małecki, K.
Jaszczak, S.
Sokołowski, R.
Powiązania:
https://bibliotekanauki.pl/articles/156699.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
symulacja ruchu drogowego
sterowniki PLC
traffic simulation
programmable logic controller (PLC)
Opis:
W niniejszym artykule przedstawiono wieloelementowe, sprzętowo-programowe środowisko symulacyjne do sterowania ruchu drogowego. Główną ideą było wytworzenie łatwo rozbudowywalnego, elastycznego symulatora ruchu drogowego umożliwiającego prowadzenie badań z zakresu sterowania ruchem drogowym. Wykorzystano do tego specjalnie opracowane makiety obszarowe (różne rodzaje skrzyżowań dróg), sterowniki PLC oraz opracowano program komputerowy interpretujący dane pochodzące z makiet.
The multi-component, hardware and software simulation environment for traffic control is presented in this paper. The main idea was to create easy extendable, flexible simulation facility for research in the field of traffic control. A specially designed model area (different types of road junctions: a T-type intersection, crossing four roads classical and a typical junction, which is a model of a real system of roads in Szczecin), PLCs and a proprietary computer program that interprets data from the model were used for this purpose. The paper presents the concept of a hardware-software simulator (Fig. 1) together with a description of individual elements (Figs. 2, 3 and 5). It is worth mentioning that the way to develop a program and the layout and type of PLC allows the connection of any mock-ups that will provide the appropriate signals. These signals are interpreted and on the basis of them the so-called scenario will be generated. Finally, the paper presents a real situation that could occur at the T-type intersection (vehicle enters the intersection and cannot leave it). Due to the fact that the models are equipped with the so-called inductive loops, the system offers an appropriate scenario to avoid blocking the intersection. The paper can be concluded with a statement that the developed hardware-software simulator allows conducting research in the field of traffic control in a safe and collision-free way.
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 7, 7; 608-610
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Realizacja hierarchicznych sieci Petriego z wykorzystaniem sterowników klasy PLC
Realization of Hierarchical Petri net by means of PLC
Autorzy:
Andrzejewski, G.
Mróz, P.
Powiązania:
https://bibliotekanauki.pl/articles/152673.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
hierarchiczne sieci Petriego
programowalne sterowniki logiczne PLC
hierarchical Petri nets
programmable logic controller (PLC)
Opis:
W artykule przedstawione zostały zasady realizacji hierarchicznych, interpretowanych sieci Petriego (HPN) w sterownikach klasy PLC. Jako język implementacji wybrano graficzny język drabinkowy (LD), ze względu na jego uniwersalny charakter. Proponowaną metodę realizacji zaprezentowano na szeregu przykładach, przedstawiających różne aspekty opisu, wykorzystywane w sieciach hierarchicznych.
The paper presents rules of implementation of interpreted Hierarchical Petri nets (HPN) by means of PLC. The Ladder Diagram (LD) language has been used because of its universal character. The proposed method is shown on a set of examples, which are describing various aspects of formal description used in HPN model.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 6-8
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pomiary położenia kątowego z zastosowaniem enkodera i wejść binarnych sterowników PLC
Measurements of angular position by an encoder with binary PLC inputs
Autorzy:
Ociepa, Z.
Powiązania:
https://bibliotekanauki.pl/articles/156479.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
enkodery inkrementalne
sterowniki programowalne PLC
symulacje komputerowe
incremental encoders
programmable logic controller (PLC)
computer simulations
Opis:
Praca dotyczy sposobu organizacji cyfrowych pomiarów położenia kątowego za pomocą enkoderów i sterowników PLC. Analizuje się stosowane w praktyce zastosowania enkoderów i sposoby przetwarzania ich sygnałów wyjściowych w sterownikach programowalnych. Szczególną uwagę poświęcono tanim rozwiązaniom pomiaru położenia kątowego z wykorzystaniem enkoderów inkrementalnych i binarnych wejść PLC. Opracowano modele symulacyjne cyfrowych torów pomiarowych i przeprowadzono ich badania w środowisku Matlab. W badaniach zwrócono uwagę na potrzebę wzajemnego doboru enkodera i sterownika PLC w procesie projektowania toru pomiarowego.
The paper deals with the way of taking digital measurements of angular position by means of encoders and PLC controllers. The measurement systems used in practice and the ways of transforming their output signals in programmable PLC controllers are analysed. A special attention is paid to cheap design solutions, adequate for low angular velocity. There is proposed application of incremental encoders, which are cheaper than absolute ones, and typical and non-expensive digital input PLCs. Mathematical models of such digital measurement channels including encoders and PLCs software were worked out and simulation experiments in MATLAB were performed. Reading encoders The output frequency bands, adequate for computing capacity, of reading encoders are defined. The resolution of encoders should be chosen in relation to the capacity of PLC inputs.
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 4, 4; 225-228
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A PC-based operator and diagnostic panel for Simatic S7-200 programmable controllers
Autorzy:
Mazek, K.
Chmiel, M.
Kulisz, J.
Powiązania:
https://bibliotekanauki.pl/articles/141655.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
operator panel
human machine interface (HMI)
programmable logic controller (PLC)
wireless communication
microprocessor system
Opis:
The paper describes a prototype operator panel, which was designed to operate with the S7-200 family of Programmable Logic Controllers (PLC-s) from Siemens. Most of the functionality of the operator panel was implemented in a computer program, which runs on a PC-class computer. The program communicates with a PLC through its communication port configured in the Freeport mode. Two kinds of interface between the PC, and the PLC are supported: wired, and wireless. For wired connection a standard PC/PPI cable supplied by Siemens is used. For wireless connection two communication modules were designed, which operate in the free 433 MHz band. The operator panel program is intuitive, and easy to use. States of PLC inputs and outputs are presented using graphical objects. It is possible to modify states of the outputs, and monitor and edit any variable in the M and V memory in the PLC. The application supports also alarming. The program can be run on any computer with the MS Windows operating system installed. This makes the solution very cost-effective. Providing both wired and wireless communication radically increases flexibility of the proposed solution. The panel can be quickly mounted in areas, where pulling new cables is inconvenient, difficult or expensive.
Źródło:
Archives of Electrical Engineering; 2013, 62, 2; 307-320
1427-4221
2300-2506
Pojawia się w:
Archives of Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Procedura hardware in the loop w syntezie algorytmów sterowania
Hardware in the loop procedure used for the control system synthesis
Autorzy:
Jaszczak, S.
Powiązania:
https://bibliotekanauki.pl/articles/154658.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
HIL
hardware-in-the-loop
PLC
Programmable Logic Controller
OPC (OLE for Process Control)
DDE (Dynamic Data Exchange)
programmable logic controller (PLC)
Opis:
W artykule omówiono wykorzystanie technologii OPC do badania systemów sterowania zgodnie z procedurą Hardware In The Loop. Artykuł jest efektem eksperymentów nad zastosowaniem programu Simulink jako aplikacji klienckiej, za pomocą której zrealizowano model obiektu i KepwareOPC jako serwer OPC. Procedura HIL została przeprowadzona w układzie sterowania kursem pojazdu podwodnego z wykorzystaniem sterownika PLC jako platformy wykonawczej algorytmu sterowania i modelu pojazdu podwodnego w programie Simulink.
In this paper possibility of using OPC technology for the process of designing and testing the heading control algorithm according to the Hardware In The Loop (HIL) procedure is described. The main problem in the design of automated systems is the safe real time testing of the control algorithm, during a deployment. This algorithm synthesized at the computer simulation level according to the Model In The Loop procedure with use of specialized software does not take into account specification of the target platform i.e.: limited time for executing a single algorithm loop, limited program memory, limited precision of signal values etc. According to the HIL procedure the control algorithm is implemented using a target executing platform (i.e. PLC, microcontroller, PC + DAQ board, etc.), whilst a plant is the mathematical model in PC memory. The presented text is a result of the experiments on employing Simulink as a client application, which enables simulation of the specific and KepwareOPC as the OPC. The main advantage of the HIL procedure is the possibility of safe real time testing of the control algorithm. Besides the security reasons, also the cost of implementation and testing of algorithm on real object is essential. In the third paragraph the HIL experiment concerning the control of an underwater vehicle course angle is presented. The PLC controller with the control algorithm is a control system, whereas the underwater vehicle model is implemented in the Simulink.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 685-687
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metoda sprzętowej realizacji programu LD z wykorzystaniem układów FPGA
A method of hardware implementation of LD programs in FPGA devices
Autorzy:
Mocha, J.
Kania, D.
Powiązania:
https://bibliotekanauki.pl/articles/156387.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
programowalne sterowniki logiczne
PLC
język schematów drabinkowych
LD
układy logiki programowalnej
FPGA
programmable logic controller (PLC)
ladder diagram
programmable logic device
PLD
Opis:
W artykule przedstawiono oryginalną metodę sprzętowej realizacji programów sterowania opisanych w języku schematów drabinkowych LD (ang. Ladder Diagram). Zaprezentowaną ideę można wykorzystać do realizacji układów sterowania w strukturach programowalnych FPGA (ang. Field Programmable Gate Array). Szczególny nacisk położono na efektywne wykorzystanie naturalnej współbieżności cechującej język LD. Opracowana metoda wykorzystuje dwa rodzaje grafów: graf następstw oraz graf pierwszeństwa, które są wynikiem analizy programów sterowania opisanych w języku LD. Efektem analizy programu jest struktura układu, który może być bezpośrednio implementowany w strukturach FPGA.
The paper presents an original method of hardware processing of control programs defined in the Ladder Diagram (LD) format. The objective of the method is to process a control program in parallel to a maximum extent, using hardware resources in an FPGA structure. Thanks to this a radical speed-up of program processing is obtained [3]. An important problem is ensuring identicalness of the results generated by the proposed hardware implementation and those generated by a classical PLC processing a control program in a serially-cyclic manner. The methods presented in literature so far either do not ensure such identicalness [4] or are not efficient in terms of resources usage [5, 6]. The proposed approach is presented using a simple example program described in the LD format (Fig. 2). The method exploits the Dependency Graph (DG) concept defined in [7] (Fig. 4). Because of a not natural way of assigning directions to Dependency Graph edges, a new concept of graph was proposed - the Succession Graph (Fig. 5). The Succession Graph does not, however, contain full information about the sequence of networks in the program. So another kind of graph was defined - the Priority Graph (Fig. 7). Basing on the two proposed graphs, one can determine which networks of the program can be processed concurrently and which must be processed sequentially. The result of analysis of the program is a circuit structure which can be directly implemented in an FPGA (Fig. 9). The method presented is a starting point for the future research, concerning efficient implementation of control programs in programmable structures.
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 1, 1; 88-92
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wykorzystanie metod zorientowanych obiektowo do programowania sterowników programowalnych
The use of object oriented methods for programmable logic controllers programming
Autorzy:
Zieliński, D.
Łudziński, Ł.
Powiązania:
https://bibliotekanauki.pl/articles/268078.pdf
Data publikacji:
2009
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
programowanie zorientowane obiektowo
sterowniki programowalne
IEC 61131
object-oriented programming
programmable logic controller (PLC)
IEC 61131-3
Opis:
W artykule przedstawione zostały główne udogodnienia wynikające z wykorzystywania zasad i metod podejścia obiektowego do programowania sterowników programowalnych. Omówiona została aktualna sytuacja tradycyjnych języków tekstowych i graficznych po wprowadzeniu rozszerzenia IEC 61499 normy IEC 61131. W dalszej części zaprezentowano podział cyklu tworzenia programu na trzy zasadnicze części – analizę, projektowanie oraz programowanie obiektowe. Zaproponowany podział, wraz z przedstawionymi metodami i zasadami, został wykorzystany do stworzenia programu Enkoder w oprogramowaniu narzędziowym CoDeSys v3. W celu stworzenia kolejnego programu Transport, wykorzystano oprogramowanie narzędziowe Step 7. W końcowej części, przedstawiono wady i zalety wynikające ze stosowania zasad i metod zorientowanych obiektowo.
This paper shows main conveniences of using object-oriented principles and methods for PLC’s programming. Actual situation of text and graphic languages after International Electrotechnical Commission introduction IEC 61131 and its extend IEC 61499 are discussed. Next, division of the cycle of creating program into three fundamental parts, analysis, design and programming are presented. At the end, advantages and disadvantages of using object-oriented principles and methods are shown.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2009, 26; 129-132
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On possibilities of the practical implementation of balance-based adaptive control methodology
Autorzy:
Czeczot, J.
Powiązania:
https://bibliotekanauki.pl/articles/1839191.pdf
Data publikacji:
2007
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
model-based adaptive control
practical implementation
bumpless switching
virtual controllers
programmable logic controller (PLC)
recursive least-squares estimation
Opis:
This paper deals with two approaches to the practical implementation of the Balance-Based Adaptive Controller(B-BAC): the low-level PLC-based approach of the explicit form of the B-BAC and the high-level PC-based one in the form of the general "virtual controller". In both cases, we discuss the details of meeting the general requirements of a particular practical implementation. We also consider the implementation aspects that are independent of the implementation, such as development of the front panel, saturation of a manipulated variable, on-line measurement and data acquisition, implementation of the on-line estimation procedure, bumpless switching between the automatic and manual mode, etc. Additionally, we present how to derive both the general form and the final explicit form of the B-BAC on the example of a biotechnological process and how to apply these forms in the particular practical implementation.
Źródło:
Control and Cybernetics; 2007, 36, 4; 967-984
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sterowanie pracą piecokominka a emisja tlenku węgla do atmosfery
Control of the stove-fireplace with accumulation in relation to the CO emission
Autorzy:
Sornek, K.
Filipowicz, M.
Kurcz, L.
Szubel, M.
Rosół, M.
Rzepka, K.
Ręka, J.
Powiązania:
https://bibliotekanauki.pl/articles/297593.pdf
Data publikacji:
2015
Wydawca:
Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:
odnawialne źródła energii
biomasa
systemy grzewcze
systemy sterowania
programowalne sterowniki logiczne
PLC
renewable energy
biomass
heating systems
programmable logic controller (PLC)
Opis:
W artykule omówiono praktyczne aspekty sterowania pracą urządzeń grzewczych małej mocy - piecokominków - pod kątem zapewnienia odpowiednio niskiej emisji tlenku węgla do atmosfery. Na podstawie przeprowadzonych badań opracowana została pierwsza wersja automatycznego systemu kontrolno-pomiarowego ze sterownikiem PLC, oparta na wykorzystaniu dwóch sygnałów sterujących pracą przepustnic: stężenia tlenku węgla i tlenu w spalinach. Otrzymane w rezultacie średnie wartości emisji CO do atmosfery pokazują, iż dalszy rozwój opracowanego systemu przyczyni się do spełnienia wysokich wymagań norm BImSchV 2 i Ecodesign.
This paper presents practical aspects controlling of operation of small-scale heating devices - stove-fireplaces with accumulation - in order to achieve as low as possible CO emission in atmosphere. Based on the previous results, the authors propose the starting version of the new measurement and control s ystem with PLC controller, using two signals to control the air supply to the furnace area: the volumes of O2 and CO emissions. The mean value of CO emissions to atmosphere confirms the possibility of meet the high requirements of the Ecodesign and BImSchV 2 standards.
Źródło:
Inżynieria i Ochrona Środowiska; 2015, 18, 4; 497-512
1505-3695
2391-7253
Pojawia się w:
Inżynieria i Ochrona Środowiska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Xilinx Virtex-4 jako platforma rozwojowa jednostek centralnych PLC
Xilinx Virtex-4 - based PLC CPUs development platform
Autorzy:
Chmiel, M.
Mocha, J.
Hrynkiewicz, E.
Powiązania:
https://bibliotekanauki.pl/articles/156701.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
programowalny sterownik logiczny PLC
jednostka centralna
przetwarzanie współbieżne
układy programowalne
FPGA
programmable logic controller (PLC)
central processing unit
concurrent operation
FPGA-field programmable gate array
Opis:
Artykuł prezentuje koncepcję platformy sprzętowo-programowej umożliwiającej testowanie różnych rozwiązań konstrukcyjnych jednostek centralnych sterowników programowalnych. Platforma do testowania jednostek bazuje na układzie FPGA Virtex-4 oraz opracowanym dedykowanym oprogramowaniu narzędziowym, umożliwiającym testowanie oraz badania właściwości opracowywanych jednostek. Przedstawiono wybrane dwuprocesorowe bitowo-bajtowe jednostki spotykane w literaturze, zorientowane na maksymalnie efektywne wykorzystanie obydwu procesorów. Szczególną uwagę zwrócono na szybkość wykonywania programu sterowania oraz funkcjonalność jednostki.
To develop fast central processing units (CPUs) of programmable logic controllers (PLC) one can employ the architecture with two processors: a bit and a byte processor. The bit processor shall be responsible for processing the bit variables, while the byte processor shall be meant to deal with the byte (word) variables [1, 2, 3, 4, 5, 6]. In case of the double-processor architecture it is extremely important to synchronize operation of data exchange between the processors. The literature references report various synchronization methods [9, 10, 11, 12] that are described in Section 3. Sections 4 and 5 outline the combined hardware and software platform intended to enable testing and comparison between various architectures of CPUs. The presented solution employs a programmable FPGA module from the Virtex-4 family [7, 8], that are described in Section 2. The newly developed software enables compilation of application programs dedicated for the presented architecture. To develop programs for the presented solution the authors used the assembler-type programming language very similar to STL language that is normally applicable to STL controllers from Siemens [13, 14]. The software developed for PC computers make it possible to define new instructions for processors both on hardware and software levels (Fig. 1). The presented solution takes advantage of components that are typical for FPGA modules, such as BockRAM memory units (Fig. 2). The presented platforms enable further research and development efforts intended to design fast CPUs for programmable logic controllers.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 1, 1; 55-57
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Realizacja programowa algorytmów filtracji, estymacji i sterowania w PLC/PAC
The software implementation of filtering, estimation and control algorithms in PLC / PAC
Autorzy:
Tarnawski, J.
Powiązania:
https://bibliotekanauki.pl/articles/276853.pdf
Data publikacji:
2013
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
sterowniki programowalne PLC/PAC
dyskretne algorytmy sterowania
strojenie i weryfikacja oprogramowania
estymacja RLS_FF
programmable logic controller (PLC)
discrete control algorithms
tuning and verification of software
estimation RLS_FF
Opis:
Sterowniki programowalne PLC (ang. Programmable Logic Controller) są główną przemysłową platformą implementacji algorytmów sterowania bezpośredniego. Standardowo producenci PLC dostarczają programistom jedynie podstawowe, najprostsze metody sterowania. Wraz z rozwojem sterowników PLC oraz ich następców PAC (ang. Programmable Automation Controller) pojawiły się zwiększone możliwości obliczeniowe i pamięciowe tych urządzeń oraz pełniejsza implementacja języków programowania określonych w normie IEC-61131-3. PLC i PAC mają obecnie moc obliczeniową i dostępną pamięć odpowiadającą komputerom osobistym PC sprzed kilku lat, można je programować również w językach wysokiego poziomu stosując zmienne zdefiniowane w postaci macierzowej. Uwzględniając pewne ograniczenia i specyfikę działania PLC oraz PAC można w tych urządzeniach zaimplementować wiele zdyskretyzowanych algorytmów sterowania, estymacji czy filtracji. Pomimo niewątpliwych potencjalnych korzyści wynikających ze stosowania zaawansowanych metod w warstwie sterowania bezpośredniego, temat ten w literaturze jest skromnie reprezentowany. W artykule prezentowane jest podejście do programowania algorytmów filtracji, estymacji i sterowania, opisanych równaniami różnicowymi. Przedstawiono metodykę budowy oprogramowania dla PLC/PAC. Dla zilustrowania procesu implementacji algorytmu z pogranicza filtracji i estymacji wykorzystano metodę najmniejszych kwadratów ze współczynnikiem zapominania RLS_FF.
PLCs (Programmable Logic Controllers) are the main industrial platform for the implementation of direct control algorithms. PLC producers provide to programmers only basic, simple control methods. With the development of PLC and their successors (Programmable Automation Controller - PAC) appeared increased CPU and memory capabilities of the equipment and fuller implementation of programming languages defined in the standard IEC-61131-3. PLCs and PACs now have the computing power and memory of the personal computer PC a few years ago, they can also be programmed in high level languages using the variables in the form of a matrix. Taking into account the limitations and specifics of the PLC and PAC in these devices it is possible to implement almost any discrete control, estimation and filtering algorithm. This paper presents an approach to programming filtering, estimation and control algorithms defined by differential equations. The methodology of software development for PLC / PAC is presented. For presentation of implementation process of filtering and estimation algorithm least squares with forgetting factor (RLS_FF) is used.
Źródło:
Pomiary Automatyka Robotyka; 2013, 17, 5; 100-107
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Komputerowy symulator obiektu przeznaczony do testowania oprogramowania sterowników PLC
An object simulator for PLC software testing
Autorzy:
Kulisz, J.
Czerwiński, R.
Mocha, J.
Chmiel, M.
Powiązania:
https://bibliotekanauki.pl/articles/156583.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sterowanie procesami przemysłowymi
programowalne sterowniki logiczne PLC
uruchamianie oprogramowania
testowanie oprogramowania
symulatory procesów
inżynieria oprogramowania
industrial control
programmable logic controller (PLC)
program diagnostics
debugging
simulation
process simulators
software engineering
software productivity
Opis:
W artykule przedstawiono koncepcję programowego symulatora obiektu sterowania przeznaczonego do uruchamiania i testowania oprogramowania dla sterowników PLC. Symulator emuluje zachowanie fizycznego obiektu przemysłowego i komunikuje się ze sterownikiem za pośrednictwem karty wejścia-wyjścia podłączanej do komputera. Pozwala on na przetestowanie tworzonej aplikacji bez udziału fizycznego obiektu, dzięki czemu znacząco przyspiesza proces tworzenia, uruchamiania oraz testowania oprogramowania.
The paper discusses hardware and software tools used to support program testing and verification of Programmable Logic Controllers (PLC). Three main ideas of tools supporting PLC application development are presented: software PLC simulators (Fig. 1), software PLC simulators with software object simulators (Fig. 2), and software object simulators with a hardware PLC (Fig. 4). The last idea is discussed wider in the paper. The authors propose a new concept of the tool for supporting PLC program testing - an object simulator which is a separate device. The simulator consists of a PC equipped with an appropriate I/O card, and an object simulator program running on the PC. The object simulator program is responsible for emulating behavior of an industrial object, and providing appropriate visualization of its operation, enabling also the PLC programmer to simulate object faults. The PC does not communicate with the PLC using a network interface, but through physical I/Os of the PLC. The simulator is thus capable of testing the most of functionality built in PLC I/O modules, and time-critical functions, e. g. interrupts. The proposed concept of an object simulator can provide a reliable substitute for a physical object, and thus a significant part of software tests can be performed with use of the simulator. This can significantly facilitate and accelerate development of the application.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 1, 1; 3-5
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Translacja grafu SFC do programu IL
A translation from the SFC graph to the IL program
Autorzy:
Jaszczak, S.
Wierzbicki, M.
Powiązania:
https://bibliotekanauki.pl/articles/154015.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
PLC
Programmable Logic Controller
IL
Instruction List
SFC
Sequential Function Chart
programmable logic controller
sequential function chart
Opis:
Artykuł poświęcono implementacji metody automatyzacji przekładu algorytmu sterowania sekwencyjnego, dedykowanego sterownikom PLC, zapisanego w postaci grafu SFC w język tekstowy IL i implementacji zaprezentowanej metody w oparciu o środowisko Java. Zastosowanie języka SFC, opierającego się na grafie etapów i przejść ułatwia zadanie programowania procesów sekwencyjnych i modyfikacje kodu sterującego w trakcie rozbudowy systemu, biorąc również pod uwagę tworzenie podprogramów, gwarantujących rekonfigurowalność PLC przy zmieniających się warunkach sterowania. W artykule przedstawiono oryginalne podejście do zagadnienia, polegające na zapisaniu procesu sekwencyjnego w postaci grafu SFC a następnie transformację do postaci IL. Proces tworzenia programu sterującego omówiono na przykładzie procesu cięcia rur.
Authors of this article described an implementation of an automatisation method of the translation a control sequential algorithm, dedicated to programmable controllers (PLC) from the SFC graph to the IL program. An algorithm written in the SFC graph was translated in the IL program, by using an original software created in the Java environment. Using a SFC language based on the graph of stages and transitions simplify a task related to the creation of sequential programs. It could be helpful during any modification and development in future, even years ago after an implementation the controlled system. In the first part were given some arguments confirmed a need of the translation from SFC graph to the IL program, e.g. Proficy Machine Edition, using for programming GeFanuc's PLCs, which have'nt SFC language as a standard tool. In the second part of the article were described all stages of the translation procedure, which are: preparation part, control part, initialization part and final part. In the third part of the article was given an example of the realistic sequential control system, related to the cutting pipes process.
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 8, 8; 663-665
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Implementacja algorytmu regulacji predykcyjnej MPC w sterownikach programowalnych
Implementation of Predictive Control Algorithm in Programmable Logic Controllers
Autorzy:
Tarnawski, J.
Powiązania:
https://bibliotekanauki.pl/articles/277424.pdf
Data publikacji:
2013
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
hierarchiczny model systemu sterowania
zaawansowane algorytmy sterowania
regulacja predykcyjna MPC
sterowniki programowalne
norma IEC 61131-3
ograniczenia platformy PLC
proces implementacji algorytmu regulatora MPC
weryfikacja w pętli sprzętowej
hierarchical control system
advanced control algorithms
model predictive control
programmable logic controller (PLC)
norm IEC-61131-3
PLC programming limits
process of MPC implementation
verification in hardware-in-the-loop
Opis:
Sterowniki programowalne PLC (ang. Programmable Logic Controllers) są główną przemysłową platformą implementacji algorytmów sterowania bezpośredniego. Standardowo producenci PLC udostępniają programistom jedynie podstawowe algorytmy sterowania. W niniejszym artykule rozważana jest implementacja w PLC zaawansowanej metody sterowania - algorytmu MAC/MPC (ang. Model Algorithmic Control/Model Predictive Control) ze względu na jego walory użytkowe oraz stosunkowo złożony proces implementacji. Regulacja MPC może być implementowana również w warstwie nadrzędnej hierarchicznego modelu systemu sterowania, dlatego prezentowany jest cały model. W artykule opisano proces weryfikacji regulatora MPC zaimplementowanego w PLC w warunkach pętli sprzętowej. Badane są czasy wykonania jednej iteracji regulatora oraz wymagania wobec wielkości pamięci PLC dla konkretnych parametrów regulatora, co może być wykorzystane do szacowania stosowalności na innych platformach i przydatności do sterowania konkretnymi obiektami. Właściwości regulatorów MPC są niedostępne dla klasycznych regulatorów (klasy PID wraz z modyfikacjami i rozwinięciami), zatem implementacja regulacji MPC w PLC istotnie rozwija możliwości sterowania na tej platformie.
PLCs (Programmable Logic Controllers) are the main industrial platform for the implementation of control algorithms. PLC manufacturers provide for programmers only basic control algorithms. With the development of PLC and their successors (Programmable Automation Controller - PAC) appeared increased CPU and memory capabilities of the equipment and fuller implementation of programming languages defined in the standard IEC-61131-3. PLCs and PACs now have the computing power and memory of the personal computer PC a few years ago, they can also be programmed in high level languages using matrix operations. Currently, PLC and PAC allow implementation of almost any discrete control algorithm. In this article it is considered the implementation of advanced control method - the algorithm MAC/MPC (Model Algorithmic Control/Model Predictive Control) due to its usability and for the presentation of the implementation process. MPC can be implemented also in the supervisory layer of hierarchical model of the control system, so the whole model is presented. Verification process of implemented MPC controller in the PLC with hardware-in-a-loop structure is presented. Results of cycle durations and memory requirements tests can be used to estimate the applicability of MPC controller on other platforms and for particular objects. Properties of MPC controllers are not available for the classic PLC controllers (PID class with modifications and expansions), therefore, the implementation of MPC in the PLC significantly expands the control capabilities of this platform.
Źródło:
Pomiary Automatyka Robotyka; 2013, 17, 6; 100-107
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Możliwości sterowania układami elektrohydraulicznymi z wykorzystaniem nowoczesnych sterowników przemysłowych
Possibilities of controlling electrohydraulic drive systems using modern programmable controllers
Autorzy:
Łomotowski, G.
Powiązania:
https://bibliotekanauki.pl/articles/131402.pdf
Data publikacji:
2017
Wydawca:
Uczelnia Jana Wyżykowskiego
Tematy:
układy elektrohydrauliczne
sterowniki PLC
electrohydraulic drive systems
programmable logic controller
Opis:
W artykule zaprezentowano możliwości sterowania hydraulicznym układem napędowym za pomocą rozdzielacza proporcjonalnego współpracującego ze specjalnym modułem elektronicznym oraz z nowoczesnym sterownikiem PLC. W tym celu posłużono się konkretnym przykładem układu, który zmontowano, zaprogramowano i uruchomiono na elektrohydraulicznym stanowisku dydaktyczno-badawczym. Artykuł pokazuje przydatność nowoczesnych narzędzi automatyki przemysłowej, takich jak wizualizacja procesu czy też język SFC, do sterowania układami hydrauliki siłowej.
The paper presents possibilities of controlling the hydraulic drive system using a proportional directional valve, an analogue command value module and a modern programmable controller. For this purpose the particular example of an electrohydraulic system was assembled, programmed and started-up using the electrohydraulic workstation. The article shows the suitability of the modern tools of industrial automation such as process visualization or SFC language for controlling the hydraulic drive systems.
Źródło:
Zeszyty Naukowe Uczelni Jana Wyżykowskiego. Studia z Nauk Technicznych; 2017, 6; 119-131
2543-6740
Pojawia się w:
Zeszyty Naukowe Uczelni Jana Wyżykowskiego. Studia z Nauk Technicznych
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Parallel robot controlled by PLC and its digital twin
Autorzy:
Michalík, R.
Hrbček, J.
Janota, A.
Powiązania:
https://bibliotekanauki.pl/articles/2063983.pdf
Data publikacji:
2021
Wydawca:
Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:
digital twin
human machine interface
PLC Controllers
computer aided design
paralled robot
CAD
programmable logic controller
PLC
Opis:
Modern ways of device development use the concept of a digital twin. A digital twin is an accurate digital copy of something that exists or is planned to be realized in the physical world. The digital twin is not only a virtual model of the physical system, but also a dynamic data and status information carrier obtained through a series of IoT-connected sensors that collect data from the physical world and send it to machines. The digital twin provides an overview of what is happening to the device in real time. This is very important in industry as this information is helpful to reduce maintenance issues and ensure production performance. This work focuses on the design and creation of a cybernetic physical system and its digital twin, based on CAD system modeling in conjunction with simulation and programming tools connected to real and simulated control systems. This process accelerates the development of the application implementation with the possibility to create a PLC control program and tune the system already in the design phase. Thus, the physical realization can be done in parallel with the programming and creation of the HMI interface. Modular programming will further accelerate software development [1]. The created system and its digital twin serve as a unified teaching tool without the need for real devices to be used by many students and users. This approach allows testing of program algorithms without the risk of damaging physical devices and is also suitable for distance learning.
Źródło:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2021, 15, 3; 867--871
2083-6473
2083-6481
Pojawia się w:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Safety related control systems for railway signalling applications with a safety PLC
Autorzy:
Ždánsky, J.
Rástočný, K.
Hrbček, J.
Powiązania:
https://bibliotekanauki.pl/articles/393794.pdf
Data publikacji:
2011
Wydawca:
Polskie Stowarzyszenie Telematyki Transportu
Tematy:
PLC
programowalny sterownik logiczny
SIL
poziom nienaruszalności bezpieczeństwa
programmable logic controller
safety integrity level
Opis:
Nowadays, there are available on the market not only standard PLCs (Programmable Logic Controller) but also safety PLC´s. These are primarily designed for industrial applications. Their guaranteed safety properties, however, enable to be used in applications, in which the usage of PLC has not been common until now. The aim of this article is to focus on problems related to the usage of safety PLC in railway signalling systems.
Źródło:
Archives of Transport System Telematics; 2011, 4, 3; 43-49
1899-8208
Pojawia się w:
Archives of Transport System Telematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wybrane strategie sterowania redundantnymi urządzeniami okrętowymi
Selected Control Strategies of Redundant Marine Equipment
Autorzy:
Albrecht, A.
Muc, A.
Szeleziński, A.
Powiązania:
https://bibliotekanauki.pl/articles/342418.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Morski w Gdyni. Wydawnictwo Uniwersytetu Morskiego w Gdyni
Tematy:
urządzenia okrętowe
redundancja
sterowanie
sterownik programowalny
PLC
marine devices
redundancy
control
programmable logic controller
Opis:
Artykuł przedstawia wybrane strategie sterowania urządzeniami redundantnymi zawarte w jednym programie, dzięki czemu istnieje możliwość zmiany trybu pracy w zależności od sytuacji i zapotrzebowania. Sterowanie zrealizowano z wykorzystaniem sterownika programowalnego PLC oraz panelu operatorskiego HMI. Celem pracy było przedstawienie kilku uzupełniających się rozwiązań, do efektywnego i optymalnego wykorzystania urządzeń okrętowych.
This paper presents selected control strategies of redundant devices implicted in one program so that there is a possibility to change the operating mode depending on situation. The problem was evolved on pumps example becaue of their often use both in marine, and shore environment. Simulation model was based on two parallel pumps working in one system. First and second control mode assumes one of the pump working as ‘Master’ and second as ‘Stand-by’. It gives freedom in selection which pump is ‘Master’ and opportunity to change the choice. Third mode comprehends rotating work of two pumps depending on medium pressure value in the system. The control was implemented by using Programmable Logic Controller (PLC) and Human Machine Interface (HMI). Described strategies were checked and simulated in a few different configurations. The aim was to present several complementary solutions to achieve efficient and optimum use of the devices.
Źródło:
Zeszyty Naukowe Akademii Morskiej w Gdyni; 2017, 100; 9-19
1644-1818
2451-2486
Pojawia się w:
Zeszyty Naukowe Akademii Morskiej w Gdyni
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Model dźwigu osobowego z układem sterowania programowalnym logicznie
Model of a passenger lift with control system programmable logically
Autorzy:
Jezierski, P.
Lepszy, A.
Noworyta, K.
Nagórny, A.
Żółkiewski, S.
Powiązania:
https://bibliotekanauki.pl/articles/409025.pdf
Data publikacji:
2011
Wydawca:
Politechnika Śląska
Tematy:
układ sterowania
dźwig osobowy
PLC
programowalny sterownik logiczny
control system
passenger lift
programmable logic controller
Opis:
W artykule przedstawiono model zlecenia produkcyjnego stanowiącego podstawę integracji systemów Proedims i KbRS w zakresie harmonogramowania produkcji dyskretnej. Model zlecenia umożliwia planowanie produkcji złożonych wyrobów posiadających wielopoziomowe struktury procesów technologicznych zarówno w systemach o konfiguracji przepływowej jak i gniazdowej z maszynami równoległymi. W przyjętym modelu systemu produkcyjnego oraz zlecenia wyszczególniono etapy decyzyjne wymagane przy budowie harmonogramu. Opisano sposób współpracy przy wymianie danych pomiędzy omawianymi systemami.
The paper presents the model of a production order, which is the basis of Proedims and KbRS software systems integration, used in scheduling of discrete manufacturing systems. The model enables planning of production orders for complex products with multi-level structure of the processes in flow shop and job shop production system configuration with parallel machines. Required decision-making stages for schedule construction of the given model of the production system and production order were presented. Principles of cooperation in exchanging data between Proedims and KbRS were discussed.
Źródło:
Wybrane Problemy Inżynierskie; 2011, 2; 171-176
2083-1021
Pojawia się w:
Wybrane Problemy Inżynierskie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Flexible function block for industrial applications of active disturbance rejection controller
Autorzy:
Nowak, P.
Stebel, K.
Klopot, T.
Czeczot, J.
Fratczak, M.
Laszczyk, P.
Powiązania:
https://bibliotekanauki.pl/articles/229587.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
industrial control systems
active disturbance rejection control
ADRC
practical
tuning
practical implementation
programmable logic controller
PLC
Opis:
In this paper, the PLC-based (Programmable Logic Controller) industrial implementation in the form of the general-purpose function block for ADRC (Active Disturbance Rejection Controller) is presented. The details of practical aspects are discussed because their reliable implementation is not trivial for higher order ADRC. Additional important novelties discussed in the paper are the impact of the derivative backoff and the method that significantly simplifies tuning of higher order ADRC by avoiding the usual trial and error procedure. The results of the practical validation of the suggested concepts complete the paper and show the potential industrial applicability of ADRC.
Źródło:
Archives of Control Sciences; 2018, 28, 3; 379-400
1230-2384
Pojawia się w:
Archives of Control Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Implementacja automatycznych metod strojenia nastaw regulatora PID w sterowniku programowalnym
PLC implementation of automatics tuning methods for PID controller
Autorzy:
Adamkiewicz, M.
Damps, P.
Gryń, K.
Piotrowski, R.
Powiązania:
https://bibliotekanauki.pl/articles/268593.pdf
Data publikacji:
2015
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
regulator PID
metody strojenia
automatyczny dobór nastaw PID
sterownik PLC
PID controller
heuristic tuning methods
automatic tuning of PID
programmable logic controller
Opis:
Zainteresowanie środowiska przemysłowego klasycznymi algorytmami regulacji, dającymi akceptowalne wyniki pracy i stabilność w odniesieniu do zmiennych warunków otoczenia, wciąż jest bardzo duże. W artykule opisano wybrane inżynierskie metody doboru nastaw regulatora PID. Przedstawiono implementację sprzętową jednej z nich (metoda ÅströmaHägglunda) w sterowniku programowalnym PLC, umożliwiającą automatyczny dobór nastaw regulatora. Na podstawie symulacji w pętli sprzętowej liniowego układu regulacji PID dokonano analizy porównawczej pracy tego układu dla nastaw regulatora obliczonych trzema metodami inżynierskimi.
Industrial environments are still interested in classic control algorithms: providing acceptable results of the work and stability in relation to changing environmental conditions. This paper includes the description of heuristic tuning methods for the widely used PID. There’s also shown Åström-Hägglund (relay) automatic tuning algorithm implemented in Programmable Logic Controller. Results of experiments were obtained from simulations using dynamic plant model in Hardware In the Loop technique. Simulation tests presents control results for the dynamic plant.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2015, 47; 11-14
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Programowanie sterowników PLC metodą nauczania
Teaching-in programmable logic controllers
Autorzy:
Więcławek, R.
Powiązania:
https://bibliotekanauki.pl/articles/381628.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
mechanizacja procesu odlewniczego
automatyzacja procesu odlewniczego
komputerowe wspomaganie
produkcja odlewnicza
sterownik PLC
język programowania
mechanization of foundry proces
automation of foundry proces
computer aiding
casting production
programmable logic controller
programmable language
Opis:
Do automatyzacji procesów odlewniczych powszechnie stosowane są programowalne sterowniki logiczne PLC. Języki oraz znane metody programowania sterowników PLC sprawiają duże trudności przy implementacji rozwiązań dotyczących sterowania procedurami sekwencyjnymi. Dlatego podjęto prace nad opracowaniem metody, która umożliwiłaby łatwe programowanie procedur sekwencyjnych przez użytkowników nie będących automatykami. Efektem tych prac jest aplikacja opracowana dla sterowników Simatic S7-300, która umożliwia ich programowanie metodą stosowaną w robotyce – programowaniem poprzez nauczanie. Przeprowadzone badania wykazały możliwość stosowania tej metody do programowania dowolnych procedur sekwencyjnych o dowolnej liczbie kroków. Jedynym ograniczeniem jest rozmiar pamięci operacyjnej sterownika. Aplikację można też implementować w dowolnym sterowniku PLC, którego języki programowania są zgodne z normą IEC61131. Dalsze badania będą dotyczyły opracowania aplikacji umożliwiającej programowanie procedur sekwencyjnych, w których przejście do następnego kroku jest uzależnione od upływu zadanego czasu.
In automation of foundry processes, commonly used are programmable logic controllers (PLC). Languages and known methods of programming the PLC controllers cause big difficulties at implementing solutions concerning control of sequential procedures. This is why undertaken were the works on developing a method that would facilitate programming sequential procedures by the users not being automatic specialists. These works resulted in an application developed for the controllers Simatic S7-300 written in the STL language that makes possible their programming with the method commonly used in robotics, i.e. by teaching-in. The carried-out examinations showed a possibility to use this method for programming any sequential procedures with any number of steps. The only restriction is size of operational memory of the controller. The application can be also implemented in any PLC controller whose programming language is compliant with the standard IEC 61131. Further research will be aimed at developing an application that would permit programming sequential procedures where transition to the following step is dependent on expiry of the preset time.
Źródło:
Archives of Foundry Engineering; 2013, 13, 1 spec.; 189-192
1897-3310
2299-2944
Pojawia się w:
Archives of Foundry Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bezpieczna platforma sprzętowa dla aplikacji opisanych w języku FBD
Safety execution framework for FB applications
Autorzy:
Śnieżek, M.
Powiązania:
https://bibliotekanauki.pl/articles/156270.pdf
Data publikacji:
2005
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sterowanie bezpieczne
sterownik logiczny
PLC
język bloków funkcyjnych
formalna weryfikacja
safety related control
Safety Integrity Level 3
Function Block Diagrams
software verification
programmable logic controller
Opis:
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.
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.
Źródło:
Pomiary Automatyka Kontrola; 2005, R. 51, nr 1, 1; 31-33
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-24 z 24

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies