- Distributed Systems: This course provides the learner with the knowledge of algorithms for typical problems of distributed software systems like synchronization, consensus, global status, communications, mutual exclusion, elections, transactions, fault tolerance and for modern distributed file systems, peer-to-peer systems, and systems based on blockchain technology.
- Real Time Industrial Systems: This course provides advanced knowledge on real-time systems, on high-performance hybrid hardware architectures, and on their use in various industrial fields, with particular reference to mission critical and safety critical systems. It also provides the skills necessary for the design and implementation of software systems in real time using operating systems and virtualization platforms for real-time and / or embedded systems, with attention to both the requirements imposed by certification standards in various industrial contexts, such as automotive, railway, and avionics, and to research initiatives on related issues such as the Industrial Internet of Things and Industry 4.0.
- Embedded Systems: This course provides the methodological and technological knowledge for the analysis and synthesis of modern "embedded systems", that is, those special and general computer systems designed to be integrated into products used in the industrial field (avionics, mechanics, transport, chemistry, etc. ) and consumer goods (telephony, entertainment, multimedia processing, etc.), often bound to satisfy certain real-time and performance requirements, as well as requirements on consumption, size, reliability and safety.