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 controller" wg kryterium: Temat


Wyświetlanie 1-14 z 14
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ł:
Influence of Gold Nanoparticles on the Photocatalytic Action of Titanium Dioxide in Physical-Chemical Parameters of Greywater
Autorzy:
Carbajal-Morán, Hipólito
Márquez-Camarena, Javier F.
Galván-Maldonado, Carlos A.
Powiązania:
https://bibliotekanauki.pl/articles/2025736.pdf
Data publikacji:
2021
Wydawca:
Polskie Towarzystwo Inżynierii Ekologicznej
Tematy:
water pollution
solar UV radiation
AuNPs
programmable logic controller
Opis:
The objective of the work was to evaluate the influence of gold nanoparticles, obtained by laser ablation, on the photocatalytic action of titanium dioxide in the improvement of the physical-chemical parameters of domestic greywater, with visualization by means of a PLC. The YAG laser equipment was used for the production of spherical gold nanoparticles, whereas the Raman spectroscope allowed characterizing the different particles contained in aqueous solutions. The solar photoreactor programmable and viewable from PLC with connection to sensors allowed determining the variations of the pH, EC, DO and FCL parameters. The work consisted of a control group (greywater + titanium dioxide) and an experimental group (greywater + titanium dioxide + gold nanoparticles). The titanium dioxide doses for both groups were 0.5 mg/L and the gold nanoparticles were 0.20 ml per liter of greywater only for the control group. The experiments were carried out on sunny days with the exposure periods of 30 and 60 minutes around solar noon with an average UV index of 13.35. Once the experiments were carried out, it was determined that the pH improved by 5.30%, EC by 3.03%, DO by 29.3% and FCL by 43.71%, so that the gold nanoparticles dissolved in the aqueous solution of titanium dioxide with greywater positively influenced the improvement of the photocatalytic action of titanium dioxide in the physical-chemical parameters of greywater.
Źródło:
Journal of Ecological Engineering; 2022, 23, 1; 182-192
2299-8993
Pojawia się w:
Journal of Ecological Engineering
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ł:
About Implementation of IEC 61131-3 IL Function Blocks in Standard Microcontrollers
Autorzy:
Chmiel, M.
Mocha, J.
Hrynkiewicz, E.
Polok, D.
Powiązania:
https://bibliotekanauki.pl/articles/226742.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
central processing unit
programmable logic controller
microprocessor control
microprogramming
programming languages
language operators
Opis:
The paper presents considerations on implementation of function blocks of the IL language, as fragments of control programs that use these blocks. Subsequently, the predefined function blocks of the IL language have been applied to implementation in a Central Processing Unit for a programmable controller based on standard microcontroller from such families as MCS-51, AVR and ARM with the Cortex-M3 core. The considerations refer to the IL language revision that is fully compliant with the IEC-61131-3 standards. The completed theoretical analysis demonstrated that the adopted method of the module description is really reasonable and offers substantial advantages as compared to direct calls of function modules already developed as subroutines. Also the executed experiments have proved the feasibility to arrange central units of programmable controllers on the basis of standard microcontrollers and such central units may be competitive to compact CPUs available on the market for typical PLCs.
Źródło:
International Journal of Electronics and Telecommunications; 2014, 60, 1; 42-46
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
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ł:
Automatyczna regulacja podciśnienia w aparacie udojowym
Automatic control of vacuum pressure in a milking apparatus
Autorzy:
Juszka, H.
Tomasik, M.
Powiązania:
https://bibliotekanauki.pl/articles/238889.pdf
Data publikacji:
2005
Wydawca:
Instytut Technologiczno-Przyrodniczy
Tematy:
automatyzacja
aparat udojowy
podciśnienie
sterownik PCL
automation
milking apparatus
cow milking
vacuum pressure
programmable logic controller
Opis:
Analizowano wielkości i wahania podciśnienia ssania w aparacie udojowym oraz związane z tym następstwa. Przedstawiono nowe podejście do sterowania tym parametrem z zastosowaniem algorytmu sterowania rozmytego. Zamieszczono wskazówki niezbędne do opracowywania takiego systemu sterowania. Zastosowanie rozmytego systemu sterowania pozwala na zbliżenie podciśnienia w kubku udojowym do ssania przez cielę. Atutem takiego rozwiązania będzie odporność na występowanie dużych zakłóceń. Wskazano na możliwości zastosowania sterowników PLC do sterowania podciśnieniem.
Vacuum (sucking) pressure, its variations in a milking apparatus as well as their consequences were analysed. A new attempt to control this parametr, based on application of fuzzy steering algorithm was presented. Some instructions necessary to designing of such steering system were given. Application of the fuzzy control system enables to near vacuum pressure in the teatcup to sucking by a calf. Finally, the possibilities of applying programmable logic controllers (PCL) to vacuum pressure were indicated.
Źródło:
Problemy Inżynierii Rolniczej; 2005, R. 13, nr 1, 1; 83-90
1231-0093
Pojawia się w:
Problemy Inżynierii Rolniczej
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ł:
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ł:
Concurrent operation of processors in the bit-byte CPU of a PLC
Autorzy:
Chmiel, M.
Hrynkiewicz, E.
Powiązania:
https://bibliotekanauki.pl/articles/969831.pdf
Data publikacji:
2010
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
programmable logic controller
central processing unit
bit-byte structure of CPU
scan time
throughput time
concurrent operation
Opis:
The paper presents some selected hardware solutions for the PLC dual processor bit-byte CPUs, which are oriented at optimised data exchange between the CPU processors. The optimisation aims at maximum utilisation of capabilities of the two-processor architecture of the CPU. The key point is preserving high speed of instruction processing by the bit-processor, and high functionality of the byte-processor. The structure should enable the processors to work in concurrent mode as far as it is possible, and minimise the situations, when one processor has to wait for the other.
Źródło:
Control and Cybernetics; 2010, 39, 2; 559-579
0324-8569
Pojawia się w:
Control and Cybernetics
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-14 z 14

    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