CSE 8317 (Spring 2013): Software Reliability and Safety

Prof. Jeff Tian, CSE Dept., SMU, Dallas, TX 75275
Phone: (214)768-2861; Fax: (214)768-3085
tian@lyle.smu.edu; lyle.smu.edu/~tian/class/8317.13s

1. General Information

With the pervasive use of and reliance on software components and systems used in computing devices, networks, services and systems in modern society, ensuring their quality and dependability has become increasingly important. This advanced course will cover in depth two most important aspect of quality and dependability for such system: reliability and safety, with a focus on recent research and applications in the subject area that may have a great practical impact and that may lead to subsequent innovative research.

CSE 8317 will be organized as a research seminar with active student participation. This participatory nature is reflected in all the course elements, ranging from discussions/presentations related to students homework/project to specific topics to be studied and discussed in our class.

2. Course Contents

After a brief introduction to software reliability and safety and their relationship to software quality and dependability, we will have in-depth discussions about several important topics concerning the measurement, analysis and improvement activities aimed at ensuring software reliability and safety. The major focus will be on three areas: For each of the above topics, after introducing the fundamental ideas and basic models and techniques, we will focus on recent developments, and particularly relevant research done at SMU, including tree-based reliability modeling, data clustering and censoring techniques, prescriptive specification checking for hazard prevention, early estimate and risk management techniques for reliability and safety improvement, and new applications of software reliability and safety to web-based, embedded, service-oriented, could computing, and net-centric systems.

3. Textbooks and Class Material

4. Workload and Grading

The course grade each student receives will reflect the weighted average of homework, a major project, a final quiz, and other assignments: The approximate weight assignment is as follows: No late assignments will be accepted nor graded unless prior approval was granted by the instructor or a valid (acceptable to the instructor) reason is given in case of an emergency.

Notice (Relevant SMU policies):

Prepared by Jeff Tian (tian@lyle.smu.edu).
Initially posted: Jan. 23, 2013. Last update: Jan. 23, 2013.

Back to CSE 8317 Webpage