Přístupnostní navigace
E-application
Search Search Close
Course detail
FIT-MBAAcad. year: 2021/2022
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
Learning outcomes of the course unit
Prerequisites
Co-requisites
Planned learning activities and teaching methods
Assesment methods and criteria linked to learning outcomes
Three projects (10 points each), final exam (70 points).
Course curriculum
Work placements
Aims
Specification of controlled education, way of implementation and compensation for absences
Recommended optional programme components
Prerequisites and corequisites
Basic literature
Recommended reading
eLearning
Classification of course in study plans
branch MBI , any year of study, summer semester, electivebranch MPV , any year of study, summer semester, electivebranch MSK , any year of study, summer semester, electivebranch MBS , any year of study, summer semester, electivebranch MMM , any year of study, summer semester, compulsory
specialization NADE , any year of study, summer semester, electivespecialization NBIO , any year of study, summer semester, electivespecialization NGRI , any year of study, summer semester, electivespecialization NNET , any year of study, summer semester, electivespecialization NVIZ , any year of study, summer semester, electivespecialization NCPS , any year of study, summer semester, electivespecialization NSEC , any year of study, summer semester, electivespecialization NEMB , any year of study, summer semester, electivespecialization NHPC , any year of study, summer semester, electivespecialization NISD , any year of study, summer semester, electivespecialization NIDE , any year of study, summer semester, electivespecialization NISY , any year of study, summer semester, electivespecialization NISY do 2020/21 , any year of study, summer semester, electivespecialization NMAL , any year of study, summer semester, electivespecialization NMAT , any year of study, summer semester, electivespecialization NSEN , any year of study, summer semester, compulsoryspecialization NVER , any year of study, summer semester, compulsoryspecialization NSPE , any year of study, summer semester, elective
branch MGM , 2. year of study, summer semester, electivebranch MIS , 2. year of study, summer semester, compulsory-optionalbranch MIN , 2. year of study, summer semester, compulsory
Lecture
Teacher / Lecturer
Syllabus
Exercise in computer lab
Project