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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-11 z 11
    Tytuł:
    A Fingerprint-Based Digital Images Watermarking for Identity Authentication
    Autorzy:
    Wójtowicz, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/106264.pdf
    Data publikacji:
    2014
    Wydawca:
    Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
    Tematy:
    watermarking
    fingerprint
    biometric watermark
    verification methods
    Opis:
    In this paper the combination of fingerprint verification methods with watermarking technology to provide copyright protection and authentication of digital images is proposed. The goal of this study is to investigate how watermarking processing affects the quality of biometric watermarks. Performed experiments showed that extracted fingerprint images have roughly equal verification performance even if some watermarked images undergo additional degradation. Proposed methodology will be improved using more sophisticated fingerprint verification methods and subsequently incorporated into multimodal watermarking schemes.
    Źródło:
    Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica; 2014, 14, 1; 85-96
    1732-1360
    2083-3628
    Pojawia się w:
    Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Problem hierarchii w transformacji diagramów aktywności UML 2.x do sieci Petriego sterowania
    Hierarchy problem in transformation of UML 2.x Activity Diagrams into Control Interpreted Petri Nets
    Autorzy:
    Grobelny, M.
    Grobelna, I.
    Powiązania:
    https://bibliotekanauki.pl/articles/156952.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    diagramy aktywności UML
    sieci Petriego sterowania
    modelowanie behawioralne
    metody formalnej weryfikacji
    UML activity diagrams
    control Petri nets
    behavioral modelling
    formal verification methods
    Opis:
    Proces specyfikacji zachowania odgrywa istotną rolę z powodu określania na tym etapie cech i sposobu funkcjonowania sterownika logicznego. W artykule omówione zostały dwie metody graficznego specyfikowania zachowania sterowników logicznych - diagramy aktywności języka UML 2.x oraz sieci Petriego sterowania. Zaproponowana została metoda transformacji hierarchicznych diagramów aktywności do hierarchicznych sieci Petriego. Dzięki przedstawionej metodzie możliwe jest połączenie zalet obu typów graficznego opisu specyfikacji urządzeń. Dodatkowo, zaproponowana została metoda formalnej weryfikacji hierarchicznej formy specyfikacji umożliwiająca wykrycie potencjalnych błędów na tym wczesnym etapie projektu.
    Behavior specification is one of the most important steps in embedded systems design. It plays a significant role because system properties and functionality are specified in this phase. There exist some techniques which can be helpful for a designer. In the paper two methods for graphical specification of logic controller behavioral specification [1, 2, 6], namely UML 2.x activity diagrams [10] and control Petri nets [11], are considered. A novel transformation method for transformation of hierarchical activity diagrams into hierarchical Petri nets is proposed. The presented method allows combining the advantages of both types of graphical system specification. Additionally, a formal verification method for hierarchical specification form is proposed. It enables detecting potential errors at early stage of system development. Hierarchical form of specification is commonly used in design process. Activity diagrams can include complex actions (Fig. 1) which describe some subprocesses. Petri nets also support hierarchy, but it can be realized in two different forms [9] - as macroplaces or macrotransitions (Fig. 2). According to the transformation method from [3, 8], actions in activity diagrams are interpreted as transitions in Petri net. In hierarchical processes by means of Petri nets two elements, macrotransitions (Fig. 3) and macroplaces (Fig. 4), have to be considered. The macroplace (Fig. 5a) can be surrounded by two transitions (Fig. 5b), decomposed (Fig. 5c), and finally compressed to macrotransition (Fig. 5d), then transformed into complex activity in an UML 2.x activity diagram (Fig. 5e). Verification of both considered specification forms [3] allows comparing two versions of the same behavior description. The model checking technique [4] can be used to verify the whole system or a part of it. Partial verification can be used for hierarchical specifications, as the verification process can be performed step by step (Fig. 6).
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 7, 7; 729-732
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Metody weryfikujące poziom wiedzy i umiejętności programisty
    Verification methods of a programmer’s knowledge and skills
    Autorzy:
    Hajduk, Paweł
    Wieruszewski, Norbert
    Skublewska-Paszkowska, Maria
    Powiązania:
    https://bibliotekanauki.pl/articles/98083.pdf
    Data publikacji:
    2018
    Wydawca:
    Politechnika Lubelska. Instytut Informatyki
    Tematy:
    automatyczna ocena programistów
    metody weryfikacji wiedzy
    testy jednostkowe
    analiza statyczna kodu
    automatic programmers assessment
    knowledge verification methods
    unit tests
    static code analysis
    Opis:
    Artykuł opisuje aktualnie stosowane metody weryfikacji poziomu wiedzy i umiejętności programistów. Do realizacji badań wykorzystano własne rozwiązanie w postaci aplikacji implementującej kilka wybranych metod, na której następnie przeprowadzono testy użytkowe przy udziale programistów o zróżnicowanym poziomie doświadczenia, wiedzy i umiejętności. Na podstawie analizy uzyskanych wyników wyciągnięto wnioski, które pozwoliły na ocenienie każdej z metod w następujących kategoriach: skuteczność sprawdzenia użytkownika, niezawodność działania metody, czas weryfikacji rozwiązania, atrakcyjność użytkowania oraz uniwersalność metody.
    The article describes currently utilized methods of a programmer’s knowledge verification and skills. The research consisted of creating custom solution which was an application implementing chosen methods and carrying out test with the participation of programmers having various levels of experience, knowledge and skills. Effectiveness of assessment, reliability and verification time were evaluated based on an analysis of the results received from the research.
    Źródło:
    Journal of Computer Sciences Institute; 2018, 8; 270-276
    2544-0764
    Pojawia się w:
    Journal of Computer Sciences Institute
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Model checking processes specified in join-calculus algebra
    Autorzy:
    Maludziński, S.
    Dobrowolski, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/305715.pdf
    Data publikacji:
    2014
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    join-calculus
    model checking
    formal methods
    automatic software verification
    Opis:
    This article presents a model checking tool used to verify concurrent systems specified in join-calculus algebra. The temporal properties of systems under verification are expressed in CTL logic. Join-calculus algebra, with its operational semantics defined by a chemical abstract machine, serves as the basic method for the specification of concurrent systems and their synchronization mechanisms, allowing for the examination of more complex systems. The described model checker is a proof of concept for the utilization of new methodologies of formal system specification and verification in software engineering practice.
    Źródło:
    Computer Science; 2014, 15 (1); 61-74
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Using probabilistic automata for security protocols verification
    Autorzy:
    Siedlecka-Lamch, O.
    Kurkowski, M.
    Piątkowski, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/122825.pdf
    Data publikacji:
    2016
    Wydawca:
    Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
    Tematy:
    verification of security protocols
    probabilistic methods
    weryfikacja protokołów bezpieczeństwa
    metody probabilistyczne
    protokoły uwierzytelniania
    Opis:
    The article discusses the issues of modeling and the analysis of executions, which is a substantial part of modern communication protocols - authentication protocols, which are generally referred to herein as security protocols. The article presents a way of security protocols executions analysis with the use of probabilistic automata, without well known and widely used perfect cryptography assumption (we assume allowing the possibility of breaking a key with a specified probability). This type of analysis leads to interesting observations about the operation of the protocol and its weaknesses.
    Źródło:
    Journal of Applied Mathematics and Computational Mechanics; 2016, 15, 2; 119-125
    2299-9965
    Pojawia się w:
    Journal of Applied Mathematics and Computational Mechanics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Robot sterujący SR60 jako narzędzie weryfikacji modeli symulacyjnych kierowalności pojazdów
    Robot SR60 as a tool for verification simulation model vehicles steering
    Autorzy:
    Kupicz, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/395447.pdf
    Data publikacji:
    2012
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    pojazdy
    kierowalność
    metody badań
    weryfikacja modeli symulacyjnych
    vehicles
    steerability
    research methods
    simulation models verification
    Opis:
    W artykule przedstawiono wyniki badań służące opracowaniu metodyki badań kierowalności i stateczności wojskowych pojazdów specjalnych przy użyciu robota sterującego SR 60. Pojazdy opancerzone, ze względu na wysoko położony środek masy oraz duży moment bezwładności bryły nadwozia stwarzają duże zagrożenie podczas dynamicznych manewrów. Niebezpieczne jest zjawisko nadsterowności, które powoduje samoczynne zmniejszenie promienia skrętu a co za tym idzie zwiększenie przyspieszenia poprzecznego co przy wysoko położonym środku masy zazwyczaj prowadzi do wywrócenia pojazdu. Dlatego też badania zachowania pojazdów specjalnych w tym wojskowych podczas badań drogowych należą do szczególnie niebezpiecznych. Opracowana metodyka pozwala zminimalizować ryzyko a zastosowanie robota sterującego pozwala uzyskiwać bardzo dużą powtarzalność wyników badań, nieosiągalną nawet dla bardzo wprawnego kierowcy testowego. Dzięki niespotykanej powtarzalności testów robot sterujący może być doskonałym narzędziem do weryfikacji modeli symulacyjnych.
    The paper presents testing results that serve the development of research methodology for steerability and stability of military special-purpose vehicles using the SR 60th control robot. Due to their high center of mass and a large moment of inertia of their body, armored vehicles pose a serious hazard during dynamic maneuvers. The phenomenon of oversteering is dangerous, which causes automatic reduction in turning radius and thus increases the lateral acceleration at the high-lying center of mass usually leads to the vehicle rollover. Therefore, the research studies on behavior of special-purpose vehicles, including the military ones during road tests are particularly dangerous. The developed methodology allows mitigating the risk of using the steering robot and enables to obtain a very high research results repeatability, unattainable even for a very skilled test driver. Thanks to its unique testing repeatability, the control robot may be an excellent tool to verify simulation models.
    Źródło:
    Postępy Nauki i Techniki; 2012, 14; 123-134
    2080-4075
    Pojawia się w:
    Postępy Nauki i Techniki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Taktyka i metody przesłuchania świadka w postępowaniu przygotowawczym
    Tactics and methods of questioning witnesses in preparatory proceedings
    Autorzy:
    Kuźmiński, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/1371608.pdf
    Data publikacji:
    2014-12-30
    Wydawca:
    Fundacja Pedagogium
    Tematy:
    przesłuchanie
    śledztwo
    metody
    taktyka
    weryfikacja zeznań
    świadek
    interrogation
    investigation
    methods
    tactics
    statement verification
    witness
    Opis:
    Autor koncentruje swoją uwagę na czynności przesłuchania świadka w sprawie karnej. Obecnie składanie zeznań przez świadka jest traktowane jako jedna z najbardziej istotnych części postępowania przygotowawczego. Artykuł prezentuje wskazówki, w jakim kierunku powinno przebiegać prowadzenie przesłuchania. Artykuł jest oparty na publikacjach książkowych i dokumentach, pochodzących od wielu znamienitych policjantów, prokuratorów oraz kryminologów. Cele, które przyświecają przedmiotowej publikacji są następujące: podkreślenie praw i obowiązków przysługujących świadkowi w postępowaniu karnym; opis procedur podczas przesłuchania; zwrócenie uwagi na proces weryfikacji zeznań.
    The author focuses on the activity of witness interrogation during a criminal case. Currently, making statements by a witness is treated as one of the most important parts of the preparatory proceeding. The article presents the ways in which an interrogation should be carried out. The article is based on books and documents deriving from many eminent police officers, public prosecutors and criminologists. The aims of the paper are as follows: outlining the rights and obligations of a witness in a criminal proceeding; description of procedures during questioning; drawing attention do the process of verifying statements.
    Źródło:
    Resocjalizacja Polska; 2014, 8; 119-130
    2081-3767
    2392-2656
    Pojawia się w:
    Resocjalizacja Polska
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Estymacja parametrów nieliniowych modeli funkcyjnych na potrzeby predykcji rynkowej wartości nieruchomości
    Estimation of parameters of non-linear function models for real estate market value prediction
    Autorzy:
    Barańska, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/262248.pdf
    Data publikacji:
    2005
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    wartość rynkowa
    model multiplikatywny
    metody estymacji
    weryfikacja modelu
    market value
    multiplicative model
    estimation methods
    verification of model
    Opis:
    Podstawą modelowania jednostkowych wartości nieruchomości są informacje o cenach i cechach nieruchomości, będących przedmiotem obrotu rynkowego lub o rynkowych wartościach nieruchomości reprezentatywnych i ich atrybutach. Zbiór takich informacji stanowi reprezentatywną bazę nieruchomości dla analizowanego rynku, która spełnia wszystkie kryteria zmiennej losowej wielowymiarowej. Spośród różnych nieliniowych funkcji wielu zmiennych w modelowaniu wartości nieruchomości będzie rozpatrywana multiplikatywna funkcja wykładnicza względem poszczególnych atrybutów. Wykładnicza postać funkcji zapewnia dodatnią wartość rynkową nieruchomości oraz pozwala opisywać zmienność w formie funkcji monofonicznej. Rozpatrywany był model w formie następującej multiplikatywnej funkcji wykładniczej [wzór]. Estymacja parametrów modelu może być wykonana różnymi metodami. W niniejszym opracowaniu przedstawiony został schemat postępowania dla metody Markowa (w postaci ważonej metody najmniejszych kwadratów). Weryfikacja wyestymowanego modelu przebiega następująco: 1. badanie dopuszczalności modelu ze względu na wartości współczynników zmienności oraz zbieżności, 2. badanie istotności współczynników modelu, 3. badanie symetrii składnika losowego.
    The basis of modelling real estate unit values is information on prices and qualities of real estates as subject of market turnover or on market values of representative real estates and their attributes. Such a data set constitutes a representative basis of real estates for analysing the market, meeting all criteria of multidimensional random variable. Among different non-linear functions of many variables, in modelling of a real estate unit price or value, multiplicative exponential function is chosen to be examined in relation to the particular attributes. Exponential form of the function assures positive values of real estates and it permits to describe their variability as a monotone function. The model of real estates unit values in form of multiplicative exponential function was analysed as follow [formula]. Estimation of model parameters may be done in many ways. In the present paper, the run system for Markow method (in form of least squares weighing method) will be submitted. Verification of estimated model proceeds as follows: 1. investigation of model acceptability regarding the values of factors variability as well as the convergence, 2. analysis of model factors significance, 3. analysis of random components symmetry.
    Źródło:
    Geodezja / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie; 2005, 11, 2; 213-219
    1234-6608
    Pojawia się w:
    Geodezja / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Timed concurrent state machines
    Współbieżne maszyny stanowe z czasem
    Autorzy:
    Daszczuk, W. B.
    Powiązania:
    https://bibliotekanauki.pl/articles/305419.pdf
    Data publikacji:
    2007
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    metody formalne
    weryfikacja modelowa
    weryfikacja w czasie rzeczywistym
    automaty czasowe
    formal methods
    model checking
    real time verification
    Timed Automata
    Opis:
    Timed Concurrent State Machines are an application of Alur Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea of testing automata, allowing to specify time properties easier than temporal formulas. Also, calculation of a global state space in real-time domain (Region Concurrent State Machines) is defined, allowing to storę a verified system in ready-to-verification form, and to multiply it by various testing automata.
    Współbieżne maszyny stanowe z czasem TCSM są aplikacją automatów czasowych Alura w środowisku koincydencyjnym współbieżnych maszyn czasowych CSM (w przeciwieństwie do środowisk przeplotowych). TCSM pasują do idei automatów testujących, które pozwalają wyspecyfikować zależności czasowe łatwiej niż poprzez formuły temporalne. Ponadto zdefiniowano sposób wyznaczania globalnej przestrzeni stanów w dziedzinie czasu (współbieżne maszyny stanowe regionów RCSM), co pozwala przechowywać badany system w postaci gotowej do weryfikacji i mnożyć go przez różne automaty testujące.
    Źródło:
    Computer Science; 2007, 8, Spec. Ed; 23-36
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    An overview and review of testing methods for the verification and validation of ADAS, active safety systems, and autonomous driving
    Przegląd i perspektywa metod testowania wykorzystywanych do weryfikacji i walidacji ADAS, systemów aktywnego bezpieczeństwa oraz jazdy autonomicznej
    Autorzy:
    Pietruch, Michał
    Młyniec, Andrzej
    Wetula, Andrzej
    Powiązania:
    https://bibliotekanauki.pl/articles/2106554.pdf
    Data publikacji:
    2020
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    ADAS validation
    active safety systems verification
    autonomous driving
    testing methods in the loop testing
    ADAS
    weryfikacja systemów aktywnego bezpieczeństwa
    jazda autonomiczna
    metody testowania
    testowanie w pętli
    Opis:
    The number of advanced driver assistance systems has increased dramatically in recent years. This led to a need for the development of testing methods to prove the quality and reliability of such systems. This publication presents an overview of the testing methods used in the automotive industry for the verification and validation of advanced driver assistance systems (ADAS), active safety, and autonomous driving systems. The first part presents the approach to X-in-the-loop testing such as model, software, hardware, etc., presenting the most interesting implementations. Then it discusses testing in proven areas like road traffic, artificial cities, and test tracks. The last part presents validation in the laboratory using both invasive and non-invasive methods based on virtual test drives, sensor stimulators and chassis dynamometers. Moreover, we identified the most promising approaches for the efficient verification and validation of ADAS, active safety and autonomous driving systems. Finally, we address some gaps in the research which require further investigation.
    W ostatnich latach znacznie wzrosła liczba zaawansowanych systemów wspomagających kierowcę. Spowodowało to potrzebę opracowania metod testowania ich jakości i niezawodności. Artykuł przedstawia przegląd metod badawczych stosowanych w przemyśle motoryzacyjnym wykorzystywanych w weryfikacji i walidacji zaawansowanych systemów wspomagania kierowcy (ADAS), aktywnego bezpieczeństwa i systemów jazdy autonomicznej. W pierwszej części przedstawiono podejście do testów nazywanych testowaniem w pętli, takich jak model w pętli, oprogramowanie w pętli itd., prezentując najciekawsze implementacje. Następnie omówiono testy wykonywane na różnych terenach testowych, które mają udowodnić niezawodność i jakość systemu. Testowymi terenami mogą być tory testowe, sztuczne miasta czy drogi publiczne. W ostatniej części przedstawiono walidację wykonaną w laboratorium z wykorzystaniem metod zarówno inwazyjnych, jak i nieinwazyjnych, opartych na wirtualnych jazdach testowych, stymulatorach czujników i hamowniach podwoziowych. Ponadto zidentyfikowaliśmy najbardziej obiecujące podejścia do skutecznej weryfikacji i walidacji systemów ADAS, aktywnego bezpieczeństwa oraz jazdy autonomicznej. Na koniec wskazujemy potencjalne luki w tym temacie, które wymagają dalszych badań.
    Źródło:
    Mining – Informatics, Automation and Electrical Engineering; 2020, 58, 1; 19-27
    2450-7326
    2449-6421
    Pojawia się w:
    Mining – Informatics, Automation and Electrical Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Przegląd i perspektywa metod testowania wykorzystywanych do weryfikacji i walidacji ADAS, systemów aktywnego bezpieczeństwa oraz jazdy autonomicznej
    An overview and review of testing methods for the verification and validation of ADAS, active safety systems, and autonomous driving
    Autorzy:
    Pietruch, Michał
    Młyniec, Andrzej
    Wetula, Andrzej
    Powiązania:
    https://bibliotekanauki.pl/articles/2106555.pdf
    Data publikacji:
    2020
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    ADAS
    weryfikacja systemów aktywnego bezpieczeństwa
    jazda autonomiczna
    metody testowania
    testowanie w pętli
    ADAS validation
    active safety systems verification
    autonomous driving
    testing methods in the loop testing
    Opis:
    W ostatnich latach znacznie wzrosła liczba zaawansowanych systemów wspomagających kierowcę. Spowodowało to potrzebę opracowania metod testowania ich jakości i niezawodności. Artykuł przedstawia przegląd metod badawczych stosowanych w przemyśle motoryzacyjnym wykorzystywanych w weryfikacji i walidacji zaawansowanych systemów wspomagania kierowcy (ADAS), aktywnego bezpieczeństwa i systemów jazdy autonomicznej. W pierwszej części przedstawiono podejście do testów nazywanych testowaniem w pętli, takich jak model w pętli, oprogramowanie w pętli itd., prezentując najciekawsze implementacje. Następnie omówiono testy wykonywane na różnych terenach testowych, które mają udowodnić niezawodność i jakość systemu. Testowymi terenami mogą być tory testowe, sztuczne miasta czy drogi publiczne. W ostatniej części przedstawiono walidację wykonaną w laboratorium z wykorzystaniem metod zarówno inwazyjnych, jak i nieinwazyjnych, opartych na wirtualnych jazdach testowych, stymulatorach czujników i hamowniach podwoziowych. Ponadto zidentyfikowaliśmy najbardziej obiecujące podejścia do skutecznej weryfikacji i walidacji systemów ADAS, aktywnego bezpieczeństwa oraz jazdy autonomicznej. Na koniec wskazujemy potencjalne luki w tym temacie, które wymagają dalszych badań.
    The number of advanced driver assistance systems has increased dramatically in recent years. This led to a need for the development of testing methods to prove the quality and reliability of such systems. This publication presents an overview of the testing methods used in the automotive industry for the verification and validation of advanced driver assistance systems (ADAS), active safety, and autonomous driving systems. The first part presents the approach to X-in-the-loop testing such as model, software, hardware, etc., presenting the most interesting implementations. Then it discusses testing in proven areas like road traffic, artificial cities, and test tracks. The last part presents validation in the laboratory using both invasive and non-invasive methods based on virtual test drives, sensor stimulators and chassis dynamometers. Moreover, we identified the most promising approaches for the efficient verification and validation of ADAS, active safety and autonomous driving systems. Finally, we address some gaps in the research which require further investigation.
    Źródło:
    Mining – Informatics, Automation and Electrical Engineering; 2020, 58, 1; 28-36
    2450-7326
    2449-6421
    Pojawia się w:
    Mining – Informatics, Automation and Electrical Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-11 z 11

      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