Přístupnostní navigace
E-application
Search Search Close
Course detail
FIT-SVSeAcad. year: 2014/2015
Embedded distributed system design principles. Reactive systems and real-time systems. Reactive system and real-time system models. Fairness, livness, safety, feasibility; real-time livness. Temporal logic fundamentals. Time models and temporal logics. Temporal logic and real time. Formal specifications of embedded systems. Hybrid systems. Provers. Model checking. Real-time systems verification.
Language of instruction
Number of ECTS credits
Mode of study
Guarantor
Department
Learning outcomes of the course unit
Being acknowledged with basics of temporal logic.
Prerequisites
Co-requisites
Planned learning activities and teaching methods
Assesment methods and criteria linked to learning outcomes
Requirements for class accreditation are not defined.
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 literature
Classification of course in study plans
branch MMI , 0 year of study, summer semester, compulsory-optionalbranch MBI , 0 year of study, summer semester, electivebranch MSK , 2 year of study, summer semester, compulsory-optionalbranch MMM , 0 year of study, summer semester, electivebranch MBS , 0 year of study, summer semester, compulsory-optionalbranch MPV , 0 year of study, summer semester, electivebranch MIS , 0 year of study, summer semester, compulsory-optionalbranch MIN , 0 year of study, summer semester, electivebranch MGM , 0 year of study, summer semester, elective