Imperial College London

ProfessorCristianCadar

Faculty of EngineeringDepartment of Computing

Professor of Software Reliability
 
 
 
//

Contact

 

c.cadar Website

 
 
//

Location

 

435Huxley BuildingSouth Kensington Campus

//

Summary

 

Software Reliability - COMP97037

Aims

To introduce students to techniques and tools for improving the reliability of software systems. The course will provide an overview of the main types of software reliability techniques and discuss their respective strengths and weaknesses. The course will present in detail a selection of these techniques and associated tools, focusing on recent directions in both research and practice.

More specifically students will:

  • Gain familiarity with different types of program analysis techniques for improving software reliability
  • Learn how to assess the trade-offs offered by different techniques and tools
  • Experiment with a variety of open-source tools implementing popular software reliability techniques
  • Read and analyse research papers in the area
  • Critically evaluate and present a software reliability tool
  • Implement a software reliability tool for a specific domain

Recommended: Compilers, logic, good C programming skills.

Role

Course Leader

Software Reliability - COMP70024

Aims

To introduce students to techniques and tools for improving the reliability of software systems. The course will provide an overview of the main types of software reliability techniques and discuss their respective strengths and weaknesses. The course will present in detail a selection of these techniques and associated tools, focusing on recent directions in both research and practice.

More specifically students will:

  • Gain familiarity with different types of program analysis techniques for improving software reliability
  • Learn how to assess the trade-offs offered by different techniques and tools
  • Experiment with a variety of open-source tools implementing popular software reliability techniques
  • Read and analyse research papers in the area
  • Critically evaluate and present a software reliability tool
  • Implement a software reliability tool for a specific domain

Recommended: Compilers, logic, good C programming skills.

Role

Course Leader