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


Wyświetlanie 1-5 z 5
Tytuł:
Środowisko do symulacji błędów w układach FPGA
Fault Injection Framework for FPGA Devices
Autorzy:
Pisaniec, K.
Gawkowski, P.
Powiązania:
https://bibliotekanauki.pl/articles/153995.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
wiarygodność
testowanie
symulacja błędów
układy FPGA
dependability
testing
fault simulation
FPGA devices
Opis:
Z racji znacznego stopnia integracji współczesnych układów VLSI możliwości ich diagnostyki za pomocą tradycyjnych narzędzi są bardzo ograniczone. Wstrzykiwanie błędów umożliwia kompleksowe testowanie systemów komputerowych metodą symulacyjną. W artykule przedstawiono narzędzie automatyzujące symulowanie błędów w układach FPGA. Środowisko umożliwia eksperymentalną ocenę wiarygodności układów, pozwala obserwować i zaburzać sygnały z poziomu mikroarchitektury układu czy bloku sterowania. Badany układ w trakcie testu pracuje z pełną prędkością, co pozwala zminimalizować czas testowania.
The paper presents JiTO - a new fault injection framework for dependability evaluation of FPGA-based systems modeled in HDL. JiTO consists of PC/Windows application and JFIM - hardware diagnostic block designed in VHDL (Fig. 1). JFIM implements and extends IEEE1149.1-1990 (JTAG) by new mechanisms of hardware breakpoints, internal signals acquisition, support for emulation of external devices, and fault injection (Figs. 1 and 2). It is FPGA-vendor independent. The target device in HDL has to be instrumented with JFIM - highly configurable architecture enables access to any location in a target device and many types of experiments. The device under test operates at normal clock frequency, which ensures high efficiency of the testing process. The whole experiment consists of 3 phases (Fig. 3). The first one is the experiment configuration: selection of state probes, workload for device, definition of test scenario for external interfaces of the target device, workload result definition, and definition of faults. The second phase is collecting probed states of device internal signals during undisturbed, referenced workload execution. The last phase is a series of executions with faults injected (at full device clock speed) - JiTO conducts them automatically, collects selected signal states after fault injection for further analysis and automatically classifies the fault impact on the examined system. Section 5 presents preliminary results of JiTO usage with some benchmarking applications on 8051 microcontroller implementation from Oregano Systems [7] (Tab. 1 and Fig. 4).
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 8, 8; 645-647
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Symulacja błędów przemijających w mikrokontrolerze satelitarnym
Transient fault simulation in a satellite microcontroller
Autorzy:
Iwiński, M.
Sosnowski, J.
Powiązania:
https://bibliotekanauki.pl/articles/155157.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
systemy wbudowane
mikrokontrolery
symulacja błędów
niezawodność
embedded systems
microcontrollers
fault simulation
reliability
Opis:
W wielu zastosowaniach mikrokontrolerów należy brać pod uwagę wpływ na ich pracę błędów przemijających (zakłócenia elektromagnetyczne, promieniowanie kosmiczne itp.). Artykuł przedstawia metodę badania odporności na błędy przemijające w mikrokontrolerach. Bazuje ona na opracowanej platformie symulatora sprzężonego z obiektem badanym poprzez interfejs RS232C. Technika ta została zweryfikowana w badaniu mikrokon-trolera przeznaczonego do sterowania zasilaniem pokładowym satelity. W artykule przedstawiono wyniki eksperymentów oraz wskazano możliwości programowego zwiększania odporności na błędy.
In many microcontroller applications the impact of transient faults (electromagnetic disturbances, cosmic radiation, etc.) on their operation has to be taken into account. The paper presents a new methodology of testing transient fault robustness in microcontrollers. It is based on the developed fault injection platform which is coupled to the tested object via RS 232C interface. A tested object (microcontroller) cooperates with real or modelled environment (partially controlled by a simulator). This technique has been successfully applied to testing a microcontroller used for managing the satellite on-board power subsystem (solar cells, batteries, power accumulation and distribution), Many transient fault simulation experiments have been performed and their results interpreted. In particular, there has been analysed the impact of faults on correct control flow of the program. Some simple fault detection and error recovery mechanisms have been included in the considerations. The presented methodology can be easily extended for other microcontrollers and communication interfaces. Time and code overheads are negligible so the simulation results are quite realistic.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 822-824
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Gas-flow computer with SBST
Komputerowy przelicznik przepływu gazu z wbudowanym SBST
Autorzy:
Mosdorf, M.
Grochowski, K.
Sosnowski, J.
Gawkowski, P.
Powiązania:
https://bibliotekanauki.pl/articles/156571.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
systemy wbudowane
mikrokontrolery
symulacja błędów
niezawodność
embedded systems
microcontrollers
fault simulation
reliability
Opis:
The paper deals with the problem of improving dependability in industrial embedded systems. This problem is considered in relevance to the developed gas flow computer. It is implemented around ARM microcontroller which performs complex measurements and calculations of gas flow with embedded software based self-test mechanisms (SBST) assuring fault detection and fault handling. These mechanisms do not interfere with the normal operation neither in time nor in space. The effectiveness of these approaches has been practically verified in specialised experiments.
Ostatnio obserwuje się coraz większe zainteresowanie inteligentnymi urządzeniami pomiarowymi. Wykorzystują one bardzo wydajne mikroprocesory lub mikrokontrolery i złożone oprogramowanie. Urządzenia te zwykle pracują w środowisku przemysłowym lub otwartym terenie, gdzie są narażone na różne zakłócenia (elektromagnetyczne, termiczne, niestabilne zasilanie itp.). Stąd istotnym jest zapewnienie dużej wiarygodności ich pracy. Problem ten uwidocznił się w produkowanych przelicznikach gazu ziemnego [9]. Dane producenta wskazują na 8% problemów serwisowych (rozdz. 2). Autorzy podjęli się rozwiązania tego problemu poprzez opracowanie programowych mechanizmów autotestowania (SBST) zintegrowanych z oprogramowaniem operacyjnym urządzeń pomiarowych. Pozwalają one monitorować w sposób ciągły (rys. 1) poprawność pracy urządzenia (rozdz. 3). W szczególności wbudowano mechanizm kontroli poprawności i autonaprawy kodu przelicznika, obsługę sytuacji wyjątkowych, autotestowanie krytycznych procedur spreparowanymi zestawami danych itd. (rozdz. 3). Pozwalają one na detekcję zarówno błędów przemijających (i ograniczone ich tolerowanie) jak i błędów trwałych. Efektywność tego rozwiązania została zweryfikowana przy wykorzystaniu techniki symulacji błędów ([1, 3]) oraz generowanie logów operacyjnych i liczników zastosowanych w nowym prototypie przelicznika. W porównaniu z innymi przelicznikami gazu osiągnięto istotną poprawę wiarygodności (rozdz. 4). Przedstawione mechanizmy mogą być zastosowane również w innych urządzeniach z mikrokontrolerami.
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 7, 7; 665-667
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Exact parallel critical path fault tracing to speed-up fault simulation in sequential circuits
Autorzy:
Kõusaar, Jaak
Kostin, Sergei
Ubar, Raimund
Devadze, Sergei
Raik, Jaan
Powiązania:
https://bibliotekanauki.pl/articles/397718.pdf
Data publikacji:
2018
Wydawca:
Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
Tematy:
sequential circuits
fault simulation
stuck-at-faults
critical path tracing
układy sekwencyjne
symulacja błędów
Opis:
We propose a new method to speed up stuck-at fault simulation for sequential circuits. The method combines exact parallel critical path tracing of faults, used so far only for combinational circuits, with traditional fault simulation in sequential circuits. For that purpose, formulas are developed for classification of faults into two classes: the faults eligible for parallel critical path tracing, and the faults which have to be simulated over the global feedbacks in the circuit by traditional methods. Combining these two approaches in fault simulation ‒ the combinational and sequential simulation concepts ‒ allows dramatic speed-up of fault simulation in sequential circuits, which is demonstrated by experimental results.
Źródło:
International Journal of Microelectronics and Computer Science; 2018, 9, 1; 9-18
2080-8755
2353-9607
Pojawia się w:
International Journal of Microelectronics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Distributed approach for parallel exact critical path tracing fault simulation
Autorzy:
Ivask, E.
Devadze, S.
Ubar, R.
Powiązania:
https://bibliotekanauki.pl/articles/398084.pdf
Data publikacji:
2010
Wydawca:
Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
Tematy:
systemy rozproszone
symulacja błędów
śledzenie ścieżki krytycznej
cyfrowy test
distributed computing
fault simulation
critical path tracing
digital test
Opis:
Distributed computing attempts to aggregate different computing resources available in enterprises and in the Internet for computation intensive applications in a transparent and scalable way. Fault simulation used in digital design flow for test quality evaluation can require a lot of processor and memory resources. To speed up simulation and to overcome the problem of memory limits in the case of very large circuits, a method of model partitioning and the procedure of parallel reasoning for several distributed simulation agents was proposed. The concept and implementation of web-based distributed system was introduced.
Źródło:
International Journal of Microelectronics and Computer Science; 2010, 1, 2; 165-174
2080-8755
2353-9607
Pojawia się w:
International Journal of Microelectronics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-5 z 5

    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