Week Topic PDF Assignment
1 (1) Introduction PDF  
(2) Software Correctness PDF
(3) Safety-Critical Systems PDF
2 (4) Safety-Critical Standards PDF Assignment 1 (due: 8th April)
(5) Risks, Hazards & Failure PDF Handout Spec CodingStandard
(6) Steam Boiler Problem PDF sb-library-v1.1.jar sb-controller.jar API
3 (7) Case Study: The "Power Of Ten" (see original and follow up articles) PDF
(8) Case Study: Safety Critical Java (see JSR302 draft review) PDF
   
4 (9) Coverage Testing I PDF
(10) Coverage Testing II PDF
   
5 (11) Case Study: An Embedded System PDF
(12) Case Study: RTOS (see overview of SEL4 and overview of FreeRTOS) PDF
   
6 (13) Model-Based Testing I PDF Assignment 2
(14) Model-Based Testing II PDF (due: 29th April)
    PDF TGZ
Mid-Trimester Break
7 (15) Static Analysis PDF Assignment 3
(16) FindBugs PDF (due: 20th May)
  PDF TGZ
8 (17) Control-Flow Analysis PDF
(18) NonNull Checking PDF
 
9 (19) Pointer Analysis PDF
(20) Model Checking I PDF
 
10 (21) Design Validation PDF Assignment 4
(22) Formal Specification PDF (due: 7th June)
    PDF TGZ
11 (23) Case Study: Dutch National Flag PDF
(24) Loop Invariants PDF
   
12 (25) Case Study: Microwave Oven PDF
(26) Execution Traces PDF
(27) Review PDF
Topic attachments
I Attachment Action Size Date Who Comment
CodingStandard.pdfpdf CodingStandard.pdf manage 435 K 19 Mar 2019 - 13:26 Main.djp  
Steam_Boiler_Problem.pdfpdf Steam_Boiler_Problem.pdf manage 1 MB 11 Mar 2019 - 15:14 Main.djp  
a4_code.tgztgz a4_code.tgz manage 2 K 23 May 2019 - 10:49 Main.djp  
assignment-1.pdfpdf assignment-1.pdf manage 215 K 18 Mar 2019 - 12:21 Main.djp  
assignment-2.pdfpdf assignment-2.pdf manage 287 K 09 Apr 2019 - 17:01 Main.djp  
assignment-3.pdfpdf assignment-3.pdf manage 191 K 01 May 2019 - 18:46 Main.djp  
assignment-4.pdfpdf assignment-4.pdf manage 109 K 28 May 2019 - 12:02 Main.djp  
avr-stackanalysis.tgztgz avr-stackanalysis.tgz manage 240 K 01 May 2019 - 18:44 Main.djp  
sb-controller.jarjar sb-controller.jar manage 13 K 19 Mar 2019 - 09:38 Main.djp  
sb-library-v1.1.jarjar sb-library-v1.1.jar manage 459 K 21 Mar 2019 - 10:43 Main.djp  
sb-library.jarjar sb-library.jar manage 90 K 15 Mar 2019 - 09:32 Main.djp  
tinyboy-coverage-v1.2.tgztgz tinyboy-coverage-v1.2.tgz manage 278 K 15 Apr 2019 - 15:25 Main.djp