This repository contains workshop slides and sample solutions of the subject SWEN90010 Semester1 2020 given by Prof. Toby Murray at University of Melbourne.
The slides and materials are developed by Chuang Wang, tutor for SWEN90010 Semester1 2020
High integrity systems are systems that must be engineered to a high level of dependability, that is, a high level of safety, security, reliability and performance. In this subject students will explore the aims, principles, techniques and tools that are used to analyse, design and implement dependable systems.
Topics include: an introduction to high-integrity systems; safety critical systems and safety engineering; mathematical modelling of systems; fault tolerant systems design; design by contract; static verification; and model-based testing.
Please check the handbook for more information about the subject.
| Workshop | Topic | Date |
|---|---|---|
| Workshop 6 | SPARK Tools |
4 May 2020 - 8 May 2020 |
| Workshop 7 | `` | |
| Workshop 8 | `` | |
| Workshop 9 | `` | |
| Workshop 10 | `` | |
| Workshop 11 | `` |
Feedbacks and comments are more than welcome!
Please contact the author. Thanks a lot!
