Verification of cyber-physical systems

  • Enseignement

    Détails

    Faculté Faculté des sciences et de médecine
    Domaine Informatique
    Code UE-SIN.07610
    Langues Anglais
    Type d'enseignement Cours
    Cursus Master
    Semestre(s) SP-2022

    Horaires et salles

    Horaire résumé Mercredi 09:15 - 12:00, Hebdomadaire
    Struct. des horaires 3h par semaine durant 14 semaines
    Heures de contact 42

    Enseignement

    Responsables
    Enseignants
    Description 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).
    Objectifs de formation 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.


    Commentaire 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.
    Softskills
    Non
    Hors domaine
    Non
    BeNeFri
    Oui
    Mobilité
    Oui
    UniPop
    Non
  • Dates et salles
    Date Heure Type d'enseignement Lieu
    23.02.2022 09:15 - 12:00 Cours PER 21, salle F130
    02.03.2022 09:15 - 12:00 Cours PER 21, salle F130
    09.03.2022 09:15 - 12:00 Cours PER 21, salle F130
    16.03.2022 09:15 - 12:00 Cours PER 21, salle F130
    23.03.2022 09:15 - 12:00 Cours PER 21, salle F130
    30.03.2022 09:15 - 12:00 Cours PER 21, salle F130
    06.04.2022 09:15 - 12:00 Cours PER 21, salle F130
    13.04.2022 09:15 - 12:00 Cours PER 21, salle F130
    27.04.2022 09:15 - 12:00 Cours PER 21, salle F130
    04.05.2022 09:15 - 12:00 Cours PER 21, salle F130
    11.05.2022 09:15 - 12:00 Cours PER 21, salle F130
    18.05.2022 09:15 - 12:00 Cours PER 21, salle F130
    25.05.2022 09:15 - 12:00 Cours PER 21, salle F130
    01.06.2022 09:15 - 12:00 Cours PER 21, salle F130
  • Modalités d'évaluation

    Examen écrit

    Mode d'évaluation Par note
  • Affiliation
    Valable pour les plans d'études suivants:
    BcMa - Informatique de gestion - 30 ECTS
    Version: 2020/SA_V01
    Cours > Modules informatique > Distributed Systems
    Cours > Modules informatique > Logic

    Complément au doctorat [PRE-DOC]
    Version: 2020_1/v_01
    Complément au doctorat ( Faculté des sciences et de médecine) > UE de spécialisation en Informatique (niveau master)

    Enseignement complémentaire en sciences
    Version: ens_compl_sciences
    Paquet indépendant des branches > UE de spécialisation en Informatique (niveau master)

    Informatique [3e cycle]
    Version: 2015_1/V_01
    Formation continue > UE de spécialisation en Informatique (niveau master)

    Informatique [POST-DOC]
    Version: 2015_1/V_01
    Formation continue > UE de spécialisation en Informatique (niveau master)

    Ma - Business Communication : Informatique de gestion - 90 ECTS
    Version: 2020/SA_V01
    Cours - 60 ECTS > Groupe d'option > Informatique de gestion > Cours > Modules informatique > Distributed Systems
    Cours - 60 ECTS > Groupe d'option > Informatique de gestion > Cours > Modules informatique > Logic

    Ma - Informatique de gestion - 90 ECTS
    Version: 2020/SA-v01
    Cours - min. 45 ECTS > Modules informatique/informatique de gestion > Logic
    Cours - min. 45 ECTS > Modules informatique/informatique de gestion > Distributed Systems

    Ma - Informatique de gestion - 90 ECTS
    Version: 2019/SA_V01
    Cours - min. 45 ECTS > Modules informatique/informatique de gestion > Logic
    Cours - min. 45 ECTS > Modules informatique/informatique de gestion > Distributed Systems