Course details
Computer Communications and Interfacing
KPA Acad. year 2003/2004 Winter semester 6 credits
Real-time distributed systems. Models for discrete-event and real-time systems. Temporal logics. Formal specifications and verification. Model checking. Real-time systems verification. Real-time protocols. Applications design.
Guarantor
Language of instruction
Completion
Time span
Department
Subject specific learning outcomes and competences
Understanding basic concepts and principles of formal specifications of reactive systems and real-time systems.
Learning objectives
Be informed about formal specification principles aimed at reactive systems and real-time systems modeling; be aware of real-time communication protocols.
Study literature
- de Bakker J.W. et all. (Editors): Real-Time: Theory in Practice. Springer-Verlag, LNCS 600, 1992.
Fundamental literature
- de Bakker J.W. et all. (Editors): Real-Time: Theory in Practice. Springer-Verlag, LNCS 600, 1992.
Progress assessment
Written mid-term exam and submitting 2 projects in due dates
Course inclusion in study plans
- Programme EI-BC-3, field VTB, 2nd year of study, Elective
- Programme EI-BC-3 (in English), field VTB, 2nd year of study, Elective
- Programme EI-MGR-3, field VTN, 3rd year of study, Elective
- Programme EI-MGR-5, field VTI, 3rd year of study, Elective
- Programme EI-MGR-5 (in English), field VTI, 3rd year of study, Elective