Week Topic PDF Assignment
1 (1) Introduction PDF Assignment 1 (due: 28th April)
(2) Software Correctness PDF Handout Spec CodingStandard
(3) Safety-Critical Systems PDF sb-library-v1.1.jar sb-controller.jar API
2 (4) Safety-Critical Standards PDF
(5) Risks, Hazards & Failure PDF
(6) Steam Boiler Problem PDF
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
(9) Coverage Testing I PDF
Mid-Trimester Break
4     Test 1
(10) Case Study: An Embedded System PDF (Fri 1st May)
(11) Automated Testing I PDF
5 (12) Automated Testing II PDF Assignment 2
(13) Static Analysis PDF (due: 25th May)
(14) FindBugs PDF PDF TGZ
6 (15) Control-Flow Analysis PDF JavaAVR API TinyBoy API
(16) NonNull Checking PDF
(17) Model Checking I PDF
7 (18) Design Validation PDF
(19) Formal Specification PDF
(20) Loop Invariants PDF
8 (21) Case Study: Dutch National Flag PDF Test 2
(22) Case Study: Microwave Oven PDF (Fri 29th May)
   
9     Assignment 3
    (due: 22 June)
    PDF TGZ
10    
   
   
11    
   
   
12     Test 3
    (Wed 24th June)
   
Topic attachments
I Attachment Action Size Date Who Comment
AutomatedTestingI-1up.pdfpdf AutomatedTestingI-1up.pdf manage 87 K 30 Apr 2020 - 09:53 Main.djp  
AutomatedTestingII-1up.pdfpdf AutomatedTestingII-1up.pdf manage 322 K 30 Apr 2020 - 09:55 Main.djp  
ControlFlowAnalysis-1up.pdfpdf ControlFlowAnalysis-1up.pdf manage 148 K 07 May 2020 - 10:03 Main.djp  
CoverageTestingI-1up.pdfpdf CoverageTestingI-1up.pdf manage 197 K 23 Mar 2020 - 11:09 Main.djp  
DesignValidation-1up.pdfpdf DesignValidation-1up.pdf manage 86 K 17 May 2020 - 21:28 Main.djp  
DutchNationalFlag-1up.pdfpdf DutchNationalFlag-1up.pdf manage 275 K 25 May 2020 - 08:51 Main.djp  
EmbeddedSystem-1up.pdfpdf EmbeddedSystem-1up.pdf manage 559 K 29 Apr 2020 - 12:07 Main.djp  
FindBugs-1up.pdfpdf FindBugs-1up.pdf manage 516 K 07 May 2020 - 10:12 Main.djp  
FormalSpecification-1up.pdfpdf FormalSpecification-1up.pdf manage 1 MB 17 May 2020 - 21:29 Main.djp  
Introduction-1up.pdfpdf Introduction-1up.pdf manage 10 MB 01 Mar 2020 - 19:20 Main.djp  
LoopInvariants-1up.pdfpdf LoopInvariants-1up.pdf manage 108 K 17 May 2020 - 21:31 Main.djp  
MicrowaveOven-1up.pdfpdf MicrowaveOven-1up.pdf manage 712 K 25 May 2020 - 08:50 Main.djp  
ModelChecking-1up.pdfpdf ModelChecking-1up.pdf manage 416 K 07 May 2020 - 10:06 Main.djp  
NonNullAnalysis-1up.pdfpdf NonNullAnalysis-1up.pdf manage 214 K 07 May 2020 - 10:05 Main.djp  
StaticAnalysis-1up.pdfpdf StaticAnalysis-1up.pdf manage 87 K 26 Mar 2020 - 10:39 Main.djp  
Steam_Boiler_Problem.pdfpdf Steam_Boiler_Problem.pdf manage 1 MB 01 Mar 2020 - 19:21 Main.djp  
TinyBoyCoverage.pdfpdf TinyBoyCoverage.pdf manage 208 K 07 May 2020 - 13:24 Main.djp  
assignment-1.pdfpdf assignment-1.pdf manage 217 K 02 Apr 2020 - 10:05 Main.djp  
assignment-2.pdfpdf assignment-2.pdf manage 207 K 06 May 2020 - 08:42 Main.djp  
assignment-3.pdfpdf assignment-3.pdf manage 192 K 28 May 2020 - 14:03 Main.djp  
avr-stackanalysis.tgztgz avr-stackanalysis.tgz manage 286 K 28 May 2020 - 14:03 Main.djp  
sb-controller.jarjar sb-controller.jar manage 13 K 03 Mar 2020 - 14:40 Main.djp  
sb-library-v1.1.jarjar sb-library-v1.1.jar manage 459 K 03 Mar 2020 - 14:35 Main.djp  
tinyboy-coverage.tgztgz tinyboy-coverage.tgz manage 296 K 05 May 2020 - 12:39 Main.djp