PBr

Software Systems Reliability

lang:cz “Zajištění spolehlivosti softwarových systémů”
version: 2021

This is a course for PhD students. The objectives are

  1. learn both the fundamentals and state of the art in software modeling, verification and reliability
  2. become well versed with the processes, methodologies and standards used in the development of safety-related software-intensive systems

Synopsis: The course aims to strengthen the knowledge in the area of software safety and gain an overview of current state of the art in related research. Topics include: Concepts, elements and properties of software architectures, their modeling, use of models in the implementation and verification of software-intensive systems, their relation to software quality attributes. Models and methods of computer and software system reliability, performance and safety, improving robustness of software-intensive systems, processes and techniques of safety-related software development, principles and methods of testing.

Requirements for passing the course

A) Reading

  1. books
    • Smith, Simpson: The Safety Critical Systems Handbook. Butterworth-Heinemann; 5th edition (February 3, 2020). ISBN-13 : 978-0128207000
    • Bass, Clements, Kazman: Software Architecture in Practice. Addison-Wesley Professional; 3rd edition (September 25, 2012). ISBN-13 : 978-0321815736
  2. research articles and conference papers
    • from journals like Science of Computer Programming, Journal of Software: Evolution and Process, Journal of Software: Testing, Verification and Reliability, IEEE Transactions on Reliability

B) Literature Survey Report

Write-up of a report which summarizes the key methods, standards and research articles forming the current state of the art. The focus will depend on the concrete research topic pursued by the PhD candidate.

A proper method for a literature survey and its reporting must be used. The report should have the appropriate form (cf. for example the http://www.kiv.zcu.cz/en/research/publications/technical-reports/), and can be turned into a survey paper presented at a refereed conference.

C) Presentation

Key findings from the reading and survey report will be presented at the http://relisa.kiv.zcu.cz/.