Temat: systemy wbudowane - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Zastosowanie mechanizmu zegarowego do wykrywania anomalii zachowania komputerowego systemu sterowania
Watchdog timer mechanizm for detecting execution computer anomalies in control systems
Autorzy:: Szymczyk, M.
Szymczyk, P.
Data publikacji:: 2010
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: systemy sterowania
systemy wbudowane
control systems
embedded systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Modelling concurrent systems with Alvis
Modelowanie systemów współbieżnych w języku Alvis
Autorzy:: Szpyrka, M.
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: Alvis
systemy wbudowane
systemy współbieżne
modelowanie i weryfikacja
embedded systems
concurrent systems
modelling and verification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Przegląd rozwiązań stanowisk laboratoryjnych stosowanych podczas nauki zdalnej
Overview of the Laboratory Workstation Solutions Used during Remote Learning
Autorzy:: Raczyński, Michał
Biedka, Andrzej
Data publikacji:: 2023
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: nauka zdalna
układy elektroniczne
systemy wbudowane
mikrokontrolery
remote teaching
electronic circuits
embedded systems
microcontrollers; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Stanowisko laboratoryjne do badania wielowymiarowych algorytmów regulacji
Laboratory stand for the study of multivariable control algorithms
Autorzy:: Wojtulewicz, A.
Chaber, P.
Ławryńczuk, M.
Data publikacji:: 2015
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: regulacja predykcyjna
procesy wielowymiarowe
systemy wbudowane
mikroprocesory
układy FPGA
predictive control
multiple-input multiple-output processes
embedded systems
microprocessors
FPGAs; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Nowoczesne technologie projektowania systemów automatyki
Modern Technologies of Designing Automation Systems
Autorzy:: Pauluk, Mariusz
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; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja