Přístupnostní navigace
E-application
Search Search Close
Course detail
FIT-MBAAcad. year: 2023/2024
Introduction of model-base design, testing, analysis and model checking. Petri nets as a model of parallel systems. Techniques for analysis of Petri nets. Markov chains as a model of probabilistic systems. Techniques for analysis of Markov chains. Timed automata as a model of systems working with real-time. Techniques for analysis of timed automata. UML and SysML diagrams within model-based design and techniques for their analysis. Introduction to the tools for analysis of the presented models.
Language of instruction
Number of ECTS credits
Mode of study
Guarantor
Department
Entry knowledge
Rules for evaluation and completion of the course
4 projects (10 points each), final exam (60 points).
Students have to achieve at least 25 points, otherwise the exam is assessed by 0 points.
Aims
Study aids
Prerequisites and corequisites
Basic literature
Recommended reading
Elearning
Classification of course in study plans
branch MIS , 2 year of study, summer semester, compulsory-optionalbranch MBS , 0 year of study, summer semester, electivebranch MPV , 0 year of study, summer semester, electivebranch MIN , 2 year of study, summer semester, compulsorybranch MGM , 2 year of study, summer semester, electivebranch MBI , 0 year of study, summer semester, electivebranch MSK , 0 year of study, summer semester, electivebranch MMM , 0 year of study, summer semester, compulsory
specialization NISY , 0 year of study, summer semester, electivespecialization NSPE , 0 year of study, summer semester, electivespecialization NBIO , 0 year of study, summer semester, electivespecialization NSEN , 0 year of study, summer semester, compulsoryspecialization NVIZ , 0 year of study, summer semester, electivespecialization NGRI , 0 year of study, summer semester, electivespecialization NADE , 0 year of study, summer semester, electivespecialization NISD , 0 year of study, summer semester, electivespecialization NMAT , 0 year of study, summer semester, electivespecialization NSEC , 0 year of study, summer semester, electivespecialization NISY up to 2020/21 , 0 year of study, summer semester, electivespecialization NCPS , 0 year of study, summer semester, electivespecialization NHPC , 0 year of study, summer semester, electivespecialization NNET , 0 year of study, summer semester, electivespecialization NMAL , 0 year of study, summer semester, electivespecialization NVER , 0 year of study, summer semester, compulsoryspecialization NIDE , 0 year of study, summer semester, electivespecialization NEMB , 0 year of study, summer semester, electivespecialization NEMB up to 2021/22 , 0 year of study, summer semester, elective
Lecture
Teacher / Lecturer
Syllabus
Exercise in computer lab
(P – computer lecture, N – numeric computation, K - combined lecture)
Project