Second Cycle (Laurea magistrale) Degree Programme in Embedded Computing Systems
To be defined.
Prof.: Giorgio carlo Buttazzo
The student who completes the course successfully will be able to demonstrate a solid knowledge of the theoretical background and the basic methodologies for developing time sensitive applications with high degree of concurrency and a set of performance requirements. The course enables the students to design and analyze real-time software in several application domains, as sensory monitoring, robotics, avionics, automotive, multimedia, and biomedical systems.
The first module of the course introduces the computational model of real-time activities with time, precedence, and resource constraints. Then, the course focuses on special methodologies for increasing the predictability of computer controlled systems, including scheduling algorithms for periodic and aperiodic tasks, concurrency control protocols for accessing shared resources, and so on. Analysis techniques are also presented for each method to verify the feasibility of the applications under a set of performance constraints. The second module of the course focuses on programming concurrent and distributed applications. It provides an overview of principles of concurrent programming with threads and shared variables, locks and barriers, semaphores and monitors, as well as an overview of principles of distributed programming with processes and message passing mechanisms.
face to face
Text and other material will be indicated by the teacher during the lectures.
In the written exam, the student must demonstrate his/her knowledge of the course material and to organise an effective and correctly written reply. The student must demonstrate the ability to put into practice and to execute, with critical awareness, the activities illustrated or carried out under the guidance of the teacher during the course.
Per informazioni scrivete a firstname.lastname@example.org.