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	Nitsche Ulrich
Enseignants	Nitsche Ulrich
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

Examen écrit

Mode d'évaluation

Par note