English | Log ind

02224 Modellering og analyse af tidstro systemer

2016/2017

Kursusinformation
Modelling and Analysis of Real-Time Systems
Engelsk
5
Kandidat
Kurset udbydes under tompladsordningen
F3A (tirs 8-12)
Campus Lyngby
Forelæsninger og øvelser. Selvstændigt projektarbejde.
13-uger
F3A, E3A
Skriftlig eksamen og bedømmelse af rapport(er)
Rapport(er) og skriftlig eksamen bedømmes som en helhed.
2 timer
Skriftlige hjælpemidler er tilladt
7-trins skala , intern bedømmelse
02225
02225
02158 , Kendskab til generelle principper for parallelprogrammering: processer / tråde, synkronisering og kommunikation. Generelt kendskab til datalogisk modellering og specifikt kendskab til modeller for parallelitet. Kendskab til temporal logik.
Hans Henrik Løvengreen , Lyngby Campus, Bygning 322, Tlf. (+45) 4525 3763 , hhlo@dtu.dk
Michael Reichhardt Hansen , Lyngby Campus, Bygning 322, Tlf. (+45) 4525 3727 , mire@dtu.dk

01 Institut for Matematik og Computer Science
I studieplanlæggeren
Overordnede kursusmål
At gøre deltagerne i stand til at konstruere sikre, tidstro computerbaserede systemer under brug af formelle modellerings- og verifikationsteknikker.
Læringsmål
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
  • modellere tidstro systemer ved brug af formelle modeller for tidslig opførsel.
  • formulere egenskaber for tidslig systemopførsel.
  • anvende simuleringsværktøjer til analyse af formelle tidstro modeller.
  • gøre rede for forskellige principper for automatisk verifikation.
  • anvende værktøjer til verifikation af tidslige egenskaber.
  • forstå udvalgte verifikationsteknikker samt kende deres fordele og begrænsninger.
  • benytte forskellige abstraktionsniveauer under udvikling af tidstro systemer.
  • implementere tidstro programmer på passende afviklingsplatforme.
  • anvende sandtidsbegreber til klar og præcis præsentation af problemer og løsninger.
Kursusindhold
Højniveau modellering af tidslig opførsel. Modelleringsteknikker for hybride systemer. Specifikation og verifikation af tidslige egenskaber. Modellerings-, simulerings- og verifikationsværktøjer. Designprincipper. Implementeringsteknikker.
Sidst opdateret
27. oktober, 2016