ECTS - University of Pisa
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.
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.
Methods:
Delivery: face to face
Learning activities:
Attendance: Advised
Teaching methods:
Delivery: face to face
Attendance: Advised
Learning activities:
Teaching methods:
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.
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.
"Real-time Systems", Olderog and Dierks, Cambridge University Press.
G. Vaglini, slides (http://elearn.ing.unipi.it/course/view.php?id=851)
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)
