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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-7 z 7
    Tytuł:
    Walidacja oprogramowania współrzędnościowych maszyn pomiarowych
    Validation of the CMM software
    Autorzy:
    Nieciąg, H.
    Tabisz, R. A.
    Powiązania:
    https://bibliotekanauki.pl/articles/155798.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    walidacja
    systemy pomiarowe
    współrzędnościowe maszyny pomiarowe
    walidacja oprogramowania
    validation
    measurement systems
    CMMs
    software validation
    Opis:
    Zaproponowano ogólną metodologię walidacji oprogramowania systemów pomiarowych. Przedstawiono możliwość zastosowania tej metodologii do walidacji oprogramowania współrzędnościowych maszyn pomiarowych (WMP). Maszyny te stanowią bardzo ważne wyposażenie pomiarowe w przemyśle, stosującym zaawansowane technologie. Aktualnie brakuje ujednoliconych procedur walidacji oprogramowania tego rodzaju systemów. Publikacja jest wynikiem pierwszego wspólnego podejścia autorów do ujednolicenia działań dotyczących walidacji oprogramowania WMP. Głównymi etapami proponowanej metodologii są: dekompozycja oprogramowania na części, moduły i komponenty, określenie fazy realizacji komponentu, ustalenie kategorii ryzyka, wyspecyfikowanie wymagań, opracowanie procedury walidacji odpowiedniej dla ocenianego komponentu, przeprowadzenie walidacji i wygenerowanie jej certyfikatu.
    A general validation methodology for measurement system software is proposed. The possibility of applying this methodology to validation of the software of coordinate measuring machines (CMM) is presented. These machines are important measurement equipment of industrial plants using advanced technologies. Up to now there have not been developed unified and standardized procedures for software validation of such systems. The publication is the result of the authors' joined approach to developing the unified validation methodology of the CMMs software. The main stages of the proposed methodology are: decomposition of the software into parts, modules and components, specifying the requirements, development of the validation procedure appropriate to the assessed component. Since the requirements can be different for each type of the software component subjected to validation, the software examination should be carried in accordance to them. The necessary stage is preparation and generation of the validation certificate.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 12, 12; 1611-1616
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    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ł:
    Modelling in validation of the metrological software
    Modelowanie w walidacji oprogramowania metrologicznego
    Autorzy:
    Nieciąg, H.
    Powiązania:
    https://bibliotekanauki.pl/articles/158005.pdf
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    walidacja
    oprogramowanie
    niepewność
    validation
    software
    uncertainty
    Opis:
    In this paper we discuss the issues involving the validation of the CMM's metrological software. We consider the concept of validation and their realisation based on conceptual and formal model of software under examination. Discussed method, checking the software against the basic parameters of accuracy, replaces the key concept measurement experiments and complements the concept of PN-EN ISO 10360 - 6 tests.
    W artykule zostały omówione zagadnienia dotyczące walidacji oprogramowania metrologicznego współrzędnościowych maszyn pomiarowych. Przedstawiono strategię walidacji oprogramowania oraz sposób jej realizacji w oparciu o ustalony konceptualny i formalny model. Stosunkowo prosta komputerowa implementacja modelu pozwala na przeprowadzanie badań oraz wykorzystanie ich wyników do prognozowania zachowań oprogramowania.
    Źródło:
    Pomiary Automatyka Kontrola; 2007, R. 53, nr 12, 12; 48-50
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    How validation can help in testing business processes orchestrating web services
    Autorzy:
    Grela, D.
    Sapiecha, K.
    Strug, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/106156.pdf
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
    Tematy:
    BPEL
    validation
    testing
    SOA
    Software Fault Injector
    Opis:
    Validation and testing are important in developing correct and fault free SOA-based systems. BPEL is a high level language that makes it possible to implement business processes as an orchestration of web services. In general, the testing requires much more test scenarios than the validation. However, in the case of BPEL processes, which have very simple and well structured implementation, test scenarios limited to the validation may also be efficient. The paper describes an experiment that aims at answering a question whether or not the validation test scenarios are also adequate for testing an implementation of BPEL processes. The experiment employs a Software Fault Injector for BPEL Processes that is able to inject faults when the test scenarios are running. The results of the experiment seem very promising. Hence, it seems that validation tests might give astrong support for testing.
    Źródło:
    Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica; 2013, 13, 1; 23-35
    1732-1360
    2083-3628
    Pojawia się w:
    Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Routing policy validation for the integrated system supporting routing in Software Defined Networks (SDNRoute)
    Autorzy:
    Jaglarz, Piotr
    Rzym, Grzegorz
    Jurkiewicz, Piotr
    Boryło, Piotr
    Chołda, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/227234.pdf
    Data publikacji:
    2020
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    congestion
    optimization
    quality of service (QoS)
    software-defined networks (SDN)
    validation
    Opis:
    In the article, a validation module, being a component of an integrated system supporting routing in software defined networks (SDNRoute), is proposed and thoroughly examined. The module allows for the verification of the results provided by the optimization module before these results are deployed in the production network. Routing policies are validated for their impact on the network quality parameters and against the threat of overloading (congestion).
    Źródło:
    International Journal of Electronics and Telecommunications; 2020, 66, 1; 77-83
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Certification of Highly Complex Safety-Related Systems
    Autorzy:
    Reinert, D.
    Schaefer, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/89868.pdf
    Data publikacji:
    1999
    Wydawca:
    Centralny Instytut Ochrony Pracy
    Tematy:
    certification
    complex electronic systems
    numerical controller
    power drive
    machining centre
    validation
    verification
    microcomputer
    metrics
    software
    certyfikacja
    systemy elektroniczne
    centra obróbkowe
    mikrokomputery
    oprogramowanie
    Opis:
    The BIA has now 15 years of experience with the certification of complex electronic systems for safety-related applications in the machinery sector. Using the example of machining centres, this presentation will show the systematic procedure for verifying and validating control systems using Application Specific Integrated Circuits (ASICs) and microcomputers for safety functions. One section will describe the control structure of machining centres with control systems using “ integrated safety.” A diverse redundant architecture combined with crossmonitoring and forced dynamisation is explained. In the main section the steps of the systematic certification procedure are explained showing some results of the certification of drilling machines. Specification reviews, design reviews with test case specification, statistical analysis, and walk-throughs are the analytical measures in the testing process. Systematic tests based on the test case specification, Electro Magnetic Interference (EMI) and environmental testing, and site acceptance tests on the machines are the testing measures for validation. A complex software driven system is always undergoing modification. Most of the changes are not safety-relevant but this has to be proven. A systematic procedure for certifying software modifications is presented in the last section of the paper.
    Źródło:
    International Journal of Occupational Safety and Ergonomics; 1999, 5, 4; 537-552
    1080-3548
    Pojawia się w:
    International Journal of Occupational Safety and Ergonomics
    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-7 z 7

      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