TTKK Opinto-opas
81201 Reaktiiviset järjestelmät, 4,0 ov
Reactive Systems, 4,0 cu
Professori REINO KURKI-SUONIO
Luentoja 56 h Harjoituksia 28 h.
| Viikottainen Opetus / Periodi |
S1 | S2 | K1 | K2 | Kesä |
|---|
| Luennot (h) | - | - |
4+ | 4 | - |
|---|
| Harjoitukset (h) | - | - |
2+ | 2 | - |
|---|
Luentoaika ja -paikka
Tiistai 14-17 HC215, perjantai 9-12 HC215.
Tavoitteet
Oppia tunteman sulautettujen, hajautettujen ja
reaaliaikaisten järjestelmien määrittelyssä ja suunnittelussa
tarpeellinen formaali pohja. Ymmärtää ohjelmiston dynaamisen
käyttäytymisen loogiset ominaisuudet. Perehtyminen
täsmälliseen logiikkaan, jolla näitä ominaisuuksia voidaan
kuvata, sekä siihen perustuvaan oliokeskeiseen määrittely- ja
suunnittelumetodiikkaan.
Sisältö
Aktiopohjainen suoritusmalli, systeemin ja sen ympäristön
kuvaaminen suljettuna mallina, käyttäytymiset päättymättöminä
tilajonoina, käyttäytymisten loogiset ominaisuudet
(turvallisuus- ja elävyysominaisuudet), aktioiden
aikalogiikka ja sen suhde aktiopohjaiseen suoritusmalliin,
oliokeskeinen määrittely yhteisaktioita käyttäen,
superpositio ja siihen perustuva inkrementaalinen
suunnittelumetodiikka, hajautettujen ja reaaliaikasten
järjestelmien kuvaaminen.
Tutkintovaatimukset
Hyväksytysti suoritettu tentti.
Kirjallisuus
Opetusmoniste jaetaan luentojen yhteydessä.
Vaadittavat esitiedot
81125 Tietorakenteet ja algoritmit.
Suositeltavat esitiedot
81141 Ohjelmointikielten periaatteet, 81180
Käyttöjärjestelmät.
Huomautuksia
Voidaan sisällyttää myös jatko-opintoihin.
Linkkejä
Kurssin kotisivu.