Digital Farming

WS2020/21

SRES, B/M, 2V+1Ü, WS (E)

Goals of this Lecture 

  • Mastery of special formal and stochastic techniques for safety and reliability analysis of software and systems.
  • Knowledge of the practical application of relevant analysis techniques

Contents of the Lecture

Safety and reliability are important quality characteristics in the technical field of software applications. In many application areas - e.g. railway engineering, avionics, automotive, medical technology - a malfunction of the software can endanger human lives. It is therefore necessary to carry out a safety certification process before commissioning such systems. These certifications must be complete and prove that the residual risk is below an acceptable level.

Relevant techniques for safety and reliability analysis for software and systems are presented. In addition to identifying and evaluating risks, the acceptance of risk is considered.

 

Organisational

Lecturer

Prof. Dr.-Ing. Peter Liggesmeyer
Room 32-425
Contact: Please take an appointment through Caroline Frey

 

Lecture supervision and tutorial

For any doubts or queries regarding the lecture, exercises or other organisational issues, please feel free to contact us.

Nikita Bhardwaj Haupt
Email: haupt(at)cs.uni-kl.de
Raum: 32-429

Anil Ranjitbhai Patel
Email: patel(at)cs.uni-kl.de
Raum: 32-435

 

Course information

  • The lecture consists of 2 SWS lecture and 1 SWS tutorial.
  • Due to COVID-19, SRES lecture in WS20/21 will initially only be offered digitally. Lecture recordings of the different chapters will be available under this link.
  • The lecture and exercises are organized via the OpenOLAT system. All course related announcements will also be made there. Please click here.
  • Additional material like lecture notes and exercises can be downloaded from OpenOLAT system.

 

Entries in KIS system

Lectures
Exercises

 

Additional Information

  • There are no specific time slots alloted to this lecture in KIS, since the lecture and its exercises are carried out online. You can, therefore, not add it to your calendar via KIS-Office.
  • To add the online lecture and exercise schedule to your calendar, you can use the ical calendar link on the OLAT page of the course.

WS 2019/20

Goals of this Lecture 

  • Mastery of special formal and stochastic techniques for safety and reliability analysis of software and systems.
  • Knowledge of the practical application of relevant analysis techniques

Contents of the Lecture

Safety and reliability are important quality characteristics in the technical field of software applications. In many application areas - e.g. railway engineering, avionics, automotive, medical technology - a malfunction of the software can endanger human lives. It is therefore necessary to carry out a safety certification process before commissioning such systems. These certifications must be complete and prove that the residual risk is below an acceptable level.

Relevant techniques for safety and reliability analysis for software and systems are presented. In addition to identifying and evaluating risks, the acceptance of risk is considered.

 

Material

  • Additional literature
    On this page you can find additional literature for the lecture.
  • Additional material
    On this page you can find additional material for the lecture (slides) and for the tutorial (exercise sheets).

Organisational

LECTURER

Prof. Dr. Peter Liggesmeyer
Room 32/425
Office hours: on appointment with Secretary Caroline Frey

Schedule

The lecture SRES consists of 2 SWS lecture and 1 SWS tutorial.

  • Lecture:
    2 SWS - held weekly:
    Wed, 13:45 - 15:15, Room 42-110
    First lecture on 30th October 2019.
  • Tutorial:
    1 SWS - held every two weeks (usually):
    Thu, 13:45 - 15:15, Room 42-110

Lecture Supervision and Tutorial

Felix Möhrle
Room: 32-433
Phone: (0631) 205-3367
Office hours: on appointment

Anil Ranjitbhai Patel
Room: 32-435
Phone: (0631) 205-3334
Office hours: on appointment

Entries in the KIS-System

 

Announcements

03.02.2020 - Excercises
The last exercise class is expected to take place on Thu, 13. February 2020.

28.01.2020 - Excercises There is no SRES exercise on 30th January 2020.

23.01.2020 - Excercises
The fourth and fifth exercise class is expected to take place on Thu, 6. February 2020.

16.12.2019 - Excercises
The third exercise class is expected to take place on Thu, 23. January 2020.

05.12.2019 - Excercises
The second exercise class will be held on Thu, 5. December 2019.

09.12.2019 - No lecture
Due to unavailability of Prof. Liggesmeyer, there will be no SRES lecture on Wed, 11. December 2019.

30.10.2019 - Lecture begin
The lectures will begin on Wed, 30. October 2019.

21.11.2019 - Excercise begin
The first exercise class will be on Thu, 21. November 2019.

Exam

The exams are expected to take place on:

  • 11.03.2020 in Sporthalle (28-111), Start 14:00

and

  • 01.04.2020 in Room 46-210 and 46-215, Start 13:30

The exam takes 90 minutes.

You are allowed to use:

  • A non-programmable calulator
  • A double-sided sheet of A4 paper with printed or handwritten notes
  • A language dictionary without notes

Please remember to bring a valid student ID card with you. If this does not contain a picture, please bring your identity card or passport with you.

WS 2018/19

Goals of this Lecture

  • Mastery of special formal and stochastic techniques for safety and reliability analysis of software and systems.
  • Knowledge about the practical application of relevant analysis techniques

Contents of the Lecture

Safety and reliability are very important quality characteristics in the technical field of software applications. In many application areas - e. g. rail technology, avionics, automotive, medical technology - a software malfunction can endanger human lives. Therefore, it's necessary to perform a safety certification process before commissioning such systems. These certifications have to be complete or give a proof that the residual risk is under an acceptable level.

Relevant techniques for safety and reliability analysis for software and systems are presented. In addition to identifying and evaluating risks, the acceptance of risk is considered.

Material

  • Additional literature
    On this page you can find additional literature for the lecture.
  • Additional materials
    On this page you can find additional material for the lecture (lecture slides) and for the tutorial (exercise sheets).

Organisational

Lecturer

Prof. Dr. Peter Liggesmeyer
Room 32/425
Phone: (0631) 205-3328
Office hours: on appointment

Schedule

The lecture SRES consists of 2 SWS lecture and 1 SWS tutorial.

  • Lecture:
    2 SWS - held weekly:
    Wed, 13:45pm - 15:15pm, Room 42-110
    First lecture on 24th October 2018.
  • Tutorial:
    1 SWS - held every two weeks (usually):
    Thu, 13:45pm - 15:15pm, Room 42-110
    First tutorial: 22nd November 2018

Tutorial

Nikita Bhardwaj Haupt
Room: 32/435
Phone: (0631) 205-3334
Office hours: on appointment

Entries in the KIS-System




Announcements

15.03.2019 - SRES Exam Results and Review
The preliminary results of the SRES exam from 06.03.2019 are available in the QIS. The exam review will take place on Tuesday, 19.03.2019, 08:15 - 09:45 in room 32-439.

02.01.2019 - Lecture SRES
There is no SRES lecture on 2nd January 2019.

20.12.2018 - Exercise SRES
There is no SRES exercise on 20th December 2018.

28.11.2018 - Lecture SRES
There is no SRES lecture on 28th November 2018.

14.11.2018 - Lecture SRES
There is no SRES lecture on 14th November 2018.

31.10.2018 - Lecture SRES
There is no SRES lecture on 31st October 2018.



Exam

The dates of the written examination are: 06.03.2019 in the Sporthalle (Room 28-111), Starting time 14:00 or 27.03.2019 in Room 46-215, Starting time 13:30

The exam takes 90 minutes. Entrance time is 15 minutes before the beginning.

You are allowed to use:

  • A non-programmable calulator
  • A double page sheet of paper size DIN A4 with notes printed or handwritten
  • A language dictionary without notes

Bring a valid student identification, if it has no picture of you, bring also a valid picture ID.

Goals of this Lecture

  • Mastery of special formal and stochastic techniques for safety and reliability analysis of software and systems.
  • Knowledge about the practical application of relevant analysis techniques

Contents of the Lecture

Safety and reliability are very important quality characteristics in the technical field of software applications. In many application areas - e. g. rail technology, avionics, automotive, medical technology - a software malfunction can endanger human lives. Therefore, it's necessary to perform a safety certification process before commissioning such systems. These certifications have to be complete or give a proof that the residual risk is under an acceptable level.

Relevant techniques for safety and reliability analysis for software and systems are presented. In addition to identifying and evaluating risks, the acceptance of risk is considered.

Material

  • Additional literature
    On this page you can find additional literature for the lecture.
  • Additional materials
    On this page you can find additional material for the lecture (lecture slides) and for the tutorial (exercise sheets).

Organisational

Lecturer

Prof. Dr. Peter Liggesmeyer
Room 32/425
Phone: (0631) 205-3328
Office hours: on appointment

Schedule

The lecture SRES consists of 2 SWS lecture and 1 SWS tutorial.

  • Lecture:
    2 SWS - held weekly:
    Wed, 13:45pm - 15:15pm, Room 42-110
    First lecture on 25th October 2017.
  • Tutorial:
    1 SWS - held every two weeks (usually):
    Thu, 13:45pm - 15:15pm, Room 42-110
    First tutorial: 16. November 2017

Tutorial

Nikita Bhardwaj Haupt
Room: 32/435
Phone: (0631) 205-3334
Office hours: on appointment

Entries in the KIS-System

Announcements

27.04.2018 - SRES resit examination results
SRES resit-exam review is on 27.04. in room 32-439.

12.03.2018 - SRES examination results
SRES exam review is on 12.03. in room 32-426.

31.01.2018 - Lecture SRES
There is no SRES lecture on 31st January 2018.

All announcements are also posted on the SEDA main page.

Exam

The dates of the written examination are: 07.03.2018 in the Sporthalle (Room 28-111), Starting time 14:00 or 28.03.2018 in Room 46-215, Starting time 13:30

The exam takes 90 minutes. Entrance time is 15 minutes before the beginning.

You are allowed to use:

  • A non-programmable calulator
  • A double page sheet of paper size DIN A4 with notes printed or handwritten
  • A language dictionary without notes

Bring a valid student identification, if it has no picture of you, bring also a valid picture ID.

WS 2016/17

Goals of this Lecture

  • Mastery of special formal and stochastic techniques for safety and reliability analysis of software and systems.
  • Knowledge about the practical application of relevant analysis techniques

Contents of the Lecture

Safety and reliability are very important quality characteristics in the technical field of software applications. In many application areas - e. g. rail technology, avionics, automotive, medical technology - a software malfunction can endanger human lives. Therefore, it's necessary to perform a safety certification process before commissioning such systems. These certifications have to be complete or give a proof that the residual risk is under an acceptable level.

Relevant techniques for safety and reliability analysis for software and systems are presented. In addition to identifying and evaluating risks, the acceptance of risk is considered.

Material

  • Additional literature
    On this page you can find additional literature for the lecture.
  • Additional materials
    On this page you can find additional material for the lecture (lecture slides) and for the tutorial (exercise sheets).

Organisational

Lecturer

Prof. Dr. Peter Liggesmeyer
Room 32/425
Phone: (0631) 205-3328
Office hours: on appointment

Schedule

The lecture SRES consists of 2 SWS lecture and 1 SWS tutorial.

  • Lecture:
    2 SWS - held weekly:
    Wed, 13:45pm - 15:15pm, Room 42-110
    First lecture on 26th October 2016.
  • Tutorial:
    1 SWS - held every two weeks (usually):
    Thu, 13:45pm - 15:15pm, Room 42-110
    First tutorial: 17th November 2016.

Tutorial

Nikita Bhardwaj
Room: 32/435
Phone: (0631) 205-3334
Office hours: on appointment

Entries in the KIS-System

Announcements

  • 03.05.2017 - SRES-II Exam Results and Review
    The preliminary results of the SRES-II exam are available in the QIS. The exam review is on May 5th 08:30 - 09:30 in 32-439.

28.03.2017 - Exam Review SRES
SRES exam is on 28th March 2017 in 32-439 from 9:00-11:00.

01.02.2017 - Lecture SRES
There is no SRES lecture on 1st February 2017.

04.01.2017 - Lecture SRES
There is no SRES lecture on 4th January 2017.

16.11.2016 - Lecture SRES
There is no SRES lecture on 16th November 2016.

17.11.2016 - Exercise SRES
The first exercise class is on 17th November 2016.

02.11.2016 - Lecture SRES
There is no SRES lecture on 2nd November 2016.

All announcements are also posted on the SEDA main page.

Exam

The dates of the written examination are: 08.03.2017 in the Sporthalle (Room 28-111), Starting time 14:30 or 11.04.2017 in Room 46-215, Starting time 09:30

The exam takes 90 minutes. Entrance time is 15 minutes before the beginning.

You are allowed to use:

  • A non-programmable calulator
  • A double page sheet of paper size DIN A4 with notes printed or handwritten
  • A language dictionary without notes

Bring a valid student identification, if it has no picture of you, bring also a valid picture ID.

WS 2015/16

Goals of this Lecture

  • Mastery of special formal and stochastic techniques for safety and reliability analysis of software and systems.
  • Knowledge about the practical application of relevant analysis techniques

Contents of the Lecture

Safety and reliability are very important quality characteristics in the technical field of software applications. In many application areas - e. g. rail technology, avionics, automotive, medical technology - a software malfunction can endanger human lives. Therefore, it's neccesary to perform a safety certification process before commissioning such systems. These certifications have to be complete or give a proof that the residual risk is under an acceptable level.

Relevant techniques for safety and reliability analysis for software and systems are presented. In addition to identifying and evaluating risks, the acceptance of risk is considered.

Material

  • Additional literature
    On this page you can find additional literature for the lecture.
  • Additional materials
    On this page you can find additional material for the lecture (lecture slides) and for the tutorial (exercise sheets).

Organisational

Lecturer

Prof. Dr. Peter Liggesmeyer
Room 32/425
Phone: (0631) 205-3328
Office hours: on appointment

Schedule

The lecture SRES consists of 2 SWS lecture and 1 SWS tutorial.

  • Lecture:
    2 SWS - held weekly:
    Wed, 13:45pm - 15:15pm, Room 42-110
    First lecture on Wednesday, Nov. 4th.
  • Tutorial:
    1 SWS - held every two weeks (usually):
    Thu, 13:45pm - 15:15pm, Room 42-110
    First tutorial: 26th Nov. 2015

Tutorial

Michael Roth
Room: 32/429
Phone: (0631) 205-4473
Office hours: on appointment

Entries in the KIS-System

Announcements

  • 19.04.2016 - SRES exam review
    The exam review is on April 22nd at 08:15 in room 32-439.
  • 11.03.2016 - SRES Exam Results and Review
    The exam review for SRES is on March 17th 10:00 in 32-439.
  • 21.12.2015 - No SRES lecture
    There is no SRES lecture class on 6th Jan 2016.
  • 04.11.2015 - No SRES lecture
    There is no SRES lecture class on 18th November 2015.
  • 30.10.2015 - First tutorial SRES
    The first tutorial takes place at 26th november.
  • 11.09.2015 - Starting of SRES lecture class
    The SRES lecture class starts on 4th November 2015.

All announcements are also posted on the SEDA main page.

Exam

The dates of the written examination are: 09.03.2016 in Room 01-106, Starting time 2:30pm or 12.04.2016 in Room 52-207, Starting time 10am

The exam takes 90 minutes. Entrance time is 15 minutes before the beginning.

You are allowed to use:

  • A non-programmable calulator
  • A double page sheet of paper size DIN A4 with notes printed or handwritten
  • A language dictionary without notes

Bring a valid student identification, if it has no picture of you, bring also a valid picture ID.