Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "PLC Controller" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-13 z 13
    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ł:
    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ł:
    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ł:
    Microprocessor controllers versus PLC
    Sterowniki mikroprocesorowe kontra PLC
    Autorzy:
    Staszewski, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/410571.pdf
    Data publikacji:
    2011
    Wydawca:
    Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
    Tematy:
    microprocessor controller
    Programmahle Logic Controller
    PLC
    Opis:
    This paper describes microprocessor controllers and Programmable Logic Controllers for industry applications. The differences in hardware and in programming are presented.
    W artykule opisano klasyczne sterowniki mikroprocesorowe oraz programowalne sterowniki logiczne PLC pod kątem ich użycia w aplikacjach przemysłowych. Zostały zaprezentowane podstawowe różnice zarówno w budowie sprzętowej jak i oprogramowaniu.
    Źródło:
    Present Problems of Power System Control; 2011, 1; 23-28
    2084-2201
    Pojawia się w:
    Present Problems of Power System Control
    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ł:
    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ł:
    Poprawa wydajności komunikacji sterownika przemysłowego z panelem operatorskim HMI w środowisku inżynierskim CPDev
    Performance Improvement of PLC - HMI Communication in CPDev Engineering Environment
    Autorzy:
    Rzońca, Dariusz
    Powiązania:
    https://bibliotekanauki.pl/articles/275063.pdf
    Data publikacji:
    2020
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    sterownik przemysłowy
    PLC
    panel operatorski
    HMI
    komunikacja
    industrial controller
    operator panel
    communication
    Opis:
    Panele operatorskie HMI są powszechnie stosowane w systemach automatyki przemysłowej. Pozwalają na wizualizację sterowania procesem przemysłowym, jak również na zmianę parametrów. Wartości prezentowane operatorowi na ekranie procesowym pochodzą ze sterownika, bądź sterowników, połączonych łączem komunikacyjnym. Wydajna komunikacja między HMI a sterownikiem jest niezbędna dla prawidłowego działania systemu automatyki. W artykule przeanalizowano kilka aspektów takiej komunikacji i zaproponowano rozwiązania pozwalające na skrócenie czasu cyklu komunikacyjnego. Opisane metody zostały zaimplementowane w pakiecie inżynierskim CPDev.
    HMI (Human-Machine Interface) panels are commonly used in industrial automation systems. They facilitate the visualization of industrial process control as well as enable the change of parameters. The values displayed on a HMI are read from a controller or controllers connected by a communication link. Thus efficient PLC – HMI communication is essential for proper functioning of the whole automation system. Several aspects of such communication are analyzed in the paper and some solutions proposed to reduce the communication cycle. The described methods have been implemented in the CPDev engineering environment.
    Źródło:
    Pomiary Automatyka Robotyka; 2020, 24, 1; 35-40
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    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ł:
    Przyspieszenie wymiany danych w protokole Modbus między PLC a HMI wykorzystującymi pakiet inżynierski CPDev
    Acceleration of Modbus Data Exchange between PLC and HMI Using the CPDev Engineering Environment
    Autorzy:
    Rzońca, Dariusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2174233.pdf
    Data publikacji:
    2022
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    sterownik przemysłowy
    PLC
    panel operatorski
    HMI
    komunikacja
    Modbus
    CPDev
    industrial controller
    operator panel
    communication
    Opis:
    W artykule przedstawiono możliwości poprawy parametrów czasowych komunikacji między sterownikiem przemysłowym PLC a panelem operatorskim HMI. Jak pokazano, niekiedy odpowiednia konfiguracja zadań komunikacyjnych, zmniejszająca liczbę poleceń przesyłanych w protokole Modbus kosztem konieczności transmisji dodatkowych danych, może prowadzić do minimalizacji łącznego czasu cyklu komunikacyjnego. Przedstawione rozwiązanie zostało zaimplementowane w pakiecie inżynierskim CPDev.
    The paper presents the possibilities of improving the time parameters of communication between the industrial PLC and the HMI operator panel. As shown, sometimes the appropriate configuration of communication tasks, reducing the number of commands sent in the Modbus protocol at the expense of the necessity to transmit additional data, may lead to the minimization of the total communication cycle time. The presented solution has been implemented in the CPDev engineering environment.
    Źródło:
    Pomiary Automatyka Robotyka; 2022, 26, 4; 85--89
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    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ł:
    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-13 z 13

      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