Category:Courses
From Dependability
Courses taught by members of the dependability group cover a wide range of topics, from overviews of tools used in industry to software forensics. Course formats include lectures/labs, seminars, and reading groups.
Contents |
Current Courses
Advanced Software Development Methods
This is a second course in techniques for the development of software. The topics to be covered in the course include: project management, scheduling, planning, configuration management, semi-formal and formal specification, object-oriented design, programming practices, application generation and component-based software reuse, and inspections.
Tool Seminar
A wide variety of tools exist for assisting developers in building dependable systems. For this seminar, we have chosen two categories of these tools that are gaining increasing prominence and effectiveness: model checkers and model-based development tools. The seminar will be based around class projects involving these two types of tools. Each project will include material on the theory behind the tool and an evaluation of the tool itself.
Dependability Reading Group
A reading group that focuses on topics related to dependability and safety analysis.
Security Reading Group
The Security Reading Group is a group of students and faculty interested in discussing security related topics. Anyone is welcome to attend the meetings.
The group usually meets on Wed. 3:30-4:30 and may move it to other times depending on talks or other conflicts within the department. The default options are, in order, Monday and Tuesday on the same week, same time.
Previous Courses
Courses taught in the past may be taught again at some time in the future. Email the faculty member in charge of the course for more information regarding future availability of the course.
Safety-Critical Computing
This is a course designed to introduce the important topic of safety-critical computing. The need for computing systems to be dependable is substantial because we rely upon computers for so many services. Systems ranging from household appliances to automobiles to weapons systems to commercial aircraft to spacecraft all depend for their proper operation on computer systems. As computers enter more and more aspects of our lives, their role will become even more important and our dependence even greater.
Computer systems fail. The goal when building a safety-critical system is to reduce the rate of failure to an acceptable level and to limit the damage caused by their failure to an acceptable level. In this course we will examine a variety of techniques to achieve these goals. Software is a major factor in computer system dependability, and so the role of software and techniques for software dependability will be emphasized.