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ę "Systems (mil.)" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-7 z 7
    Tytuł:
    Komputerowe wspomaganie testowania poprawności informacji w systemach awionicznych integrowanych na szynie MIL-1553B
    Computer-aided tests of correctness of data processing in avionic systems integrated through the MIL-1553B digital bus
    Autorzy:
    Michalak, S.
    Szelmanowski, A.
    Cieślik, A.
    Wudel, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/209134.pdf
    Data publikacji:
    2008
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    zintegrowane systemy awioniczne
    szyna MIL-1553B
    metody testowania
    przetwarzanie informacji
    integrated avionic systems
    MIL - 1553B digital data bus
    methods of testing
    data processing
    Opis:
    W pracy przedstawiono wyniki przeprowadzonych w Instytucie Technicznym Wojsk Lotniczych (ITWL) badań w zakresie komputerowo wspomaganych metod testowania poprawności przetwarzania informacji w systemach awionicznych zintegrowanych na bazie cyfrowej szyny danych MIL-1553B. W części ogólnej omówiono podstawowe właściwości szyny MIL-1553B oraz standardowe metody zabezpieczeń przed jej ewentualnymi uszkodzeniami. Podano również standardowe procedury stosowane do testowania poprawności przetwarzania danych według standardu MIL-STD-1553B. W części szczegółowej przedstawiono stosowane w ITWL metody testowania szyny MIL-1553B, wykorzystywane na etapie uruchamiania i walidacji integrowanego systemu awionicznego w ramach prac związanych z modernizacją awioniki statków powietrznych wykorzystywanych w Siłach Zbrojnych RP.
    The paper has been intended to present the results of the studies carried out at the Air Force Institute of Technology (AFIT) on computer-aided methods of testing the correctness of data processing within avionic systems integrated through the MIL-1553B digital data bus. In the general part, essential properties of the MIL-1553B data bus and standard methods of protecting it against possible damages/failures have been discussed. Standard procedures to test the correctness of data processing consistent with the MIL- 1553B standard have been also given. The detailed part delivers the information on the AFIT-developed methods of testing the MIL-1553B data bus which is used at the stage of activation and validation of an integrated avionic system. These methods have been developed under the project to upgrade the avionics of aircraft operated in the Armed Forces of the Republic of Poland.
    Źródło:
    Biuletyn Wojskowej Akademii Technicznej; 2008, 57, 2; 229-244
    1234-5865
    Pojawia się w:
    Biuletyn Wojskowej Akademii Technicznej
    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