|OFICIAL||Comp. Architectures, Operating and Networks Sys.|
|Responsible unit:||Automation, Instrumentation and Control Section|
|Course/CS Responsible:||Doctoral Program in Informatics Engineering|
|Acronym||No. of Students||Study Plan||Curricular Years||Credits UCN||Credits ECTS||Contact hours||Total Time|
|Francisco Manuel Madureira e Castro Vasques de Carvalho|
|Paulo José Lopes Machado Portugal||1,00|
|Francisco Manuel Madureira e Castro Vasques de Carvalho||1,00|
This course unit aims to trigger research works on the topic of Safety-Critical Computing Systems This course unit will cover notions related to safety, which are fundamental during the development life-cycle of Critical Systems. The main topics covered in this course include: a) the life-cycle phases for the development of safety critical systems, since its design and specification, to its certification, installation, maintenance and deactivation; b) Information about how to assess safety and how to determine the required measures to develop safety-critical computer systems; c) the available techniques to deal with critical safety aspects in computer systems and methodologies that can be used to improve its reliability.
At the end of this course, it is expected that students will have consolidated their knowledge about: a) The need for a systemic approach to safety; b) The main software-based fault tolerance techniques; c) The main verification and validation guidelines for the reliable operation in Critical Systems.
This course provides an introduction to safety-critical computer systems and assumes no prior knowledge about safety concepts, or any specific hardware or programming language.
Chapter 1 - Introduction to Critical Systems - Taxonomy - Presentation of relevant case studies related to safety - Safety criteria Chapter 2 - Development of safety-critical systems - Hazards analysis - Risk analysis Chapter 3 - Obtaining confidence: prevention, fault tolerance - Fault prevention - Quality management of Critical Systems - Development environments - Programming languages - Software fault tolerance: - Types of recovery - Techniques, Languages and Programming Environments - Diversion of Design/Implementation - Data diversity - Time diversity - Results adjudication Chapter 4 - Verification and validation of confidence: - Confidence modelling: basic concepts; - Modelling techniques: confidence blocks and fault trees - Software liability: fault prediction, error models, fault prediction models - HW/SW architecture modelling
Tutorial classes (weekly meetings with the students, with the allocation of research assignments for each topic).
|Frequência das aulas||12,00|
|Trabalho de investigação||150,00|
Delivering the research assignments for each topic of the program.
Assessment of the delivered documents for each research assignment.
Students with a special status have to do all the assignments and deliver them on the scheduled date.
Improvement of Continuous Assessment: following year