Dissertation
Automating ISO 26262 Hardware Evaluation Methodologies
TUE 11th of February
Week 2
-
Identify concrete objectives;
-
Get acquainted with functional safety and safety analysis.
TUE 25th of February
Week 4
-
Get acquainted with ISO 26262;
-
Get acquainted with HiP-HOPS.
TUE 11th of March
Week 6
-
In-Depth Study of ISO 26262, especially part5;
-
How to model safety mechanisms, according to ISO 26262;
-
Fault Tree Analysis in ISO 26262 (including safety mechanisms)
TUE 25th of March
Week 8
-
ISO 26262 hardware verification methods (hardware metrics).
TUE 8th of April
Week 10
-
Selection of an hardware circuit to test the evaluation metrics (the circuit of the hardware example in ISO 26262 - part 5);
-
Analysis of the circuit in terms of component failure;
-
Failure Model for the circuit, using Matlab Simulink.
TUE 22nd of April
Week 12
-
Manual Fault Tree synthesis for the chosen hardware circuit;
-
Test of the reached conclusions regarding safety mechanisms modelling according to ISO 26262;
-
Failure annotation for the model, using HiP-HOPS.
TUE 6th of May
Week 14
-
Development of a C++ Software to calculate the hardware metrics automatically, from the failure information in the model
TUE 20th of May
Week 16
-
Development of a C++ Software to calculate the hardware metrics automatically, from the failure information in the model;
-
Comparison of the program's results with the results of the metrics example in ISO 26262 - part 5, annex E.
TUE 3rd of June
Week 18
-
Changes to the HiP-HOPS tool, to include safety mechanisms in its fault trees.
TUE 17th of June
Week 20
-
Final fixes in the C++ Software and in the changes made to HiP-HOPS;
-
Identification of the main topics of the dissertation report.
SUN 29th of June
Week 22
-
Conclusion of the Provisional Dissertation.