3262347144

2 Badania naukowe

gotowywania materiałów dydaktycznych przeznaczonych do zdalnej nauki, które zostały ocenione pod kątem pracochłonności i jakości na podstawie badania przeprowadzonego w formie studium przypadku.

Zagadnienia inżynierii wymagań

W zakresie zagadnień związanych z problemami inżynierii wymagań opracowane została publikacja poświęcona możliwości wykorzystania darmowego narzędzia ArgoUML w procesie identyfikacji i modelowania wymagań dla dużego systemu informatycznego.

W procesie rozwijania oprogramowania kluczową rolę w wytworzeniu dobrego projektu systemu informatycznego odgrywa poprawne przeprowadzenie fazy analizy, w której na podstawie dobrze zdefiniowanych wymagań funkcjonalnych buduje się logiczny model systemu. Jedną z metod opisywania wymagań funkcjonalnych jest wprowadzona przez Jacobsona w 1993 roku metoda przypadków użycia (use cases). Na podstawie analizy funkcji wykorzystywanych przez poszczególnych użytkowników można skonstruować diagramy i scenariusze przypadków użycia i na ich podstawie zdefiniować obiektowy model systemu informatycznego. Istotnym problemem jest jednak niewielka liczba działających darmowych narzędzi CASE wspomagających projektanta systemu na tym etapie. Opisano proces opracowywania założeń oraz formalnych wymagań, na podstawie których ma zostać stworzony system informatyczny gromadzący i dostarczający informacje o dostępności powierzchni kolokacyjnych udostępnianych operatorom korzystającym w punktach dostępu do sieci Telekomunikacji Polskie S. A. Zadanie zostało zrealizowane przy wykorzystaniu darmowego narzędzia ArgoUML wspomagającego modelowanie w języku UML.

Systemy czasu rzeczywistego

Problematyka systemów czasu rzeczywistego podjęta została w pracy stanowiącej efekt kontynuacji wcześniejszych badań, w których zaproponowano rozszerzenie metody cyklicznego obciążania w celu umożliwienia deterministycznego użycia pamięci notatnikowej w systemach silnie uwarunkowanych czasowo. Rozszerzenie metody cyklicznego obciążania procesora jest oparte na nowym podejściu do problemu plecakowego, nazwanym knapsack-lightening (odciążanie plecaka). Problem ten jest obliczeniowo NP-trudny, a dotychczasowe podejścia heurystyczne okazały się niewystarczająco efektywne dla zapewnienia poprawności szeregowania zadań w locie (on-line). W pracy zaproponowano możliwości poprawy obecnie znanych algorytmów stosowanych dla wielordzeniowego procesora w rozproszonym środowisku obliczeniowym. Zaproponowano i zweryfikowano również metody zrównoleglenia wykonywania zadań obliczeniowych.

16