COMP8180 - Systems and Software Safety
Autumn 2012
The formal description of the courses can be found at
the appropriate studyat web page.
Alternatively, use the quick menus on the left to navigate through the
web pages relevant to this subject.
- This course is presented by lecturers from the
High Integrity Systems Engineering
group at the University of York, and is sponsored by both
the Australian Computer Society (as a
professional development course
for engineers working in safety critical areas) and
the ANU's College of Computer Science and Engineering (as graduate course
for software and systems engineers).
- This is an intensive course with lectures and practical sessions filling the
week of April 16 to 20. Assessment for COMP8180 is done via a take-home
exam.
- Note that the nature of the course entails a full-time commitment
on campus for the week. Lectures are not recorded.
- This course will cover the major issues surrounding the determination
of safety criticality and how such a determination affects the various
systems and/or software project activities. Techniques for determining
the existence and potential impact of hazards and how to deal with them,
together with techniques for establishing the existence of safety faults
within system/software designs will be described and demonstrated.
- Note that this is primarily a course on the engineering of safe systems,
and that it is not about programming techniques.
- Students of COMP8180 will normally be in either the Master of Computing
or the Master of Engineering. It is assumed that they will
have a solid background in software engineering or systems engineering.
- Advice can be sought from the course coordinator,
Dr. Malcolm Newey,
or from Dr. Clive Boughton.
