Topic PDF Assignment
Week 1 (0) Information PDF Assignment 1 (due: 28th Mar)
22nd Feb (1) Introduction PDF Handout Spec CodingStandard
22nd Feb (2) Software Correctness PDF sb-library-v1.5.2.jar sb-controller-v1.5-sources.jar API
Week 2 (3) Steam Boiler Problem PDF
7th Mar (4) Safety-Critical Systems PDF
(5) Case Study: The "Power Of Ten" (see original and follow up articles) PDF
Week 3 (6) Case Study: Safety Critical Java (see JSR302 draft review) PDF
14th Mar (7) Safety-Critical Standards PDF
(8) Risks, Hazards & Failure PDF
Week 4 (9) Coverage Testing I PDF
21st Mar (10) Coverage Testing II PDF
   
Week 5 (11) Case Study: An Embedded System PDF Assignment 2
28th Mar (12) Automated Testing I PDF (due: 11th April)
    PDF TGZ JavaAVR API TinyBoy API
Week 6 (13) Automated Testing II PDF  
4th Apr (14) Case Study: RTOS (see overview of SEL4 and overview of FreeRTOS) PDF
   
Mid-Trimester Break
Week 7 (15) Static Analysis PDF Assignment 3
25th April (16) Control-Flow Analysis PDF (due: 9th May)
    PDF TGZ
Week 8 (17) FindBugs PDF
2nd May (18) NonNull Checking PDF
   
Week 9 (19) Pointer Analysis PDF Assignment 4
9th May (20) Model Checking I PDF (due: 23rd May)
    PDF TGZ
Week 10 (21) Design Validation PDF
16th May (22) Formal Specification PDF
   
Week 11 (23) Loop Invariants PDF  
23rd May (24) Case Study: Dutch National Flag PDF
   
Week 12 (25) Case Study: Microwave Oven PDF
30th May (26) Review PDF
Exam Period
  Exam  
I Attachment Action Size Date Who Comment
CodingStandard.pdfpdf CodingStandard.pdf manage 544 K 25 Feb 2022 - 16:31 Main.djp  
SoftwareCorrectness-1up.pdfpdf SoftwareCorrectness-1up.pdf manage 379 K 28 Feb 2022 - 15:45 Main.djp  
StaticAnalysis-1up.pdfpdf StaticAnalysis-1up.pdf manage 88 K 20 Apr 2022 - 14:53 Main.djp  
Steam_Boiler_Problem.pdfpdf Steam_Boiler_Problem.pdf manage 550 K 25 Feb 2022 - 16:20 Main.djp  
assignment-2.pdfpdf assignment-2.pdf manage 213 K 29 Mar 2022 - 11:11 Main.djp  
assignment-3.pdfpdf assignment-3.pdf manage 186 K 22 Apr 2022 - 09:42 Main.djp  
assignment-4.pdfpdf assignment-4.pdf manage 121 K 10 May 2022 - 09:02 Main.djp  
avr-modelchecker.tgztgz avr-modelchecker.tgz manage 258 K 10 May 2022 - 08:11 Main.djp  
avr-stackanalysis.tgztgz avr-stackanalysis.tgz manage 279 K 20 Apr 2022 - 16:00 Main.djp  
sb-controller-v1.5-sources.jarjar sb-controller-v1.5-sources.jar manage 14 K 09 Mar 2022 - 16:06 Main.djp  
sb-library-v1.5.2.jarjar sb-library-v1.5.2.jar manage 92 K 15 Mar 2022 - 09:40 Main.djp  
tinyboy-coverage.tgztgz tinyboy-coverage.tgz manage 281 K 29 Mar 2022 - 11:10 Main.djp