Přístupnostní navigace
E-application
Search Search Close
Course detail
FIT-MBAAcad. year: 2024/2025
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
Three projects (10 points each), final exam (70 points).
Aims
Study aids
Prerequisites and corequisites
Basic literature
Recommended reading
Classification of course in study plans
specialization 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 NNET , 0 year of study, summer semester, electivespecialization NMAL , 0 year of study, summer semester, electivespecialization NCPS , 0 year of study, summer semester, electivespecialization NHPC , 0 year of study, summer semester, electivespecialization NVER , 0 year of study, summer semester, compulsoryspecialization NIDE , 0 year of study, summer semester, electivespecialization NISY , 0 year of study, summer semester, electivespecialization NEMB , 0 year of study, summer semester, electivespecialization NSPE , 0 year of study, summer semester, electivespecialization NEMB , 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, elective
Lecture
Teacher / Lecturer
Syllabus
Exercise in computer lab
Project