Faculty of
Engineering

Programming languages for real-time systems, for example Ada, RTOS, real-time scheduling, resource handling, design and analysis of software for real-time systems, modeling of real-time systems, modeling and verification of real-time systems, reliability and fault tolerance , interrupts, real time distributed systems, communication and coordination between procedures, real time systems for multiprocessor systems.