Opinto-opas 2005-2006

TKT-2510 FORMAALIT MENETELMÄT, 5 op
Formal Methods

Opintojakson vastuuhenkilö
Heikki Orsila

Opettajat
Heikki Orsila, Tutkija, TC428

Luentoajat ja -paikat
Per IV,V: Keskiviikko 12 - 14, TB223

Toteutuskerrat
Toteutus 1
  Periodi 1 Periodi 2 Periodi 3 Periodi 4 Periodi 5 Kesä Opetuskieli
Luento - - - 2 h/vko+ 2 h/vko - -
Harjoitus - - - 2 h/vko+ 3 h/vko - -
(Lukuvuoden 2005-2006 aikataulu)

Tavoitteet
Formaalien menetelmien tunteminen ja soveltaminen digitaalisuunnittelussa käytännössä ja teoriassa. Erityisesti tärkeätä on tuntea luotettavan suunnittelun menetelmiä, ja osata tarkistaa valmiita järjestelmiä.

Sisältö
Sisältöalue Ydinaines Täydentävä tietämys Erityistietämys
1. Yleisesti käytettyjen formaalien menetelmien ja työkalujen tunteminen digitaalisuunnittelussa.       
2. Formaalien menetelmien teorian ja käytännön tunteminen digitaalisuunnittelussa. Erityisesti tärkeitä ovat Model checking, equivalence checking, assertion-based design ja aikalogiikka.
 
     
3. Yleisesti käytettyjen suunnitteluympäristöjen ja käytännönratkaisuiden tunteminen järjestelmien tarkistuksessa.
 
     

Suoritusvaatimukset
Seminaarit, harjoitustyöt ja tentti.

Opintojakson arviointikriteerit
Kurssi arvosana määräytyy seminaareista, harjoitustöistä ja tentistä.

  • Opintojaksolla käytetään numeerista arviointiasteikkoa (1-5)
  • Esitiedot
    Tunnus Nimi OP P/S
    OHJ-2100 Ohjelmistotieteen perustyökaluja 5 Suositeltava
    TKT-1200 Digitaalisuunnittelu I 4 Suositeltava
    TKT-2400 Järjestelmien suunnittelu I 5 Suositeltava
    TKT-2410 Järjestelmien suunnittelu II 5 Suositeltava

    Huomautuksia

  • Opintojakson osasuoritusten pitää liittyä samaan toteutuskertaan.
  • Opintojakso soveltuu jatko-opinnoiksi.
  • Opintojakson kotisivu

    Viimeksi muokattu 29.08.2005
    MuokkaajaOlli Vainio