Summary of CSE342 KEJURUTERAAN SISTEM PERISIAN BOLEH DIPERCAYAI (DEPENDABLE SOFTWARE SYSTEMS ENGINEERING)

Contact Us Elearn USM Support Center

Website OPAC ePerpustakaan Course Reserve Reference & Academic Support Research Data Management Proquest eBook Central Open Educational Resources (OER) Open Science USM Library TV

General

Announcements

Course syllabus

Main reference book

Group formation padlet link

Assignment 1 question

Assignment 1 rubric

Assignment 1 submission link

Assignment2_question

Assignment 2 submission link

Test1 result

Answer test 1

Overall Coursework Marks

Week 1 : 14 Oct - 20 Oct

Dependable System Introduction (lecture slide)

Week 2: 21 Oct - 27 Oct

Dependability requirement (lecture slide)

Dependability attributes: reliability &amp; availabiility. (lecture slide)

Tutorial reliability and availability

Week 3: 28 Oct - 3 Nov

Dependability attribute and ALARP (lecture slide)

ALARP (lecture slide)

ALARP Tutorial

Week 4: 4 Nov - 10 Nov

Faulty(lecture slide)

Handling faulty 1 (lecture slide)

Handling faulty 2 (lecture slide)

Week 5: 11 Nov - 17 Nov

FTA (lecture slide)

Week 6 : 18 Nov - 24 Nov

FMECA (lecture slide)

Week 7: 25 Nov - 1 Dec

Byzantine Fault (BF) - lecturer slide)

Tutorial: Example of real life byzantine fault in distributed system

Week 8: 2 Dec - 8 Dec

Week 9: 9 Dec - 15 Dec

BFT (lecture slide)

N modular redundancy (lecture slide)

N modular redundancy (tutorial slide)

Week 10 : 16 Dec - 22 Dec

TMR (lecture slide)

Week 11: 23 Dec - 29 Dec

Dual Redundancy (lecture slide)

Switch dual redundancy (lecture slide)

Hybrid Redundancy (lecture slide)

Week 12: 30 Dec - 5 Jan

PBFT (lecture slide)

Fail-stop and crash failure (lecture slide)

Techniques in achieving fault tolerance-conclusion (tutorial slide)

Tutorial on redundancy (tutorial slide)

Week 13: 6 Jan - 12 Jan

Software faulty in SDLC &amp; Formal-method (lecture slide)

Week 14: 13 Jan - 19 Jan

Formal method tutorial

Week 15: 20 Jan - 26 Jan

Exam

Please login using USM Identity

Dependability attributes: reliability & availabiility. (lecture slide)

Software faulty in SDLC & Formal-method (lecture slide)