Seminaari: Tosiaikajärjestelmät - Kevät 2002
Aika: 22.1. - 7.5.2002 ti 12.15-14.00Paikka: A319
Pitäjä: Juha Taina
Ilmoitustaulu
11.1.2002 Tervetuloa tosiaikajärjestelmät-seminaariin. Ensimmäinen kokoontuminen on ti 22.1.2002 klo 12.15-14.00 salissa A319. Ensimmäisellä kerralla valitaan aiheet ja sovitaan esityspäivät, joten silloin kaikkien on oltava paikalla. Pidän myös pienen alustuksen tosiaikajärjestelmistä ensimmäisellä kerralla. -JT
Aikataulu ja esitykset
Ohessa on tosiaikajärjestelmät-seminaarin aikataulu. Esitelmän kohdalla oleva linkki vie www-sivulle, jonka kautta voi ladata kyseisen esitelmän. Jos linkkiä ei ole, niin esitelmä ei ole vielä valmis.Esitelmät valmistuvat viimeistään edellisen viikon tiistaiksi. Otsikot saattavat päivittyä tästä.
- 22.1. Avaus
- 29.1. Raine Kauppinen, Lyhyt johdatus tosiaikajärjestelmiin
- 5.2. Tiina Niklander, Tosiaikatietokannat
- 12.2. Jan Lindström, Integroitu ja Adaptiivinen Optimistinen Samanaikaisuudenhallintamenetelmä Tosiaikatietokantoihin (PostScript)
- 19.2. Auvo Häkkinen, Reaaliaikakäyttöjärjestelmistä (pdf)
- 26.2. Harri Forsgren, Tosiaikajärjestelmien mallintaminen Petriverkoilla (PostScript)
- 5.3. George El-Khouri, Tosiaikajärjestelmien skedulointi(PostScript)
- 12.3. Jarkko Lehto , Tosiaikajärjestelmien mallinnus formaaleilla menetelmillä
- 19.3. Markku Karppinen, Javan käyttö tosiaikajärjestelmissä
- 26.3. Mika Karlstedt, Tosiaikatietoliikenne; ja Antti Lammi, Ada-kieli
- 2.4. Pääsiäisloma, ei esitelmiä
- 9.4. Pekka Sundström, Tosiaikainen Puhelulaskutus
- 16.4. Jouni Ojanen, Tosiaikajärjestelmien testaus
- 23.4. Matti Lempiäinen , Ohjelmoitavat logiikat (Saattaa vaatia Acrobat Reader 4.0:n tai uudemman)
- 30.4. Jyrki Saarinen, Mikroydinkäyttöjärjestelmät
- 7.5. Antti Räsänen, Tosiaikajärjestelmien suorituskykyanalyysi (PostScript) (PDF)
1. Yleistä
Jo 30 vuoden ajan perinteisten tietojen käsittelyyn keskittyneiden järjestelmien rinnalla on kulkenut toinen ohjelmistotekniikan haara, joka on keskittynyt ohjausjärjestelmiin. Näitä järjestelmiä kutsutaan upotetuiksi järjestelmiksi tai tosiaikajärjestelmiksi.Myös tosiaikajärjestelmissä käsitellään tietoja, mutta niissä tietojen käsittely liittyy järjestelmän ohjaukseen. Esimerkiksi pesukoneen ohjausohjelmistossa kerätään jatkuvasti tietoja veden lämpötilasta, pyykin painosta, sen tasaisuudesta rummussa ja muusta vastaavasta. Näitä tietoja käsittelemällä ohjelmistossa tulkitaan mitä pitää tehdä missäkin vaiheessa pesuohjelmaa.
Tosiaikajärjestelmissä ajalla on suurempi merkitys kuin perinteisissä järjestelmissä. Kun anturilta tulee signaali, niin siihen pitää reagoida tietyssä ajassa. Näin anturin synnyttämälle tapahtumalle tulee aikaraja. Tämän aikarajan johdosta järjestelmiä kutsutaan tosiaikajärjestelmiksi.
Tässä seminaarissa on tarkoitus tutustua sekä erilaisiin tosiaikajärjestelmiin että menetelmiin, joilla tosiaikajärjestelmiä voidaan analysoida, suunnitella ja testata. Painopiste tulee olemaan tosiaikajärjestelmien suunnittelussa. Sopivia seminaarin aihealueita ovat esimerkiksi:
- Tosiaikajärjestelmät
- Tosiaikatietokannat
- Tosiaikaiset käyttöjärjestelmät
- Tosiaikakielet
- Tosiaikajärjestelmien mallinnus ja simulointi
- Tosiaikajärjestelmien suorituskykyanalyysi
- Tosiaikajärjestelmien suunnitteluperiaatteet ja -menetelmät
- Tosiaikajärjestelmien testaus
Myös muita tosiaikajärjestelmiin liittyviä aihealueita voidaan käsitellä osallistujien toiveiden mukaan.
2. Esitietovaatimukset
Seminaari sopii erityisesti hajautettujen järjestelmien ja ohjelmistotekniikan suuntautumisvaihtoehtojen opiskelijoille. Muitakaan ei toki käännytetä pois.Jokaisella seminaariin osallistujalla tulee olla suoritettuna Tieteellisen kirjoittamisen kurssi ja pakolliset Cumun kurssit.
Käyttöjärjestelmät- kursseja ja ohjelmistotekniikan laudaturkursseja pidetään suositeltavina.
3. Kokoontumiset
Seminaari kokoontuu tiistaisin 22.1.2002 - 7.5.2002 klo 12-14 salissa A319. Ensimmäisellä kerralla sovitaan aiheet ja loppukevään aikataulu.4. Muuta
Kannattaa tulla rohkeasti mukaan, vaikka aihepiiri vaikuttaisi aluksi vieraalta. Ensimmäisellä tai viimeistään toisella kerralla pidetään aiheesta alustus, jonka avulla aihepiiri tulee toivottavasti tutuksi.Juha Taina (Juha.Taina@cs.Helsinki.FI)