|
Termin
|
Prelegent
|
Temat prezentacji
|
|
2018.03.14
|
dr inż. Henryk Dobrowolski
|
Czy w II PW można i powinno się uczyć
programowania systemów wbudowanych?
Nowa wersja przedmiotu Systemy Wbudowane (SWB).
W ramach seminarium prelegent przedstawi historię przedmiotu i przyczyny jego zaniku. Dodatkowo omówi jakie treści dzisiaj powinien zawierać, jakimi zasobami do laboratorium dysponujemy i jak mogą wyglądać zajęcia laboratoryjne (przykłady). |
|
2018.03.21
|
|
Seminarium dr. inż. Jacka Wytrębowicza przeniesione na 2018.04.18.
|
|
2018.04.11
|
Aleksander Zamojski
(dyplomant K. Grochowskiego)
|
Dyskusja nad wymaganiami dla aplikacji wspierającej wykorzystanie systemu GitLab w dydaktyce.
W ramach pracy inżynierskiej wykonywanej w Zakładzie powstać ma system wspierający wykorzystanie systemu GitLab w dydaktyce. Spotkanie ma być poświęcone zebraniu wymagań od potencjalnych użytkowników i dyskusji nad założeniami systemu.
System GitLab to aplikacja webowa, która służy do wygodnego zarządzania repozytoriami kodu opartymi o system kontroli wersji git. Od kilku lat jest już z powodzeniem wykorzystywany w Zakładzie do zarządzania projektami wewnętrznymi. Jego wykorzystanie w dydaktyce jest potencjalnie ograniczone złożonością operacji administracyjnych - na potrzeby przedmiotów potrzeba na przykład zakładać jedno repozytorium per student itp., co oznaczałoby stosunkowo długa i nużącą pracę dla prowadzącego. Opracowywany system jest dedykowany dla prowadzących i ma usprawnić zadania związane z przygotowywaniem repozytoriów na potrzeby przedmiotu
|
|
2018.04.18
|
dr inż. Jacek Wytrębowicz
|
Refleksje z konferencji SensorNets 2018.
Streszczenie
Seminarium rozpocznę od krótkiego przedstawienia mojego pomysłu zastosowania serwerów kluczy w systemach Internetu Rzeczy. Pomysł ten prezentowałem na konferencji SensorNets 2018. Najpierw przedstawię genezę i motywację dla takiego rozwiązania, oraz wyjaśnię na czym ma ono polegać. Następnie, na przykładzie trzech przypadków użycia, zademonstruję jak serwery kluczy mogą służyć bezpiecznej komunikacji w sieci IoT. Po czym wyjaśnię dlaczego warto budować takie rozwiązanie.
Kolejną część seminarium chciałbym wykorzystać w celu omówienia tematów innych wystąpień na tej konferencji, które wzbudziły moje zainteresowanie. Na zakończenie, potencjalnym zainteresowanym, przedstawię wrażenia z pobytu na wyspie Madera.
|
|
2018.05.09
|
dr inż. Krzysztof Cabaj
|
UWAGA!!!
Seminarium w sali 138
Bezpieczeństwo systemów IoT.
Prezentacja poświęcona jest bezpieczeństwu systemów IoT, ze szczególnym uwzględnieniem systemów typu DiY (ang. Do it Yourself). W pierwszej części prezentacji zostaną przedstawione doświadczenia prelegenta z systemami Arduino i Webduino, które w efekcie pozwoliły na wykrycie wielu rożnych urządzeń typu DiY podłączonych bezpośrednio do sieci Internet. W dalszej części prezentacji zostanie omówiony serwis Shodan oraz kilka najciekawszych urządzeń IoT zindeksowanych przez niego.
Druga część prezentacji poświęcona jest omówieniu ataku na urządzenie służące do zdalnego otwiera bramy. Urządzenie to zostało początkowo odkryte poprzez analizę wyników z systemu Shodan. Dalsze poszukiwania doprowadziły do znalezienia aplikacji mobilnej służącej do sterowania urządzeniem oraz pełnych kodów źródłowych urządzenia. Ich analiza wskazała kilka błędów, między innymi błąd typu przepełnienie bufora (ang. buffer overflow). W związku z wykorzystaniem do budowy urządzenia mikrokontrolera AVR ATmega o architekturze Harvard, do przeprowadzenia udanego ataku została wykorzystana technika ROP (ang. Return Oriented Programming). W efekcie, w przygotowanym środowisku testowym udało się dokonać "otworzenia bramy" bez znajomości hasła użytkownika.
|
|
2018.05.23
|
dr inż. Wiktor Daszczuk
|
Sprawiedliwość w weryfikacji systemów rozproszonych
Fairness in verification of distributed systems
The verification of deadlock freeness and distributed termination in performed in Dedan tool. In Dedan, the IMDS formalism for specification of distributed systems is used. A system is described in terms of servers’ states, agents’ messages, and actions. Universal temporal formulas for checking deadlock and termination features are hidden in Dedan environment. The experience with commonly used verifiers (applied in Dedan environment) show problems with strong fairness (compassion), required for model checking of distributed systems. These problems outcome from busy form of waiting in some examples. The problem is solved by own temporal formulas evaluation algorithm, using breadth-first search and reverse reachability. This algorithm does not require to specify compassion requirements for individual events, as it supports strong fairness for all cases. Thus it is appropriate for verification of distributed systems.
|
|
2018.05.28
|
Darius Blasband, PhD.
RaincodeLabs
|
UWAGA!!!
Seminarium w poniedziałek, o 12:15 w sali 116
Difference between compilers as described in academia, and how they are actually developed in practice.
|
|
2018.06.06
|
|
|
|
2018.06.20
|
|
|
|