|
Termin
|
Prelegent
|
Temat prezentacji
|
|
2024.02.28
|
dr inż. Marcin Gregorczyk
|
Instytutowa chmura OpenStack
OpenStack to oprogramowanie do tworzenia prywatnej chmury obliczeniowej. Oryginalnie było ono rozwijane przez NASA i Rackspace, jednak w krótkim czasie dołączyli się inni najwięksi gracze rynku IT, m.in. Intel, Canonical, Cisco, Dell, IBM, HP, RedHat.
OpenStack implementuje model Infrastructure as a Service (IaaS), który znacznie różni się od tradycyjnego podejścia w zarządzaniu infrastrukturą IT.
Podczas prezentacji zostaną wyjaśnione podstawowe elementy składowe zaimplementowanej instalacji OpenStack. Następnie w interaktywnym live-demo zostanie pokazany proces tworzenia instancji, przydzielania wolumenów danych oraz dostępu do posiadanej infrastruktury. Podczas demo, zostanie użyty zarówno interfejs graficzny jak i CLI.
Chmura obliczeniowa będzie potencjalnie używana do prowadzenia badań oraz dydaktyki. Ze względu na specyficzne założenia Openstack’a (wynikające z modelu IaaS) warto zapoznać się z jego użytkowaniem.
|
|
2024.04.15
|
profesor Thuan Pham z University of Melbourne |
Effective Security Testing with Fuzzing: Challenges and Proposed Solutions
Thorough testing is essential to increase the security of software systems and fuzzing (i.e., fuzz testing) is one of the most popular and effective approaches. However, the technique has several (open) challenges. In this talk, we will discuss these challenges and some solutions that have been proposed and (partially) implemented by our Cyber Security group at the University of Melbourne. We will also share the limitations of these approaches and open discussions for future research.
|
|
2024.05.08
|
Filip Lew, dyplomant dra hab. Wiktora Daszczuka |
Weryfikacja przepływów pracy Arche Airflow w środowisku Dedan
Celem pracy jest opracowanie rozwiązania umożliwiającego automatyczną weryfikację przepływów pracy Apache Airflow z wykorzystaniem formalizmu IMDS. Rozwiązanie odczytuje definicje DAG Airflow, konwertuje je do modelu IMDS, uruchamia weryfikator Dedan celem weryfikacji i wyświetla wynik, czy przepływ pracy zawsze ostatecznie się zakończy. Jeżeli zdarzy się, że się nie przepływ się nie zakończy, to wynik będzie zawierał przykładowy scenariusz bez terminacji. Dodatkowo możliwe jest zapisanie semantycznie istotnych informacji o przepływach pracy w reprezentacji pośredniej, co pozwala na ich weryfikację bez obecności interpretera Pythona oraz ułatwia konstrukcję syntetycznych przepływów pracy.
Dokonano weryfikacji przemysłowych przepływów pracy o znacznej wielkości.
Obecnie rozwiązanie wspiera konwersję definicji DAG do modeli IMDS, brakuje jeszcze możliwości automatycznego uruchomienia weryfikatora Dedan i wyświetlenia jego wyników.
|
|
2024.06.26
|
mgr inż. Witold Wysota
|
Jak powinniśmy uczyć C++?
W programie studiów inżynierskich z informatyki w sposób systematyczny uczymy dwóch języków programowania - Pythona i C++. O ile wersja Pythona, której uczymy, jest w miarę nowoczesna, o tyle uczony przez nas C++ został ustandaryzowany 21 lat temu. W ramach seminarium przyjrzymy się wykorzystaniu C++ w programie informatyki i spróbujemy sobie odpowiedzieć na pytanie, czy
warto uczyć C++ w dotychczasowy sposób, czy też należy wprowadzić zdecydowane zmiany do programu nauczania.
|
|
2025.01.15
|
mgr inż. Witold Wysota
|
Wirtualizacja i konteneryzacja zasobów sprzętowych w kontekście zakładowego laboratorium serwerowego
Wirtualizacja i konteneryzacja to technologie, które w istotny sposób wpłynęły na istnienie rozwiązań pozwalających na łatwy dostęp do infrastruktury IT. Podczas seminarium zostaną przedstawione zagadnienia związane z realizacją tych mechanizmów. Szczególny nacisk zostanie położony na konteneryzację realizowaną przez system Linux w postaci takich znanych rozwiązań jak Linux Containers i Docker. Związane jest to z pozyskaniem przez Zakład serwera, na którym dostępne są mechanizmy wirtualizacji i konteneryzacji. W ramach seminarium zostaną zaprezentowane możliwości i zastosowania dostępnej infrastruktury.
|
|