Verification of cyber-physical systems

  • Teaching

    Details

    Faculty Faculty of Science and Medicine
    Domain Computer Science
    Code IN.7610
    Languages English
    Type of lesson Lecture
    Level Master
    Semester SP-2020

    Schedules and rooms

    Summary schedule Wednesday 09:15 - 12:00, Hebdomadaire, PER 21, Room F130
    Struct. of the schedule 3h par semaine durant 14 semaines
    Contact's hours 42

    Teaching

    Responsibles
    Teachers
    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).
    Training objectives 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.


    Comments 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
    No
    Off field
    No
    BeNeFri
    Yes
    Mobility
    Yes
    UniPop
    No
  • Dates and rooms
    Date Hour Type of lesson Place
    19.02.2020 09:15 - 12:00 Cours PER 21, Room F130
    26.02.2020 09:15 - 12:00 Cours PER 21, Room F130
    04.03.2020 09:15 - 12:00 Cours PER 21, Room F130
    11.03.2020 09:15 - 12:00 Cours PER 21, Room F130
    18.03.2020 09:15 - 12:00 Cours PER 21, Room F130
    25.03.2020 09:15 - 12:00 Cours PER 21, Room F130
    01.04.2020 09:15 - 12:00 Cours PER 21, Room F130
    08.04.2020 09:15 - 12:00 Cours PER 21, Room F130
    22.04.2020 09:15 - 12:00 Cours PER 21, Room F130
    29.04.2020 09:15 - 12:00 Cours PER 21, Room F130
    06.05.2020 09:15 - 12:00 Cours PER 21, Room F130
    13.05.2020 09:15 - 12:00 Cours PER 21, Room F130
    20.05.2020 09:15 - 12:00 Cours PER 21, Room F130
    27.05.2020 09:15 - 12:00 Cours PER 21, Room F130
  • Assessments methods

    Examen écrit

    Assessments methods By rating
  • Assignment
    Valid for the following curricula:
    Additional Courses in Sciences
    Version: ens_compl_sciences
    Paquet indépendant des branches > Specialized courses in Computer Science (Master level)

    Branche secondaire Master: informatique de gestion
    Version: 2019/SA-v01
    Cours > Module Informatik > Distributed Systems
    Cours > Module Informatik > Logic

    Business Communication - Information Systems 90 ECTS [MA]
    Version: SP 2017 SYS
    Courses - 60 ECTS > Option Group > Information Management > Cours > Module Informatik > Logic
    Courses - 60 ECTS > Option Group > Information Management > Cours > Module Informatik > Distributed Systems

    Business Communication - Information Systems 90 ECTS [MA]
    Version: 2017/SA_v01 SYS
    Courses - 60 ECTS > Option Group > Information Management - 30 ECTS > Cours > Module Informatik > Distributed Systems
    Courses - 60 ECTS > Option Group > Information Management - 30 ECTS > Cours > Module Informatik > Logic

    Information Management 90 ECTS [MA]
    Version: 2015
    Cours > Module Informatik > Distributed Systems
    Cours > Module Informatik > Logic

    Information Management 90 ECTS [MA]
    Version: 2017/SA_v01
    Cours > Module Informatik > Distributed Systems
    Cours > Module Informatik > Logic

    Information Management 90 ECTS [MA] - SA/2019
    Version: 2019/SA_V01
    Classes - min. 45 ECTS > Module IT and IT Management > Logic
    Classes - min. 45 ECTS > Module IT and IT Management > Distributed Systems

    MSc in Computer science (BeNeFri)
    Version: 2010_2/V_02
    MSc in Computer science (BeNeFri), lectures, seminars and Master thesis > T4: Logic
    MSc in Computer science (BeNeFri), lectures, seminars and Master thesis > T1: Distributed Systems
    MSc in Computer science (BeNeFri), lectures, seminars and Master thesis > Specialized courses in Computer Science (Master level)