Second Cycle (Laurea magistrale) Degree Programme in Embedded Computing Systems
Prof.: Gigliola Vaglini
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 dependable and secure networked embedded systems. He/she will be able to design and analyze systems in several application domains such as (wireless) sensor networks,
robotics, avionics, automotive, multimedia, and biomedical systems.
The course deals with 3 topics: security in networked embedded computing systems, dependability in digital control systems, and formal methods for embedded and real time systems. The first part of the course introduces the security
requirements and a threat model for embedded systems. The second part introduces fundamentals of reliability in
digital control systems: reliable system design techniques and
approaches to reliability modeling and evaluation. The last part presents the fundamental techniques for the
formal specification of a system and the formal verification of its properties, with particular emphasis on embedded systems
with real time constraints.
face to face
"Real-time Systems", Olderog and Dierks, Cambridge University Press.
G. Vaglini, slides (http://elearn.ing.unipi.it/course/view.php?id=190)
C.Bernardeschi, slides and further reading (http://www.iet.unipi.it/c.bernardeschi/Dependability.html)
G.Dini, slides and further readings (http://www.iet.unipi.it/g.dini/Teaching/dss/index.html)
During the oral exam the student must be able to demonstrate his/her knowledge of the course material and be able to discuss the reading matter thoughtfully and with propriety of expression. By the practical demonstration the student will show his/her 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.