Opintojaksot  
|Tutkinnot| |Opintokokonaisuudet| |Kaikki| |Jatko| |KV|

Opinto-opas 2006-2007

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

Opintojakson vastuuhenkilö
Heikki Orsila

Opettajat
Heikki Orsila

Luentoajat ja -paikat
Per IV: Keskiviikko 12 - 14, TB222

Toteutuskerrat
  Periodi 1 Periodi 2 Periodi 3 Periodi 4 Periodi 5 Kesä
Luento - - - 2 h/vko 2 h/vko -
Harjoitus - - - 2 h/vko 3 h/vko -
Tentti  
(Lukuvuoden 2006-2007 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 ja harjoitustyöt.

Opintojakson arviointikriteerit

  • Kurssi arvosana määräytyy harjoitustöistä ja tentistä.

  • Opintojaksolla käytetään numeerista arviointiasteikkoa (1-5)

    • Esitiedot
    Tunnus Nimi OP P/S
    OHJ-2100 OHJ-2100 Ohjelmistotieteen perustyökaluja 5 Suositeltava
    TKT-1200 TKT-1200 Digitaalisuunnittelu I 4 Suositeltava
    TKT-2400 TKT-2400 Järjestelmien suunnittelu I 5 Suositeltava
    TKT-2410 TKT-2410 Järjestelmien suunnittelu II 5 Suositeltava

    Esitietoketju (Vaatii kirjautumisen TTY Intranetiin)

    Huomautuksia

  • Opintojakson osasuoritusten pitää liittyä samaan toteutuskertaan.

  • Opintojakso soveltuu jatko-opinnoiksi.

    • Tieto- ja viestintätekniikan (TVT) käyttö opetuksessa

  • Opintojaksolla hyödynnetyt tieto- ja viestintätekniikat

    • - tiedottamisessa kotisivuilla, uutisryhmissä tai s-postilistoilla esim. ajankohtaiset asiat, aikataulut
    - harjoitus-, ryhmä- tai laboratoriotöiden työstämisessä
    - harjoitustöiden, materiaalin jne. jakelussa ja/tai palauttamisessa

  • Arvioitu opintojakson toteutustapa

    • - Lähiopetuksen osuus: 50 %
    - Etäopetuksen osuus: 0 %
    - Opiskelijan itseopiskelun osuus: 50 %

    Mitoitus
    OpetusmuodotTuntia
    Luennot 52
    Harjoitustyöt 64

    Muu mitoitettuTuntia
    Tentti/välikokeet 3
    Kaikki yhteensä 119

    Opintojakson kotisivu

    Viimeksi muokattu 23.01.2007
    MuokkaajaHeikki Orsila