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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    Ukryte naruszenia bezpieczeństwa w układach automatycznego sterowania procesami technologicznymi
    Hidden Security Breaches in Automatic Control of Technological Processes
    Autorzy:
    Szuster, Marcin
    Kozioł, Bartłomiej
    Powiązania:
    https://bibliotekanauki.pl/articles/2068636.pdf
    Data publikacji:
    2021
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    ukryte naruszenia bezpieczeństwa
    walidacja systemu bezpieczeństwa
    programowalne sterowniki bezpieczeństwa
    bezpieczeństwo funkcjonalne
    maszyn zintegrowanych
    automatyczna walidacja
    hidden security breaches
    safety system validation
    programmable safety controllers
    functional safety of integrated machines
    automatic validation
    Opis:
    Postępująca automatyzacja i robotyzacja w zakładach pracy oraz coraz większa złożoność systemów sterowania maszyn zespolonych powodują konieczność ciągłej poprawy bezpieczeństwa funkcjonalnego maszyn przez prawidłową walidację systemów bezpieczeństwa. Mimo przeprowadzonego procesu walidacji potencjalne błędy programowe mogą ujawnić się w trakcie użytkowania maszyny jako ukryte naruszenia bezpieczeństwa. W artykule przedstawiono przykłady naruszeń bezpieczeństwa rzeczywistych zespołów maszyn oraz próby wdrażania rozwiązań zautomatyzowanych mechanizmów do wykrywania problemów z bezpieczeństwem. Kolejnym aspektem poruszanym w artykule jest nowe podejście do wykrywania ukrytych naruszeń bezpieczeństwa. Dzięki zastosowaniu modelu „cyfrowego bliźniaka” maszyny, programu generującego sekwencję zdarzeń do testowania systemów sterowania i zastosowanie wirtualnej rzeczywistości (wizualna weryfikacja programów bezpieczeństwa) możliwa jest maksymalizacja funkcji bezpieczeństwa funkcjonalnego zespołów maszyn.
    The progressing automation and robotization in the industrial plants as well as the increasing complexity of the control systems of integrated machines make it necessary to constantly improve the functional safety of machines through the correct validation of safety systems. Despite the validation process carried out, the potential software errors may reveal during the usage of the machine as hidden security breaches. The article presents examples of security breaches of real machine tools and attempts to implement solutions of automated mechanisms for detecting security problems. Another aspect of the article is the new approach for detecting hidden security breaches. Using the „digital twin” model of the machine, a program that generates a sequence of events for testing control systems, and the use of a virtual reality (visual verification of the safety programs), it is possible to maximize the functional safety functions of the machine.
    Źródło:
    Pomiary Automatyka Robotyka; 2021, 25, 2; 31--39
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Experimental demonstration of Measurement System Analysis
    Dekompozycja oraz analiza składników błędu systemu pomiarowego z zastosowaniem metodologii Six Sigma
    Autorzy:
    Król, A.
    Czaja, W.
    Kost, G.
    Czop, P.
    Wszołek, G.
    Jakubowski, D.
    Powiązania:
    https://bibliotekanauki.pl/articles/277137.pdf
    Data publikacji:
    2013
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    analiza systemu pomiarowego
    MSA
    analiza ANOVA
    walidacja
    tester serwohydrauliczny
    measurement system analysis
    variance analysis ANOVA
    validation
    servo-hydraulic tester
    Opis:
    This work presents the application of Measurement System Analysis (MSA) and the advantages of the Six Sigma approach in the validation of a servo-hydraulic tester. The diagnosis of repeatability and reproducibility by using repeatability (R) and reproducibility (R) gage analysis (so called Gage R&R Type II tool) which shows the correct operation of the measuring system including uncertainty of staff and measuring instrumentation. The Gage R&R Type II tool is based on the analysis of variance, called ANOVA. The structural approach to the subject has also provided knowledge of the error of the measurement system.
    W artykule zaprezentowano zastosowanie analizy systemu pomiarowego (MSA) oraz zalety Six Sigma w podejściu walidacji testera serwohydraulicznego. Ustalenie stopnia powtarzalności i odtwarzalności przez użycie analizy powtarzalności (repeatability - R) i odtwarzalności (reproducibility - R) zwanej Gage R&R Type II, która pokazuje prawidłową pracę systemu pomiarowego, w tym niepewność pracowników oraz narzędzi pomiarowych. Narzędzie Gage R&R Type II bazuje na analizie wariancji zwanej ANOVA. Podstawowym podejściem do wiedzy na temat badanego obiektu jest poznanie błędu samego systemu pomiarowego.
    Źródło:
    Pomiary Automatyka Robotyka; 2013, 17, 1; 92-96
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Poprawa bezpieczeństwa funkcjonalnego oprogramowania PLC za pomocą analizy sygnatur
    Improving the Functional PLC Software Safety Through the Signature Analysis
    Autorzy:
    Szuster, Marcin
    Kozioł, Bartłomiej
    Powiązania:
    https://bibliotekanauki.pl/articles/2134963.pdf
    Data publikacji:
    2022
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    analiza sygnatur
    ukryte naruszenia bezpieczeństwa
    walidacja programu PLC
    bezpieczeństwo funkcjonalne sterowania maszyn
    signature analysis
    hidden security breaches
    safety software PLC validation
    functional control safety of machines
    Opis:
    W artykule zaprezentowano ideę techniki kompresji odpowiedzi zwaną analizą sygnatur zastosowaną do walidacji oprogramowania PLC pod kątem bezpieczeństwa funkcjonalnego sterowania. Na przykładach symulacyjnych przedstawiono sposób implementacji opracowanej idei walidacji, mającej praktyczne zastosowanie. Przedstawiono wyniki badań na wybranym przykładzie.
    The article presents the idea of the response compression technique called signature analysis used to validate PLC software in terms of functional control safety. The method of implementation of the developed validation idea, having practical application, was presented on the simulation examples. The research results based on a selected example are presented.
    Źródło:
    Pomiary Automatyka Robotyka; 2022, 26, 3; 29--35
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Nowoczesne technologie projektowania systemów automatyki
    Modern Technologies of Designing Automation Systems
    Autorzy:
    Pauluk, Mariusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2068660.pdf
    Data publikacji:
    2020
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    systemy wbudowane
    jakość oprogramowania
    kryzys oprogramowania
    cykl życia oprogramowania
    Model V
    weryfikacja
    walidacja
    techniki testowania MIL
    techniki testowania SIL
    techniki testowania PIL
    techniki testowania HIL
    embedded systems
    quality of software
    software crisis
    software life cycle
    V-Model
    verification
    validation
    MIL model-in-the-loop testing
    SIL model-in-the-loop testing
    PIL model-in-the-loop testing
    HIL model-in-the-loop testing
    Opis:
    W pracy omówiono stosowane obecnie techniki wytwarzania systemów automatycznej regulacji. Rozpoczęto od przybliżenia stosowanych w inżynierii oprogramowania pojęć: kryzys oprogramowania, katastrofa oprogramowania oraz cykl życia oprogramowania. To ostatnie zostało w kolejnych rozdziałach poszerzone o najbardziej popularne modele wytwarzania oprogramowania. Następnie przybliżono na bazie modelu V rolę weryfikacji i walidacji w cyklu życia oprogramowania i sterownika oraz przedstawiono techniki testowe stosowane w walidacji sterownika. Są to testy typu: oprogramowanie w pętli, procesor w pętli oraz sterownik w pętli. Ostatni rozdział opisuje technikę projektowania systemów automatyki w oparciu o zaawansowane modele matematyczne Model Based Design.
    The paper presents the currently used techniques for the development of the automation control systems. It begins with the introduction of the concepts used in software engineering: software crisis, software disaster, and software life cycle. The subsequent chapters extend the latter by including the most popular software development models. Then, based on the V model, the role of verification and validation in the software and controller life cycle is presented, and the test techniques used in the controller validation are given. These test types include: software in the loop, processor in the loop, and controller in the loop. The last chapter describes the technique of designing automation systems based on the advanced mathematical models Model-Based Design.
    Źródło:
    Pomiary Automatyka Robotyka; 2020, 24, 4; 85--91
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-4 z 4

      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