| Topic | Assignment | ||
|---|---|---|---|
| Week 1 | (1) Introduction | Assignment 1 (Due: 27 Mar) Instructions Specification StandardSource Code Library API |
|
| 27 Feb | (2) Software Correctness | ||
| (3) Safety-Critical Systems | |||
| Week 2 | (4) Steam Boiler Problem | ||
| 6 Mar | (5) Case Study: The "Power Of Ten" (see original and follow up articles) | ||
| (6) Case Study: Safety Critical Java (see JSR302 draft review) | |||
| Week 3 | (7) Safety-Critical Standards | ||
| 13 Mar | (8) Risks, Hazards & Failure | ||
| Week 4 | (9) Coverage Testing I | ||
| 20 Mar | (10) Coverage Testing II | ||
| Week 5 | (11) Case Study: An Embedded System | Assignment 2 (Due: 10 April) Instructions Source CodeJavaAVR API TinyBoy API |
|
| 27 Mar | (12) Automated Testing I | ||
| Week 6 | (13) Automated Testing II | ||
| 3 Apr | (14) Case Study: RTOS (see overview of FreeRTOS and overview of SEL4) | ||
| Mid-Trimester Break | |||
| Week 7 | (15) Static Analysis | Assignment 3 (Due: 8 May) Instructions Source Code |
|
| 24 April | (16) Control-Flow Analysis | ||
| Week 8 | (17) FindBugs | ||
| 1 May | (18) NonNull Checking | ||
| Week 9 | (19) Pointer Analysis | Assignment 4 (Due: 22 May) Instructions Source Code |
|
| 8 May | (20) Model Checking I | ||
| Week 10 | (21) Formal Specification | ||
| 15 May | Wednesday Guest lecture: Robert McGivern (BECA) | ||
| (22) Formal Specification II | |||
| Week 11 | (23) Verification | ||
| 22 May | (24) Verification II | ||
| Week 12 | (25) Verification III | ||
| 29 May | (26) Review | Review - Static Analysis & Model Checking | |
| Assessment Period | |||
| Examination | |||
| I | Attachment | Action | Size | Date | Who | Comment |
|---|---|---|---|---|---|---|
 pdf |
ControlFlowAnalysis.pdf | manage | 160 K | 26 Apr 2023 - 23:28 | Main.julian | |
| pdf |
FindBugs.pdf | manage | 520 K | 01 May 2023 - 00:34 | Main.julian | |
| pdf |
ModelChecking.pdf | manage | 422 K | 08 May 2023 - 00:44 | Main.julian | |
| pdf |
NonNullAnalysis.pdf | manage | 221 K | 04 May 2023 - 00:37 | Main.julian | |
| pdf |
PointerAnalysis.pdf | manage | 123 K | 08 May 2023 - 00:13 | Main.julian | |
| pdf |
StaticAnalysis.pdf | manage | 94 K | 24 Apr 2023 - 00:42 | Main.julian |