Course teached as: B031237 - RESILIENCY, REAL TIME AND CERTIFICATION Second Cycle Degree in COMPUTER SCIENCE Curriculum RESILIENT AND SECURE CYBER PHYSICAL SYSTEMS
Teaching Language
English
Course Content
Dependability: basic concepts, attributes and means.
System Dependability. Design methodologies and design phases. Fault tolerance.
Examples architectures of dependable systems (SIFT, GUARDS).
Real-time aspects. Synchronous and Asynchronous models, Fault models. Clocks and real-time scheduling.
Certification aspects. Safety standards and safety certification: Cenelec 5012x(railway) ISO 26262 (automotive).
• Avizienis, A.; Laprie, J.-C.; Randell, B.; Landwehr, C. “Basic concepts and taxonomy of dependable and secure computing” IEEE TDSC, Vol. 1 Page(s): 11- 33, 2004.
• Siewiorek, D.P, Swarz R."Reliable Computer Systems: Design and Evaluation", 3rd edition, A. K. Petres, Ltd., 1998
• Hermann Kopetz: Real-Time Systems: Design Principles for Distributed Embedded Applications, second edition, Springer, 2011
Learning Objectives
The course aims to introduce the problems related to the design, validation and certification of systems with critical requirements and time.
You will learn the basic concepts of the discipline and the main techniques both at the system architecture level and at the increasingly important software level.
At the end of the course, abilities will be acquired to:
i) think about the implications of non-functional requirements regarding dependability especially on architectural choices for the system under development;
ii) distinguish and chose fault tolerant solutions according to major schemes and techniques already established;
iii) understand the implications of the certification of critical systems according to international standards
Prerequisites
none
Teaching Methods
CFU: 6
Total hours of the course: 180
Hours reserved to private study and other individual formative activities: 132
Contact hours for class Lectures and practice (hours): 48
Further information
Frequency of lectures, practice and lab: Recommended
Teaching Tools UniFi E-Learning:
http://e-l.unifi.it
Office Hours:
Prof. Andrea Bondavalli, by appointment.
Contact professor (bondavalli@unifi.it).
Dott. Francesco Brancati
by appointment.
Contact professor (francesco.brancati@resiltech.com).
Type of Assessment
The Assessment consists of two parts:
- Development of a specific investigation on a topic of the course or a project;
- Oral interview.
Conditional to the oral interview is the acceptance of the report on the project.
Course program
Basic Concepts of Dependability:
- Dependability attributes: reliability, availability, safety,...
- The chain fault - error – failure.
- The means for dependability: fault prevention, fault tolerance, fault removal, and fault forecasting.
System dependability:
- Design methodologies and design phases. System Development Life Cycle, V-shaped models.
- Fault Tolerance. Techniques for fault detection. Redundancy techniques for masking.
- SW Fault tolerance and SW dependability. Design diversity. Safety Net approach. Exception Handling and examples of languages supports.
Real-time aspects:
- Distributed real-time critical systems
- Time and ordering of events.
- Time base, Rs&A Clock, basics of real-time scheduling.
Certification aspects:
- The certification process: the actors involved, the procedures and techniques.
- Safety case.
- Reference standards for certification.
- IEC61508 Functional safety of
electrical/electronic/programmable
electronic safety-related systems.
- International standards for the certification of critical systems in different application domains.
- Learn through examples and case studies: automotive (ISO / IEC 26262) and railway (Cenelec 5012x).