Modelowanie i analiza systemów Field of study: Computer Science
Programme code: 08-S2INI14.2016

Module name: Modelowanie i analiza systemów
Module code: 08-IN-S2-MiAS
Programme code: 08-S2INI14.2016
Semester: summer semester 2017/2018
Language of instruction: Polish
Form of verification: exam
ECTS credits: 3
Description:
Celem przedmiotu jest zapoznanie studenta z metodami i technikami projektowania, analizy, modelowania, testowania i wdrażania systemów cyfrowych, informatycznych i procesów biznesowych, w szczególności językami opisu sprzętu VHDL, Verilog, sieciami Petriego oraz standardowymi notacjami lub językami opisu projektu oprogramowania: UML, OCL, BPMN, BPEL i dokumentowania systemów informatycznych. Zapewnienie wiarygodności systemów, ich niezawodności, dyspozycyjności, zabezpieczenia, bezpieczeństwa, wymaga znajomości metod i technik weryfikacji, walidacji, testowania i diagnostyki, modelowania i analizy systemów, które stanowią uzupełnienie zakresu przedmiotowego kursu. Tematyka przedmiotu obejmuje również modelowanie systemów współbieżnych, rozwiązywanie typowych problemów współbieżności oraz znaczenie jakości kodu źródłowego oprogramowania, utrzymania systemów informatycznych i inżynierii oprogramowania.
Prerequisites:
(no information given)
Key reading:
(no information given)
Learning outcome of the module Codes of the learning outcomes of the programme to which the learning outcome of the module is related [level of competence: scale 1-5]
Potrafi myśleć i tworzyć w sposób kreatywny. [MiAS -K_8]
 K_2_A_I_K01 [2/5] K_2_A_I_K06 [2/5]
Umie pracować indywidualnie i w zespole. [MiAS -K_9]
 K_2_A_I_K03 [3/5]
Potrafi zaprojektować system cyfrowy oraz zastosować procedurę jego testowania. Umie opracować testy diagnostyczne, projektować generatory testów i układy kompakcji danych. Stosuje metody i techniki zwiększające wiarygodność systemów. Posługuje się językami opisu sprzętu VHDL lub Verilog, potrafi wykonać symulację działania systemu cyfrowego. Stosuje narzędzia do projektowania układów cyfrowych, umie zwiększyć testowalność projektowanego układu cyfrowego oraz uwzględnia wpływ systemu cyfrowego na jego otoczenie. [MiAS -U_4]
 K_2_A_I_U03 [2/5] K_2_A_I_U05 [2/5] K_2_A_I_U06 [1/5] K_2_A_I_U08 [3/5] K_2_A_I_U09 [4/5] K_2_A_I_U10 [4/5] K_2_A_I_U14 [4/5] K_2_A_I_U15 [4/5] K_2_A_I_U21 [3/5]
Potrafi projektować, analizować, modelować, testować i wdrażać oprogramowanie. Sprawnie posługuje się narzędziami do projektowania, modelowania i testowania systemów. Stosuje metodyki i techniki projektowania UML, OCL, BPML i BPEL do analizy i modelowania systemów informatycznych. Umie opracować specyfikację systemu i jego dokumentację. Potrafi tworzyć kod źródłowy oprogramowania o pożądanych cechach jakościowych oraz stosować inżynierię wsteczną. [MiAS -U_5]
 K_2_A_I_U02 [3/5] K_2_A_I_U03 [4/5] K_2_A_I_U07 [2/5] K_2_A_I_U13 [2/5] K_2_A_I_U14 [4/5] K_2_A_I_U15 [4/5] K_2_A_I_U16 [4/5] K_2_A_I_U20 [3/5] K_2_A_I_U21 [4/5]
Potrafi zaprojektować sieć Petriego do modelowania uogólnionego systemu, wykonać symulację funkcjonowania takiej sieci. Umie modelować działanie systemu współbieżnego oraz rozwiązywać typowe problemy przetwarzania współbieżnego. [MiAS -U_6]
 K_2_A_I_U07 [3/5] K_2_A_I_U08 [3/5]
Potrafi przygotować i przedstawić prezentację projektu oraz wykonać sprawozdania [MiAS -U_7]
 K_2_A_I_U03 [3/5] K_2_A_I_U04 [3/5]
Rozumie znaczenie niezawodności, dyspozycyjności, bezpieczeństwa i zabezpieczenia systemów oraz zna środki zapewniające wiarygodność systemów. Dysponuje wiedzą dotyczącą naruszeń wiarygodności: uszkodzeń, błędów i defektów, zna ich wzajemne relacje. Rozumie potrzebę zapobiegania uszkodzeniom, tolerowania i usuwania uszkodzeń oraz ich prognozowanie. Zna metody i techniki weryfikacji, walidacji i testowania oraz diagnostyki sprzętu i oprogramowania. Umie opisać system cyfrowy w standardowych językach opisu sprzętu VHDL i Verilog, wykonać symulację oraz proces testowania systemu. [MiAS -W_1]
 K_2_A_I_W01 [4/5] K_2_A_I_W04 [1/5] K_2_A_I_W20 [4/5] K_2_A_I_W21 [2/5]
Zna i stosuje metody oraz techniki projektowania, analizy, modelowania, testowania i wdrażania systemów. Rozumie notację UML, OCL, BPMN i BPEL i stosuje ją w projektowaniu systemów informatycznych i biznesowych. Zna zasady tworzenia dokumentacji projektowej systemu informatycznego. Rozumie znaczenie jakości kodu w aspekcie utrzymania oprogramowania, stosuje wzorce projektowe, zna techniki programowania obiektowego, komponentowego i zdarzeniowego oraz podstawy inżynierii oprogramowania. [MiAS -W_2]
 K_2_A_I_W10 [4/5] K_2_A_I_W12 [2/5] K_2_A_I_W13 [2/5] K_2_A_I_W14 [3/5] K_2_A_I_W20 [3/5]
Zna funkcjonalność sieci Petriego i podstawy modelowania systemów za pomocą tych sieci oraz stosuje techniki ich symulacji. Rozumie działanie systemu współbieżnego i równoległego, problemy wielowątkowości i wieloprocesorowości, dostępu do wspólnych zasobów, szeregowania zadań, techniki synchronizacji wątków i zapewnienia integralności danych. Rozumie potrzebę optymalizacji funkcjonowania systemów oraz oddziaływanie systemu na środowisko jego otoczenia. [MiAS -W_3]
 K_2_A_I_W01 [2/5] K_2_A_I_W03 [2/5] K_2_A_I_W07 [3/5] K_2_A_I_W09 [3/5] K_2_A_I_W21 [1/5]
Type Description Codes of the learning outcomes of the module to which assessment is related
Egzamin [MiAS _w_1]
Weryfikacja wiedzy w formie zadań do rozwiązania.
 MiAS -W_1 MiAS -W_2 MiAS -W_3
Prace sprawdzające [MiAS _w_2]
Systematyczne sprawdziany wiedzy i umiejętności nabytych na zajęciach wykładowych i laboratoryjnych.
 MiAS -U_4 MiAS -U_5 MiAS -U_6 MiAS -W_1 MiAS -W_2 MiAS -W_3
Sprawozdania [MiAS _w_3]
Systematyczne wykonywanie sprawozdań z przebiegu prac laboratoryjnych.
 MiAS -K_8 MiAS -K_9 MiAS -U_4 MiAS -U_5 MiAS -U_6 MiAS -U_7
Projekt [MiAS _w_4]
Wykonanie projektu semestralnego w zakresie przyjętych w module efektów kształcenia.
 MiAS -K_8 MiAS -K_9 MiAS -U_4 MiAS -U_5 MiAS -U_6 MiAS -W_1 MiAS -W_2 MiAS -W_3
Prezentacja [MiAS _w_5]
Przedstawienie prezentacji audiowizualnej na forum grupy studentów, dyskusja założeń i przyjętej metody rozwiązania określonego problemu, analiza i ocena realizacji celu projektu.
MiAS -K_8 MiAS -K_9 MiAS -U_7
Form of teaching Student's own work Assessment of the learning outcomes
Type Description (including teaching methods) Number of hours Description Number of hours
lecture [MiAS _fs_1]
Treści kształcenia modułu z użyciem środków audiowizualnych.
 15
Samodzielne studiowanie tematyki wykładu i zalecanej literatury
 5 Egzamin [MiAS _w_1]
laboratory classes [MiAS _fs_2]
Praktyczna realizacja treści kształcenia modułu polegająca m.in. na nabyciu umiejętności i doświadczenia sprawnego posługiwania się narzędziami do projektowania, modelowania, testowania systemów. Zajęcia odbywają się przy wykorzystaniu stanowisk komputerowych i odpowiedniego oprogramowania.
 30
Samodzielne przygotowanie do zajęć laboratoryjnych oraz cykliczne sprawozdania z przebiegu prac projektowych. Systematyczne wykonywanie sprawozdań z poszczególnych tematów realizowanych w ramach laboratorium Samodzielne lub w grupie kilkuosobowej wykonanie projektu i jego dokumentacji Przygotowanie prezentacji w formie audiowizualnej na temat zrealizowanego projektu i jej przedstawienie na forum grupy studentów
40 Prace sprawdzające [MiAS _w_2] Sprawozdania [MiAS _w_3] Projekt [MiAS _w_4] Prezentacja [MiAS _w_5]
Attachments
Module description (PDF)
Information concerning module syllabuses might be changed during studies.
Syllabuses (USOSweb)
Semester Module Language of instruction
(no information given)