Topic PDF Assignment
Week 1 (1) Introduction PDF Assignment 1 (due: 29th Mar)
22nd Feb (2) Software Correctness PDF Handout Spec CodingStandard
(3) Safety-Critical Systems PDF sb-library-v1.1.jar sb-controller-v1.1-sources.jar API
Week 2 (4) Steam Boiler Problem PDF
1st Mar (5) Case Study: The "Power Of Ten" (see original and follow up articles) PDF
(6) Case Study: Safety Critical Java (see JSR302 draft review) PDF
Week 3 (7) Safety-Critical Standards PDF
8th Mar (8) Risks, Hazards & Failure PDF
   
Week 4 (9) Coverage Testing I PDF
15th Mar (10) Coverage Testing II PDF
   
Week 5 (11) Automated Testing I PDF
22nd Mar (12) Automated Testing II PDF
   
Week 6 (13) Case Study: An Embedded System PDF Assignment 2
29th Mar (14) Case Study: RTOS (see overview of SEL4 and overview of FreeRTOS) PDF (due: 26th April)
    PDF TGZ JavaAVR API TinyBoy API
Mid-Trimester Break
Week 7 (15) Static Analysis    
19th April (16) FindBugs    
Test 1 (23rd April)  
Week 8 (17) Control-Flow Analysis   Assignment 3
26th April (18) NonNull Checking   (due: 17th May)
  PDF TGZ
Week 9 (19) Pointer Analysis  
3rd May (20) Model Checking I  
 
Week 10 (21) Design Validation  
10th May (22) Formal Specification  
   
Week 11 (23) Case Study: Dutch National Flag   Assignment 4
17th May (24) Loop Invariants   (due: 30th May)
    PDF TGZ
Week 12 (25) Case Study: Microwave Oven  
24th May (26) Execution Traces  
(27) Review  
Exam Period
  Test 2    
Topic attachments
I Attachment Action Size Date Who Comment
Steam_Boiler_Problem.pdfpdf Steam_Boiler_Problem.pdf manage 1 MB 22 Feb 2021 - 09:38 Main.djp  
assignment-2.pdfpdf assignment-2.pdf manage 213 K 31 Mar 2021 - 21:16 Main.djp  
tinyboy-coverage.tgztgz tinyboy-coverage.tgz manage 304 K 15 Apr 2021 - 10:46 Main.djp