Critical Systems
Keywords |
Classification |
Keyword |
OFICIAL |
Automação Industrial |
Instance: 2010/2011 - 2S
Cycles of Study/Courses
Acronym |
No. of Students |
Study Plan |
Curricular Years |
Credits UCN |
Credits ECTS |
Contact hours |
Total Time |
MIEIC |
17 |
Syllabus since 2009/2010 |
4 |
- |
6 |
56 |
162 |
Teaching language
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.
At the end of this course, it is expected that students will have consolidated their knowledge:
- The need for a systemic approach to safety;
- The main software-based fault tolerance techniques;
- The main verification and validation guidelines for the reliable operation in Critical Systems.
Program
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
Pullum, Laura L.;
Software fault tolerance techniques and implementation. ISBN: 1-58053-137-7
Storey, Neil;
Safety-critical computer systems. ISBN: 0-201-42787-7
Complementary Bibliography
International Electrotechnical Commission; IEC 61078 Ed. 2.0 b:2006 Analysis techniques for dependability - Reliability block diagram and boolean methods , IEC, 2006
International Electrotechnical Commission; IEC 61025 Ed. 2.0 b:2006 Fault tree analysis (FTA) Edition: 2.0 , IEC, 2006
Shooman, Martin L.;
Realiability of computer systems and networks. ISBN: 0-471-29342-3
Rausand, Marvin;
System reliability theory. ISBN: 0-471-47133-X
IEC;
Application of Markov techniques
IEC 61703 Ed. 1.0 Bilingual - Mathematical expressions for reliability, availability, maintainability and maintenance support terms, IEC, 2001
IEC 60605-4 Ed. 2.0 - Equipment reliability testing - Part 4: Statistical procedures for exponential distribution - Point estimates, confidence intervals, prediction intervals and tolerance intervals, IEC, 2001
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.
Evaluation Type
Distributed evaluation with final exam
Assessment Components
Description |
Type |
Time (hours) |
Weight (%) |
End date |
Attendance (estimated) |
Participação presencial |
48,00 |
|
|
|
Trabalho escrito |
30,00 |
|
|
|
Trabalho escrito |
25,00 |
|
|
|
Exame |
3,00 |
|
|
|
Total: |
- |
0,00 |
|
Amount of time allocated to each course unit
Description |
Type |
Time (hours) |
End date |
|
Estudo autónomo |
60 |
|
|
Total: |
60,00 |
|
Eligibility for exams
To be admitted to exams students have to attain a minimum grade of 8 out of 20 in the continuous assessment component.
Calculation formula of final grade
2 practical assignments (design and implementation of software fault-tolerant architectures): 20% + 20%
A written exam (closed book exam- 2.30h): 60%
Examinations or Special Assignments
Students have to do two assignments during the semester. The first is on software fault tolerance and the second is on verification and validation of software.
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