Go to:
Logótipo
Esta página em português Ajuda Autenticar-se
Formação de utilizadores da Biblioteca: 2º semestre de 2017/18
Today is sunday
Você está em: Start > EIC0073
Authentication




Site map
Edifício A (Administração) Edifício B (Aulas) - Bloco I Edifício B (Aulas) - Bloco II Edifício B (Aulas) - Bloco III Edifício B (Aulas) - Bloco IV Edifício C (Biblioteca) Edifício D (CICA) Edifício E (Química) Edifício F (Minas e Metalurgia) Edifício F (Minas e Metalurgia) Edifício G (Civil) Edifício H (Civil) Edifício I (Electrotecnia) Edifício J (Electrotecnia) Edifício K (Pavilhão FCNAUP) Edifício L (Mecânica) Edifício M (Mecânica) Edifício N (Garagem) Edifício O (Cafetaria) Edifício P (Cantina) Edifício Q (Central de Gases) Edifício R (Laboratório de Engenharia do Ambiente) Edifício S (INESC) Edifício T (Torre do INEGI) Edifício U (Nave do INEGI) Edifício X (Associação de Estudantes)

Critical Systems

Code: EIC0073     Acronym: SCRI

Keywords
Classification Keyword
OFICIAL Automação Industrial

Instance: 2013/2014 - 2S (of 10-02-2014 to 06-06-2014) Ícone do Moodle

Active? Yes
Responsible unit: Department of Electrical and Computer Engineering
Curso/CE Responsável: Master in Informatics and Computing Engineering

Study cycles/ courses

Acronym No. of students Study Plan Curricular Years Credits UCN Credits ECTS Contact hours Total Time
MIEIC 14 Syllabus since 2009/2010 4 - 6 56 162

Teaching - Responsibilities

Teacher Responsibility
Francisco Manuel Madureira e Castro Vasques de Carvalho

Teaching - Hours

Recitations: 3,00
Type Teacher Classes Hour
Recitations Totals 1 3,00
Francisco Manuel Madureira e Castro Vasques de Carvalho 2,50
Paulo José Lopes Machado Portugal 0,50

Teaching language

Portuguese - Suitable for English-speaking students

Objectives

This course unit aims to broaden students’ knowledge regarding Critical 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. 3-

Learning outcomes and competences

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.

Working method

Presencial

Pre-requirements (prior knowledge) and co-requirements (common knowledge)

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. The previous knowledge presented by 4th year students (MIEIC) about system development (life-cycle), programming and software testing are appropriate to attend this course.

Programme

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

Mandatory literature

Storey, Neil; Safety-critical computer systems. ISBN: 0-201-42787-7
Pullum, Laura L.; Software fault tolerance techniques and implementation. ISBN: 1-58053-137-7

Complementary Bibliography

Shooman, Martin L.; Realiability of computer systems and networks. ISBN: 0-471-29342-3
Rausand, Marvin; System reliability theory. ISBN: 0-471-47133-X
M. Xie; Software reliability modelling. ISBN: 981-02-0640-2
John Knight; Fundamentals of Dependable Computing for Software Engineers, Chapman and Hall/CRC, 2011. ISBN: 978-1439862551
The Motor Industry Software Reliability Association; MISRA-C 2004. ISBN: 0-9524156-2-3

Teaching methods and learning activities

Theoretical classes will be based on the presentation of the most relevant case studies of Critical Systems. Theoretical-practical will be based on practical assignments to design and implement fault-tolerant software architectures. They will also be based on the analysis of confidence of Critical Systems.

Keywords

Technological sciences > Engineering > Computer engineering

Type of assessment

Distributed evaluation with final exam

Assessment Components

Designation Peso (%)
Exame 60,00
Trabalho laboratorial 40,00
Total: 100,00

Amount of time allocated to each course unit

Designation Time (Hours)
Estudo autónomo 40,00
Frequência das aulas 42,00
Trabalho laboratorial 80,00
Total: 162,00

Eligibility for exams

To be admitted to exams students have to attain a minimum grade of 7,0 out of 20 in the continuous assessment component.

Calculation formula of final grade

1 practical assignment (design and implementation of software fault-tolerant architectures): 40% A written exam (closed book exam- 2.30h): 60%

Examinations

Students will have to do one assignment during the semester, about software-based fault tolerance.

Internship work/project

nd.

Special assessment (TE, DA, ...)

Students with a special status do not need to attend to classes. However, they have to do all the assignments and deliver them on the scheduled date. Students have to schedule meetings with the professors on a regular basis, so that professors can supervise the evolution of the work.

Classification improvement

Improvement of Final Grade: written exam at recurso (resit) season Improvement of Continuous Assessment: following year

Recomendar Página Voltar ao Topo
Copyright 1996-2018 © Faculdade de Engenharia da Universidade do Porto  I Termos e Condições  I Accessibility  I Índice A-Z  I Guest Book
Page generated on: 2018-05-20 at 23:54:26