Verification of cyber-physical systems

  • Unterricht

    Details

    Fakultät Math.-Nat. und Med. Fakultät
    Bereich Informatik
    Code IN.7610
    Sprachen Englisch
    Art der Unterrichtseinheit Vorlesung
    Kursus Master
    Semester SP-2020

    Zeitplan und Räume

    Vorlesungszeiten Mittwoch 09:15 - 12:00, Wöchentlich, PER 21, Raum F130
    Strukturpläne 3h par semaine durant 14 semaines
    Kontaktstunden 42

    Unterricht

    Verantwortliche
    Dozenten-innen
    Beschreibung Verification refers to a systematic analysis of a system design in order to identify existing conceptual errors in the design. Initially, we discuss the verification of digital systems (i.e. standard computer systems) in this lecture. After having dealt with the general concepts of verification and several small example system models, we will extend the concept of verification to digital systems that control systems in the physical world. The resulting models will contain a part that describes the digital system plus a part describing physical properties of the system (the combination of a digital system with a physical system is called a cyber-physical system or a hybrid system).
    Lernziele After completion of this course unit, the students
    • know how to model digital systems,
    • can analyse system models,
    • know how to analyse error situations found by the verification system,
    • are able to define verification requirements (properties),
    • can use a verification system,
    • are capable of integrating physical properties into a system model.


    Bemerkungen MSc-CS BENEFRI - (Code Ue: 13081 / Tracks: T1, Code Ue: 43081 / Tracks: T4) The exact date and time of this course as well as the full course list can be found under http://diuf.unifr.ch/drupal/mcs/program/courses-timetable/courses.
    Soft Skills
    Nein
    ausserhalb des Bereichs
    Nein
    BeNeFri
    Ja
    Mobilität
    Ja
    UniPop
    Nein
  • Einzeltermine und Räume
    Datum Zeit Art der Unterrichtseinheit Ort
    19.02.2020 09:15 - 12:00 Kurs PER 21, Raum F130
    26.02.2020 09:15 - 12:00 Kurs PER 21, Raum F130
    04.03.2020 09:15 - 12:00 Kurs PER 21, Raum F130
    11.03.2020 09:15 - 12:00 Kurs PER 21, Raum F130
    18.03.2020 09:15 - 12:00 Kurs PER 21, Raum F130
    25.03.2020 09:15 - 12:00 Kurs PER 21, Raum F130
    01.04.2020 09:15 - 12:00 Kurs PER 21, Raum F130
    08.04.2020 09:15 - 12:00 Kurs PER 21, Raum F130
    22.04.2020 09:15 - 12:00 Kurs PER 21, Raum F130
    29.04.2020 09:15 - 12:00 Kurs PER 21, Raum F130
    06.05.2020 09:15 - 12:00 Kurs PER 21, Raum F130
    13.05.2020 09:15 - 12:00 Kurs PER 21, Raum F130
    20.05.2020 09:15 - 12:00 Kurs PER 21, Raum F130
    27.05.2020 09:15 - 12:00 Kurs PER 21, Raum F130
  • Leistungskontrolle

    Schriftliche Prüfung

    Bewertungsmodus Nach Note
  • Zuordnung
    Zählt für die folgenden Studienpläne:
    Business Communication - Wirtschaftsinformatik 90 ECTS [MA]
    Version: 2019/SA-v01
    Kurse - 60 ECTS > Optionsgruppe > Wirtschaftsinformatik > Kurse > Module Informatik > Distributed Systems
    Kurse - 60 ECTS > Optionsgruppe > Wirtschaftsinformatik > Kurse > Module Informatik > Logic

    Ergänzende Lehrveranstaltungen in Naturwissenschaften
    Version: ens_compl_sciences
    Paquet indépendant des branches > UE für Vertiefungsstudium in Informatik (Niveau Master)

    MSc in Informatik (BeNeFri)
    Version: 2010_2/V_02
    MSc in Informatik (BeNeFri), Vorlesungen, Seminare und Masterarbeit > T4: Logic
    MSc in Informatik (BeNeFri), Vorlesungen, Seminare und Masterarbeit > T1: Distributed Systems
    MSc in Informatik (BeNeFri), Vorlesungen, Seminare und Masterarbeit > UE für Vertiefungsstudium in Informatik (Niveau Master)

    Masternebenfach: Wirtschaftsinformatik
    Version: 2019/SA-v01
    Kurse > Module Informatik > Distributed Systems
    Kurse > Module Informatik > Logic

    Wirtschaftsinformatik 90 ECTS [MA]
    Version: 2017/SA_v01
    Kurse > Module Informatik > Distributed Systems
    Kurse > Module Informatik > Logic

    Wirtschaftsinformatik 90 ECTS [MA]
    Version: 2015
    Kurse > Module Informatik > Distributed Systems
    Kurse > Module Informatik > Logic

    Wirtschaftsinformatik 90 ECTS [MA] - SA/2019
    Version: 2019/SA_V01
    Kurse - min. 45 ECTS > Module Wirtschaftsinformatik/Informatik > Logic
    Kurse - min. 45 ECTS > Module Wirtschaftsinformatik/Informatik > Distributed Systems