|
Termin
|
Prelegent
|
Temat prezentacji
|
|
2021.09.22
|
|
Kolegium instytutowe
|
|
2021.09.29
|
dr hab. inż. Krzysztof Cabaj
|
RIOT - system operacyjny dla urządzeń internetu rzeczy (IoT).
RIOT jest systemem operacyjnym dedykowanym urządzeniom o ograniczonych zasobach. Można go uruchomić nawet na tak „małych” systemach jak Arduino, oparte o mikrokontrolery rodziny ATmega posiadające pojedyncze KB pamięci. W ramach prezentacji przedstawię najważniejsze mechanizmy tego systemu operacyjnego. Dodatkowo chciałbym podzielić się własnymi doświadczeniami oraz moim zdaniem bardzo ciekawymi i przydatnymi możliwościami jakie oferuje system RIOT.
|
|
2021.11.03
|
dr hab. inż. Wiktor Daszczuk
|
Statyczna i dynamiczna weryfikacja systemów rozproszonych z wykorzystaniem asynchronicznych agentów-obserwatorów
Formalna weryfikacja systemów rozproszonych jest niezbędna, zwłaszcza w systemach o znaczeniu krytycznym, których nie można zrestartować. Formalizm weryfikacji powinien odpowiadać podstawowym cechom systemu rozproszonego, takim jak autonomia węzłów oraz asynchroniczność działań i komunikacji, jak w moim Zintegrowanym Modelu Systemów Rozproszonych (IMDS). Agenci - Obserwatorzy sprawdzają stan poszczególnych elementów systemu poprzez odpytywanie, umożliwiając weryfikację bez znajomości globalnego stanu systemu. Taki agent jest idealnym prototypem obserwatora w czasie wykonania, który sprawdza, czy rzeczywiste działanie systemu odpowiada projektowi, który wcześniej został przebadany formalnie i uznajemy go za poprawny.
|
|
2022.02.23
|
dr inż. Jacek Wytrębowicz
|
Podstawy budowy systemów zdecentralizowanych cz. I.
W ramach seminarium zostaną przedstawione podstawy techniczne budowy systemów zdecentralizowanych. Systemem zdecentralizowanym nazywamy taki, którego działanie nie jest zależne od jednego podmiotu. Systemy te do rejestracji danych stosują zwykle strukturę łańcucha bloków, zaś do zatwierdzania bloków algorytmy konsensusu.
Przedstawię terminologię, historię powstawania, funkcje, właściwości, budowę, zasadę działania oraz zastosowania takich systemów.
Słowa kluczowe: blockchain, DLT, DApp, DAO.
|
|
2022.03.16
(dwa wystąpienia)
|
dr inż. Roman Podraza
|
1)O wybranych narzędziach dydaktycznych.
Na seminarium prelegent podzieli się informacjami z projektu „Mistrzowie dydaktyki” finansowanego przez MEiN oraz z projektu konsorcjum ENHANCE. Prowadzący przedstawi formy uzyskiwania informacji zwrotnej od studentów oraz sposobów ich oceniania, które zamierza wprowadzić na zajęciach. Dodatkowo prelegent omówi także ogólny zarys wybranych koncepcji dydaktycznych.
|
|
|
dr inż. Jacek Wytrębowicz
|
2)Podstawy budowy systemów zdecentralizowanych cz. II.
|
|
2022.03.30
|
mgr inż. Grzegorz Siewruk
(doktorant W. Mazurczyka)
|
Orkiestracja narzędzi bezpieczeństwa procesie automatyzacji dostarczania oprogramowania.
Zarządzanie podatnościami zgłaszanymi przez wiele rozwiązań służących do wykrywania podatności jest żmudnym i czasochłonnym zadaniem, zwłaszcza w przypadku rozbudowanych systemów teleinformatycznych. Poszczególne luki w oprogramowaniu mogą mieć różny wpływ na system informatyczny, w zależności od kontekstu, w jakim zostały wykryte. Ponadto, oprogramowanie skanujące może zgłaszać tysiące błędów, co sprawia, że wykonywanie operacji takich jak analiza i priorytetyzacja jest bardzo kosztowna z organizacyjnego punktu widzenia. Podczas prezentacji zostanie zaprezentowany system Mixeway, który korzystając z kontekstu, w którym została wykryta podatność bezpieczeństwa oraz technik uczenia maszynowego realizuje zadania klasyfikacji błędów w oprogramowaniu na takie, które muszą być koniecznie usunięte (ponieważ mogą prowadzić do poważnego zagrożenia) oraz na takie, które w wykrytym kontekście nie są groźne. Przygotowany model został wytrenowany z wykorzystaniem przeanalizowanych podatności, które zostały wykryte w oprogramowaniu produkcyjnie wykorzystywanym w infrastrukturze jednego z operatorów telekomunikacyjnych. Wyniki eksperymentalne uzyskane przez klasyfikator dowodzą, że proponowane rozwiązanie jest użyteczne i skuteczne.
|
|
2022.04.13
|
dr hab. inż. Wiktor Daszczuk
|
Logika kwantowa
Celem seminarium jest przedstawienie logiki kwantowej na poziomie elementarnym. W ramach prezentacji zostaną poruszone między innymi takie zagadnienia jak: logika kwantowa, podstawowe bramki kwantowe, notacje, składanie układów kwantowych z bramek, różnice w stosunku do logiki binarnej oraz przewaga nad logiką binarną.
|
|
2022.09.14
|
mgr inż. Marcin Gregorczyk
(doktorant W. Mazurczyka)
|
Badanie przydatności technologii software-defined networking do wykrywania i przeciwdziałania zagrożeniom w sieciach teleinformatycznych
Technologia SDN zmienia sposób zarządzania siecią we współczesnych centrach danych i chmurach obliczeniowych zarówno publicznych, prywatnych, jak i hybrydowych. Jest ona także trzonem technologii 5G, zdobywającej coraz większą popularność. SDN poprzez oddzielenie infrastruktury od aplikacji kontrolujących jej działanie, umożliwia zarządzanie siecią w ustandaryzowany, a co najważniejsze scentralizowany sposób. Centralizacja jest tu kluczowym elementem, biorąc pod uwagę rozmiar współczesnych oraz przyszłych sieci oraz zasięg, rodzaje czy częstotliwość przeprowadzanych cyberataków. Wydaje się, że właśnie ze względu na centralizację widoku infrastruktury sieciowej technologia SDN będzie miała przewagę nad tradycyjnymi narzędziami podnoszącymi bezpieczeństwo sieci (IDS/IPS czy firewall). W ramach prezentacji zostaną przedstawione wyniki badań, potwierdzające, że technologia SDN jest właściwym kierunkiem rozwoju rozwiązań poprawiających bezpieczeństwo sieci teleinformatycznych.
|
2022.10.05
|
mgr inż. Adam Kozłowski
(doktorant prof. J.Sosnowskiego)
|
Adaptacyjne zarządzanie komunikacją w przemysłowych, bezprzewodowych sieciach Internetu Rzeczy (IoT)
Bezprzewodowe sieci przemysłowe (industrial wireless networks, IWN) zyskują na znaczeniu w związku z rozwojem Przemysłu 4.0. Autonomiczna wymiana informacji bezpośrednio pomiędzy węzłami sieci i odejście od hierarchicznej struktury procesów automatyzacji wymagają efektywnych metod adaptacyjnej optymalizacji konfiguracji IWN pozwalających na wypełnienie stawianych wymagań jakościowych (QoS).
W rozprawie sformułowano problem optymalizacyjny znalezienia między warstwowej konfiguracji IWN w oparciu o zgłaszane kontrakty, wymagania jakościowe QoS (tj. maksymalny czas transmisji, niezawodność, żywotność, przepływność) oraz raporty dotyczące połączeń z sąsiednimi węzłami. Opracowano i poddano analizie zestaw autorskich modeli, metod oraz algorytmów pozwalających na adaptacyjny dobór parametrów konfiguracyjnych w sieciach IWN z węzłami o ograniczonych zasobach (układowych i energetycznych). Charakter opracowania jest uniwersalny ale przyjęte, w badanych implementacjach, definicje (kontraktów, parametrów QoS, priorytetów, rodzajów ruchu) są zgodne ze standardem ISA100.11a. Otrzymane rezultaty mają wymiar praktyczny co zostało potwierdzone w ramach projektu badawczo-rozwojowego RPMA.01.02.00-14-9551/17-00.
|
|