Course Unit Profile

<--- Back to Course Diagram

Basic Information

Course Unit Title: DEPENDABLE AND SECURE SYSTEMS

Course Unit Code: 602II

Level of course unit

Second Cycle (Laurea magistrale) Degree Programme in Embedded Computing Systems

Year of study

First year

Semester when the course is delivered

Second semester

Number of ECTS credits allocated: 9

Name of Lecturer(s):

Prof.: Gigliola Vaglini
Email: gigliola.vaglini@unipi.it

Language of instruction

English

General Information

Learning outcomes

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.



Course contents

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.





Specific Information

Prerequisites, co-requisites, as a prerequisite for further study

Prerequisites

None.

Co-requisites

None.

Prerequisite for

None.

Mode of delivery

Delivery

face to face

Attendance

Advised

Teaching methods

Learning activities

Recommended or required reading

"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)

Assessment methods and criteria

Assessment methods

Assessment criteria

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.

Work placement

No

<--- Back to Course Diagram