Systems modelling and analysis Field of study: Computer Science
Programme code: 08-S2INIA15.2019

Module name: Systems modelling and analysis
Module code: 08-IN-S2-MiAS
Programme code: 08-S2INIA15.2019
Semester: summer semester 2019/2020
Language of instruction: English
Form of verification: course work
ECTS credits: 4
Description:
Aim of the subject is making the student familiarize with methods and techniques of developing, analysis, modelling, testing and deployment of digital, IT and business processes systems, especially using hardware description languages VHDL, Verilog, Petri nets and standard notations or software development description languages UML, OCL, BPMN, BPEL and IT systems documentation. Ensuring the systems reliability, availability, security, protection requires knowledge of methods and techniques of verification, validation, testing, diagnostics, systems modelling and analysis which constitute supplement to the course range. The subject thematic covers also concurrent systems modelling, solving typical problems of concurrence and the meaning of software source code quality, maintenance of IT systems and programming engineering.
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]
Can think and act creatively. [MiAS -K_8]
 K_K01 [2/5]
Can work individually and in a team. [MiAS -K_9]
 K_U02 [1/5]
Can develop a digital system and use procedure of its testing . Can elaborate diagnostic tests, design test generators and data compaction systems. Uses methods and techniques enhancing systems reliability. Uses hardware description languages VHDL or Verilog, can execute digital system operation simulation. Uses tools for programming digital systems, can enhance testability of the developed digital system and takes into account influence of a digital system on its environment. [MiAS -U_4]
 K_U03 [2/5] K_U05 [2/5] K_U06 [1/5] K_U08 [3/5] K_U09 [4/5] K_U10 [4/5] K_U13 [4/5] K_U14 [4/5] K_U20 [3/5]
Can develop, analyze, model test and deploy software. Effectively uses tools for developing, modelling and testing systems. Uses development methodologies and techniques UML, OCL, BPML and BPEL to analyse and model IT systems. Can elaborate system specification and documentation. Can create software source code with desired quality features and use reverse engineering. [MiAS -U_5]
 K_U02 [3/5] K_U03 [4/5] K_U07 [2/5] K_U12 [2/5] K_U13 [4/5] K_U14 [4/5] K_U15 [4/5] K_U19 [3/5] K_U20 [4/5]
Can design Petri net for modelling for the system generalized modelling, perform the network operation simulation. Can model operation of a concurrent system and solve typical problems of concurrent processing. [MiAS -U_6]
 K_U07 [3/5] K_U08 [3/5]
Can prepare and give a project presentation and elaborate a report. [MiAS -U_7]
 K_U03 [3/5] K_U04 [3/5]
Understands the meaning of reliability, availability, security and protection of systems and knows means ensuring system reliability. Possesses knowledge concerning reliability violations: failures, errors and defects, knows their interrelations. Understands the need to prevent failures, fault tolerance and removal and their prediction. Knows methods and techniques of verification, validation and testing and hardware and software diagnostics. Can describe a digital system in standard languages of hardware description VHDL and Verilog, perform simulation and the process of system testing. [MiAS -W_1]
 K_W01 [4/5] K_W04 [1/5] K_W20 [4/5] K_W21 [2/5]
Knows and uses methods and techniques of development, analysis, modelling, testing and deployment of systems. Understands notation UML, OCL, BPMN and BPEL and uses it in IT and business systems development. Understands code quality meaning in the aspect of software maintenance, uses design patterns, knows object, component and event-driven programming techniques as well as basics of software engineering. [MiAS -W_2]
 K_W10 [4/5] K_W12 [2/5] K_W13 [2/5] K_W14 [3/5] K_W20 [3/5]
Knows Petri net functionality and basics of system modelling using these nets and uses techniques of their simulation. Understands operation of concurrent and parallel systems, problems of multithreading and multiprocessing, access to shared resources, scheduling, thread synchronization techniques and ensuring data integrity. Understands the need for systems functioning optimization and influence of system operation on its environment. [MiAS -W_3]
 K_W01 [2/5] K_W03 [2/5] K_W07 [3/5] K_W09 [3/5] K_W21 [1/5]
Type Description Codes of the learning outcomes of the module to which assessment is related
Exam [MiAS _w_1]
Verification of knowledge in the form of tasks to solve
 MiAS -W_1 MiAS -W_2 MiAS -W_3
Control tests [MiAS _w_2]
Systematic tests checking knowledge and skills acquired during lectures and laboratory classes.
 MiAS -U_4 MiAS -U_5 MiAS -U_6 MiAS -W_1 MiAS -W_2 MiAS -W_3
Reports [MiAS _w_3]
Systematic execution of reports of laboratory works course.
 MiAS -K_8 MiAS -K_9 MiAS -U_4 MiAS -U_5 MiAS -U_6 MiAS -U_7
Project [MiAS _w_4]
Executing a semester project in the range of accepted education effects.
 MiAS -K_8 MiAS -K_9 MiAS -U_4 MiAS -U_5 MiAS -U_6 MiAS -W_1 MiAS -W_2 MiAS -W_3
Presentation [MiAS _w_5]
Giving audio-visual presentation in front of the group, discussion over assumptions and accepted solution method of the given problem, analysis ane evaluation of the project goal.
 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]
Module educational content with use of audio-visual aids.
 15
Individual study over lecture subject matter and advised literature.
 15 Exam [MiAS _w_1]
laboratory classes [MiAS _fs_2]
Practical realization of the module educational content concerning, among others, acquiring skills and experience of effective use of tools to develop, model and test systems. The classes are held with use of computer workstations and sufficient software.
 30
Individual preparation for laboratory classes and periodical reports of the course of project works. Systematic elaboration of reports of subsequent topics realized during laboratory classes. Individual or in a group of several person execution of the project and its documentation. Preparing an audio-visual presentation about the realized project and its effecting in front of the group.
60 Control tests [MiAS _w_2] Reports [MiAS _w_3] Project [MiAS _w_4] Presentation [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)