Course details

Computer Communications and Interfacing

KPA Acad. year 2003/2004 Winter semester 6 credits

Current academic year

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.

Details ...

Guarantor

Švéda Miroslav, prof. Ing., CSc.

Language of instruction

Czech

Completion

Examination

Time span

Department

Department of Information Systems (UIFS)

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

Back to top