Naslovnica Pretraživanje AAA
IZBORNIK PREDMETA
 
GLAVNI IZBORNIK
 
 
ANALIZA I SINTEZA SUSTAVA U STVARNOM VREMENU
Šifra: 11446
ECTS: 6
Nositelji: izv. prof. dr. sc. Bruno Blašković
Engleski jezik:

1,1,1

Svi elementi nastave na predmetu provode se na engleskom jeziku. Ova razina uključuje i predmete s više nastavnih grupa (u hrvatskoj grupi nastava je isključivo na hrvatskom jeziku, a u engleskoj grupi isključivo na engleskom jeziku).
Opis predmeta:
Stvarnovremenski sustav kao skup komunicirajućih procesa. Formalne metode opisa. Komunikacijske algebre, automati, Petrijeve mreže i logički modeli. Sinteza, specifikacija i verifikacija reaktivnih sustava . UML, SDL i sinkroni jezici. Analiza i sinteza transformacijom modela. Algoritmi sinteze, dostupnosti, dokazivanje teorema. Sinteza i analiza kao programiranje ograničenjima. Raspodjela i alokacija procesa. Programski alati. Primjeri: protokoli, paralelni algoritmi, konkurentni reaktivni sustavi, ekstrakcija modela.
Literatura:
  1. K. Schneider: Verification of Reactive Systems, Springer 2004.
  2. G. Holzmann: The SPIN model checker, Addison-Wesley, 2003.
  3. M. Bernardo, F. Corradini (ur.): Formal Methods for the Design of Real-Time Systems, LNCS 3185, Springer, 2004.
Termini konzultacija:
OBAVIJESTI
FORUM
Sortiraj prema: naslovu | vremenu zadnjeg odgovora | vremenu otvaranja teme
Naslov Odgovori Zadnji odg.
ČESTA PITANJA
REPOZITORIJ
 
Repozitorij je prazan
REPOZITORIJ
 
Repozitorij je prazan
ANKETA
 
Na ovoj stranici trenutno nije odabrana niti jedna anketa!