Verification of cyber-physical systems

  • Enseignement

    Détails

    Faculté Faculté des sciences et de médecine
    Domaine Informatique
    Code IN.7610
    Langues Anglais
    Type d'enseignement Cours
    Cursus Master
    Semestre(s) SP-2020

    Horaires et salles

    Horaire résumé Mercredi 09:15 - 12:00, Hebdomadaire, PER 21, salle F130
    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
    19.02.2020 09:15 - 12:00 Cours PER 21, salle F130
    26.02.2020 09:15 - 12:00 Cours PER 21, salle F130
    04.03.2020 09:15 - 12:00 Cours PER 21, salle F130
    11.03.2020 09:15 - 12:00 Cours PER 21, salle F130
    18.03.2020 09:15 - 12:00 Cours PER 21, salle F130
    25.03.2020 09:15 - 12:00 Cours PER 21, salle F130
    01.04.2020 09:15 - 12:00 Cours PER 21, salle F130
    08.04.2020 09:15 - 12:00 Cours PER 21, salle F130
    22.04.2020 09:15 - 12:00 Cours PER 21, salle F130
    29.04.2020 09:15 - 12:00 Cours PER 21, salle F130
    06.05.2020 09:15 - 12:00 Cours PER 21, salle F130
    13.05.2020 09:15 - 12:00 Cours PER 21, salle F130
    20.05.2020 09:15 - 12:00 Cours PER 21, salle F130
    27.05.2020 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:
    Branche secondaire Master: informatique de gestion
    Version: 2019/SA-v01
    Cours > Modules informatique > Distributed Systems
    Cours > Modules informatique > Logic

    Business Communication - Informatique de gestion 90 ECTS [MA]
    Version: 2019/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

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

    Informatique de gestion 90 ECTS [MA]
    Version: 2015
    Cours > Modules informatique > Distributed Systems
    Cours > Modules informatique > Logic

    Informatique de gestion 90 ECTS [MA]
    Version: 2017/SA_v01
    Cours > Modules informatique > Distributed Systems
    Cours > Modules informatique > Logic

    Informatique de gestion 90 ECTS [MA] - SA/2019
    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

    MSc en informatique (BeNeFri)
    Version: 2010_2/V_02
    MSc en informatique (BeNeFri), cours, séminaires et travail de Master > T4: Logic
    MSc en informatique (BeNeFri), cours, séminaires et travail de Master > T1: Distributed Systems
    MSc en informatique (BeNeFri), cours, séminaires et travail de Master > UE de spécialisation en Informatique (niveau master)