Faculty of Science

Objectives

To introduce concepts for the description and analysis of reactive and real-time systems. Understanding predictability, resource management and fault-tolerance is also expected.

Contents

Reactive and real-time systems; Requirements capture; finite-state I/O and timed automata models; Specification of real-time and reactive systems; role of formal methods; real-time process algebras; Scheduling in real-time systems; load balancing and sharing; performance and reliability evaluation; Agreement protocols, including Byzantine agreements; Security and protection issues; Fault-tolerance in real-time systems: principles; redundancy techniques; fault detection; Application; current trends.