Mallintarkistus ja sen
|
|
- Sakari Lasse Saarinen
- 7 vuotta sitten
- Katselukertoja:
Transkriptio
1 VERSIO 0.1 LUONNOS Mallintarkistus ja sen soveltaminen PLCohjelmien verifioinnissa AS Automaatio- ja systeemitekniikan projektityöt -projektisuunnitelma Markus Hartikainen 2/1/2009
2 Sisältö 1. Projektityön tavoite Työn rakenne ja aikataulu Riskien hallinta... 5
3 1. Projektityön tavoite Tarkoituksena on tutustua mallintarkastuksen teoriaan yhtenä osa-alueena formaaleissa menetelmissä sekä verifioida pieni PLC - ohjelma NuSMV ja UPPAAL mallintarkastustyökaluja käyttäen. Projekti jaetaan kahteen isompaan työpakettiin. Ensimmäinen osa selvittää mallintarkastuksen taustalla olevaa teoriaa. Samalla on tarkoitus selvittää miten mallintarkastusta voidaan käyttää PLCohjelmien verifioinnissa. Tarkoituksena on kirjoittaa tätä teoriaosuutta koko ajan rinnakkain käytännön osuuden kanssa. Projektin toisen osuuden tarkoituksena on tutustua olemassa olevien lähteiden avulla PLCohjelmille sopiviin mallintarkastustyökaluihin (NuSMV ja UPPAAL, joista jälkimmäinen on reaaliaikasovellusten mallintarkistin). Osuuden tarkoituksena on tehdä spesifikaatio pienelle logiikkasovellukselle ja saada sovelluksen malli (design) tehdyksi ja verifioiduksi mallintarkastustyökalua käyttäen. Tutkin esimerkissäni kurssin AS Kappaletavaratuotannon automaatio harjoitustyön toimilohko-ohjelmien verifiointia. Tarkoituksena on selvittää verifiointiprosessin vaiheita ja sen mahdollisuuksia ja ongelmia (onko ohjelmassa muita tiloja kuin spesifikaatiossa tai päästäänkö jokaiseen suunniteltuun tilaan ohjelman ajon aikana jne.). Lisäksi vertaillaan valittujen mallintarkastimien tehokkuutta ja sopivuutta esimerkkiohjelman verifioinnissa. Ohjelmaan voidaan myös lisätä tahallaan suunnitteluvirhe/virheitä, jotka halutaan mallintarkastuksella löytää. Työn tuloksena on tarkoitus oppia mallintarkastusta formaalina verifiointivälineenä niin teoriassa kuin käytännössä. Tuloksina halutaan erityisesti saada informaatiota mallintarkistuksesta PLC - ohjelmien osalta. Mitä ongelmia mallintarkastuksessa ilmenee / voi ilmetä? Mitä kaikkea on otettava huomioon sovellettaessa mallintarkastusta verifioinnissa? Mitä hyviä ja huonoja puolia siinä on? Minkälainen on mallintarkistuksen tulevaisuus PLC - ohjelmien vaatimusten ja suunnittelumallien verifioinnissa. Arvioin työpakettien laajuudeksi noin 2 (teoria) + 2 (käytäntö + tulokset) opintopistettä.
4 2. Työn rakenne ja aikataulu 1. Projektisuunnitelma 2. Johdanto mallintarkastukseen 3. Mallintarkastuksen taustalla oleva teoria 3.1 Automata ja äärelliset tilakoneet (FSM) 3.2 Temporaalinen logiikka 3.3 Symbolinen mallintarkistus 3.4 Ajoitetut tilakoneet ja reaaliaikavaatimusten verifiointi 4. Järjestelmäominaisuuksien spesifiointi 5. PLC-ohjelmien mallintarkistus 6. CASE-esimerkit (NuSMV, UPPAAL): liukuhihnan hissiohjelman mallintarkastus 7. Tulokset ja vertailu 8. Mallintarkastuksen tulevaisuus Työvaiheen nimi Aloituspäivämäärä Arvioitu lopetuspvm. 1. Projektisuunnitelma Johdanto ja 5. Teoria ja PLCohjelmien mallintarkastus 4. Spesifiointi CASE-esimerkki NuSMV CASE-esimerkki UPPAAL Tulokset ja vertailu Mallintarkastuksen tulevaisuus TODO: Tee janakaavio aikataulusta! Projektityön kestoksi on arvioitu noin 3 kuukautta. Neljälle opintopisteelle kohdistettuna viikkokohtainen työtuntimäärä on siis 10 tuntia. Työpaketit sisältävät itsessään dokumentoinnin. Työ alkaa projektisuunnitelman kirjoituksella (tämä dokumentti) sekä taustalla olevan teorian sekä johdannon kirjoittamisella. Myös CASEesimerkin rakentaminen alkaa heti NuSMV-mallintarkastimella. Ominaisuuksien spesifioinneista kirjoittaminen voi alkaa, kun on opittu tarvittava määrä teoriaa. Teoriaa on tarkoitus opetella alussa nopeaan tahtiin, jotta itse kokeellinen osuus voi alkaa. UPPAAL-mallintarkastimeen tutustuminen alkaa heti, kun ensimmäinen CASE-esimerkki on valmis tai melkein valmis. Tulosten ja mallintarkastuksen tulevaisuudensuuntausten arviointi jää luonnollisesti viimeiseksi vaiheeksi projektissa. Teoriaa on tarkoitus opiskella koko projektin ajan ja soveltaa sitä esimerkkiohjelman verifiointiin. Muutoinkin kirjoitusprosessia ja tulosten dokumentointia on tarkoitus tehdä rinnakkain kokeellisen osuuden kanssa.
5 3. Riskien hallinta Ennustan projektin onnistuvan hyvin, sillä hyviä lähteitä mallintarkistuksesta löytyy useita. Lähteiden taso ja laatu on yleisesti ottaen huippuluokkaa, sillä aihe on ollut viimeisten 30 vuoden aikana kovan kiinnostuksen kohteena yliopistojen tietojenkäsittelytieteiden laitoksilla sekä myös teollisuudessa. Mallintarkastusta on sovellettu käytäntöön onnistuneesti ja lupaavia tuloksia on saatu monilla eri osa-alueilla, myös logiikka-ohjelmien verifioinnissa. Kaikista näistä positiivista asioista huolimatta on myös hyvä varautua ongelmiin etukäteen, jotta nämä voidaan joko välttää tai minimoida. Alla on siis tunnistettu projektin keskeisimmät riskit ja hahmoteltu näiden toteutuessa tehtäviä toimenpiteitä. Suurimpia riskejä tavoitteiden saavuttamiselle ovat: 1. Muut kurssit vievät myös paljon aikaa, koska niissäkin on harjoitustöitä 2. Tuntematon tekniikka hankaloittaa aikataulun suunnittelua ja siinä pysymistä Keinot riskien välttämiseksi: 1. Teorian opiskelu aloitettava heti 2. Työkalujen löytäminen ja käytön opiskelu aloitettava mahdollisimman nopeasti Riskien minimointi ja toimenpiteet mikäli riski toteutuu: 1. CASE-esimerkeissä verifioidaan ensin vain yksi osa ohjelmasta (esim. paletin ottaminen hissiin). Myöhemmin voidaan verifioida useampia ohjelmia, jos aikaa jää
PLC toimilohko-ohjelmien mallintarkastus AS Automaatio- ja systeemitekniikan projektityöt, kevät 2009
PLC toimilohko-ohjelmien mallintarkastus AS-0.3200 Automaatio- ja systeemitekniikan projektityöt, kevät 2009 Markus Hartikainen 4/12/2009 Sisältö 1. Johdanto 3 2. Mallintarkastuksen teoriaa 4 2.1 Mitä
LisätiedotProjektisuunnitelma. (välipalautukseen muokattu versio) Vesiprosessin sekvenssiohjelmointi ja simulointiavusteinen testaus
Projektisuunnitelma (välipalautukseen muokattu versio) Vesiprosessin sekvenssiohjelmointi ja simulointiavusteinen testaus Ville Toiviainen Tomi Tuovinen Lauri af Heurlin Tavoite Projektin tarkoituksena
LisätiedotAS Automaatio ja systeemitekniikan projektityöt Projektisuunnitelma Syksy 2009 A09 05 OSGi IRC Bot For Coffee Maker
AS 0.3200 Automaatio ja systeemitekniikan projektityöt Projektisuunnitelma Syksy 2009 A09 05 OSGi IRC Bot For Coffee Maker Henri Nieminen Juha Sironen Palautettu: 21.9.2009 Nieminen, Sironen Sisällysluettelo
LisätiedotProjektisuunnitelma Vesiprosessin sekvenssiohjelmointi ja simulointiavusteinen testaus
Projektisuunnitelma Vesiprosessin sekvenssiohjelmointi ja simulointiavusteinen testaus Ville Toiviainen Tomi Tuovinen Lauri af Heurlin Tavoite Projektin tarkoituksena on luoda valmis sekvenssiohjelma säätötekniikan
LisätiedotAS-0.3200 Automaatio- ja systeemitekniikan projektityöt
AS-0.3200 Automaatio- ja systeemitekniikan projektityöt A11-17 Ikäihmisten kotona asumista tukevien järjestelmien kehittäminen AikatauluValpas Salla Ojala Paula Laitio 1. Projektin tavoite Projektimme
LisätiedotMiten selvitä matematiikasta? Tutkitusti hyviä opiskelutaitovinkkejä
Miten selvitä matematiikasta? Tutkitusti hyviä opiskelutaitovinkkejä Panu Erästö Matemaatikko-tilastotieteilijä (Ph.D) Opettaja/pedagogi/opetuksen kehittäjä Kaikilla on edellytykset Usko omiin kykyihin
LisätiedotA14-11 Potilaan mittaustiedon siirtäminen matkapuhelimeen
1 AS-0.3200 Automaatio- ja systeemitekniikan projektityöt A14-11 Potilaan mittaustiedon siirtäminen matkapuhelimeen Projektisuunnitelma Tommi Salminen, Hanna Ukkola, Olli Törmänen 19.09.2014 1 Projektin
LisätiedotEero Nousiainen. Tekniikan yksikkö Tietotekniikan osasto. Projektiperustainen opetus ja oppiminen
Eero Nousiainen Tekniikan yksikkö Tietotekniikan osasto Projektiperustainen opetus ja oppiminen FILOSOFIAA Maailma muuttuu Ihmiset muuttuvat Opiskelijat muuttuvat Opettajat ja opetusmenetelmät muuttuvat?
LisätiedotA13-03 Kaksisuuntainen akkujen tasauskortti. Projektisuunnitelma. Automaatio- ja systeemitekniikan projektityöt AS-0.
A13-03 Kaksisuuntainen akkujen tasauskortti Projektisuunnitelma Automaatio- ja systeemitekniikan projektityöt AS-0.3200 Syksy 2013 Arto Mikola Aku Kyyhkynen 25.9.2013 Sisällysluettelo Sisällysluettelo...
LisätiedotS11-09 Control System for an. Autonomous Household Robot Platform
S11-09 Control System for an Autonomous Household Robot Platform Projektisuunnitelma AS-0.3200 Automaatio- ja systeemitekniikan projektityöt Quang Doan Lauri T. Mäkelä 1 Kuvaus Projektin tavoitteena on
LisätiedotElectric power steering
AS-0.3200 Automaatio- ja systeemitekniikan projektityöt Electric power steering Ohjausmoottorin jäähdytys ja ylikuumenemisen esto Projektisuunnitelma 19.9.2014 Työn ohjaaja: Ville Matikainen Tekijät: Samppa
LisätiedotAS Automaatio- ja systeemitekniikan projektityöt - Projektisuunnitelma
AS-0.3200 Automaatio- ja systeemitekniikan projektityöt - Projektisuunnitelma PiccSIM - TrueTime integrointi Henri Öhman 31.1.2012 1. Projektityön tavoite PiccSIM on Aalto-yliopistolla kehitetty simulointiympäristö,
LisätiedotTietotekniikan opintojen aktivointi
Tietotekniikan opintojen aktivointi 8.6.2011 Auri Kaihlavirta Päivän agenda HOPSien käsittelyä Päättötyön kirjoittamisen keinoja Opponoinnista Kirjoitustehtävä 1 1 Ryhmätehtävä: HOPSin jälkeen Kirjaa paperille
Lisätiedottoimintojen seurantaan
AS-0.3200 Automaatio- ja systeemitekniikan projektityöt Älykäs sähkömittari kodin toimintojen seurantaan Projektityösuunnitelma Miika Karanki, Miikka Sarajärvi, Jouni Valtonen 28. tammikuuta 2014 Sisältö
LisätiedotO L A R I N K O U L U
Tervetuloa! Olarin koulun matematiikka- ja luonnontiedeluokan tiedotustilaisuuteen Olarin koulu Olarin lukion ja Olarin matematiikkaja luonnontiede lukion yhteydessä luokat 7-9 yksi pienluokka 8lk:lla
LisätiedotSiimasta toteutettu keinolihas
AS 0.3200 Automaatio ja systeemitekniikan projektityöt Projektisuunnitelma: Siimasta toteutettu keinolihas Laura Gröhn 224417 Mikko Kyllönen 221177 Lauri Liukko Sipi 84702A Susanna Porkka 225131 3.2.2015
LisätiedotHybridivalvomon tilatiedon hallinnan kehittäminen
AS- 0.3200 Automaatio- ja systeemitekniikan projektityöt 23.9.2014 Projektisuunnitelma Työn suorittaja: Niklas Paganus Työn ohjaaja: Leena Salo Hybridivalvomon tilatiedon hallinnan kehittäminen Sisällysluettelo
LisätiedotUudelleenkäytön jako kahteen
Uudelleenkäyttö Yleistä On pyritty pääsemään vakiokomponenttien käyttöön Kuitenkin vakiokomponentit yleistyneet vain rajallisilla osa-alueilla (esim. windows-käyttöliittymä) On arvioitu, että 60-80% ohjelmistosta
LisätiedotOsaamisperustaisuuden arviointia tentillä
Osaamisperustaisuuden arviointia tentillä Veli-Pekka Pyrhönen Yliopisto-opettaja Tampereen teknillinen yliopisto Peda-forum-päivät 2018 Oulun yliopisto Turun yliopisto Lapin yliopisto Aalto-yliopisto Tampereen
LisätiedotA13-03 Kaksisuuntainen akkujen tasauskortti. Väliaikaraportti. Automaatio- ja systeemitekniikan projektityöt AS Syksy 2013
A13-03 Kaksisuuntainen akkujen tasauskortti Väliaikaraportti Automaatio- ja systeemitekniikan projektityöt AS-0.3200 Syksy 2013 Arto Mikola Aku Kyyhkynen 22.10.2013 Sisällysluettelo Sisällysluettelo...
LisätiedotA09-05 OSGi IRC Bot For Coffee Maker
AS-0.3200 Automaatio- ja systeemitekniikan projektityöt A09-05 OSGi IRC Bot For Coffee Maker Henri Nieminen Juha Sironen 1 Sisältö: 1. Tavoitteiden kertaus 2. Tuloksien esittely 3. Sovelluksen demo 4.
LisätiedotPower Steering for ATV
AS-0.3200 Automaatio- ja systeemitekniikan projektityöt Power Steering for ATV 27.1.2014 Juuso Meriläinen Antti Alakiikonen Aleksi Vulli Meriläinen, Vulli, Alakiikonen 1/6 Projektin tavoite Projektityössä
LisätiedotMyös opettajaksi aikova voi suorittaa LuK-tutkinnon, mutta sillä ei saa opettajan kelpoisuutta.
Tietojenkäsittelytiede Tutkintovaatimukset Perustutkinnot LUONNONTIETEIDEN KANDIDAATIN TUTKINTO (VÄHINTÄÄN 120 OV) 1. Tietojenkäsittelytieteen cum laude approbatur -oppimäärä (vähintään 55 ov) ja kypsyysnäyte
LisätiedotSpektrin sonifikaatio
Spektrin sonifikaatio AS-0.3200 Automaatio- ja systeemitekniikan projektityöt Paula Sirén Sisällysluettelo 1. Johdanto... 2 2. Tehtävän kuvaus ja työn rakenne... 2 3. Teoria... 2 3.1 Ääni mekaanisena aaltona...
LisätiedotTietotekniikan kandidaattiseminaari
Tietotekniikan kandidaattiseminaari Luento 1 14.9.2011 1 Luennon sisältö Seminaarin tavoitteet Seminaarin suoritus (tehtävät) Kandidaatintutkielman aiheen valinta Seminaarin aikataulu 2 2011 Timo Männikkö
LisätiedotKandidaatin opinnäyteseminaari. Intro
Kandidaatin opinnäyteseminaari Intro Seminaari? Seminaari on sarja kokoontumisia, joiden tarkoitus on tukea syksyllä alkavaa opinnäytteen suunnittelua ja keväällä toteutusta. Syksystä kevääseen kulkeva
LisätiedotTutkimusperustaisuus käytännön opetuksessa? Tapaus Sosiaalityön käytäntö 2. Taru Kekoni Ma. Yliopistonlehtori Itä-Suomen yliopisto
Tutkimusperustaisuus käytännön opetuksessa? Tapaus Sosiaalityön käytäntö 2 Taru Kekoni Ma. Yliopistonlehtori Itä-Suomen yliopisto Lähtökohta esitykselle: Opetusjakson tutkimusperustaisuus on selkeä ja
LisätiedotVALINNAISET OPINNOT Laajuus: Ajoitus: Kood Ilmoittautuminen weboodissa (ja päättyy 06.03.2016.)
VALINNAISET OPINNOT Valinnaisia opintoja pedagogisten opintojen yleistavoitteiden suuntaisesti tarjoavat normaalikoulu, kasvatustiede ja ainedidaktiikka. Laajuus: 3 opintopistettä Ajoitus: Pääsääntöisesti
LisätiedotKirja on jaettu kahteen osaan: varsinaiseen- ja lisätieto-osioon. Varsinainen
Alkusanat Tämän tieto- ja viestintätekniikan oppikirjan ensimmäinen versio (1. painos) syntyi vuonna 2006 Jyväskylän yliopiston tietotekniikan laitokselle tekemäni pro gradu -tutkielmani yhteydessä. Tutkimuksessani
LisätiedotSuoritustavat: Laboratoriotöitä 2.-3.periodi. Luennot 2h, Laboratorityöt 4h, itsenäinen työskentely 124 h. Yhteensä 130 h.
Janne Parkkila Tavoitteet: Opintojakson aikana opiskelijoiden tulee: - Yhdistellä eri lähteistä löytämiään tietoja. - Kirjoittaa kriteerit täyttäviä alku- ja loppuraportteja. - Ratkaista laboratoriotöissä
LisätiedotS09 04 Kohteiden tunnistaminen 3D datasta
AS 0.3200 Automaatio ja systeemitekniikan projektityöt S09 04 Kohteiden tunnistaminen 3D datasta Loppuraportti 22.5.2009 Akseli Korhonen 1. Projektin esittely Projektin tavoitteena oli algoritmin kehittäminen
LisätiedotAnalogiapiirit III:n harjoitustyö
Analogiapiirit III:n harjoitustyö Harjoitustyössä suunnitellaan 1. asteen Σ modulaattori ASIC toteutuksena. Koko ASIC suunnittelupolku käsinsuunnittelusta lopulliseen IC piirikuvioon päydään läpi viidessä
LisätiedotKirja on jaettu kahteen osaan: varsinaiseen- ja lisätieto-osioon. Varsinainen
Alkusanat Tämä tieto- ja viestintätekniikan oppikirja on päivitetty versio vuonna 2007 julkaisemastani Tieto- ja viestintätekniikka -oppikirjasta. Päivityksessä kirjan sisällöt on ajantasaistettu ja samalla
LisätiedotLiikuntaseura toiminnassa
Liikuntaseura toiminnassa Seuraprojektilla käytännönläheisyyttä opintoihin Minna Kettunen amanuenssi Liikuntatieteellinen tiedekunta Jyväskylän yliopisto Liikkeelle! 1. Liikunnan yhteiskuntatieteiden opiskelijat:
LisätiedotProjektisuunnitelma: Tietokonepeliavusteinen kognitiivinen terapia
Projektisuunnitelma: Tietokonepeliavusteinen kognitiivinen terapia AS 0.3200 Automaatio ja systeemitekniikan projektityöt Ristomatti Karppanen Wille Keltikangas Mikko Mulari 1. Projektin tavoite Työssä
LisätiedotTKT50004 Akateemiset taidot, 1 op
TKT50004 Akateemiset taidot, 1 op Aloitusluento 1. vuoden opiskelijoille pe 8.9.2017 klo 14-16 Kjell Lemström SISÄLTÖ Vanha / uusi järjestelmä Kurssille ilmoittautuminen Kurssin tavoitteet Kurssin toteutus
LisätiedotKandidaatintyö. Elektroniikan ja tietoliikennetekniikan tutkinto-ohjelma
Kandidaatintyö Elektroniikan ja tietoliikennetekniikan tutkinto-ohjelma Infon sisältö Kandidaatintyön merkitys Kandidaatintyön osat Tekniikan viestintä -kurssi Kandidaatiksi valmistuminen Seminaari Kirjallinen
LisätiedotHyrian ja Laurean jatkoväylä projektiopintomalli
Jatkoväylä-seminaari Haaga-Helia 9.5.2017 Kaisa Tsupari Hyrian ja Laurean jatkoväylä projektiopintomalli 1 HYRIA KOULUTUS 9.5.2017 Liiketalouden pt/ nuoret Mahdollisuus suorittaa tutkinnonosa (15 osp)
LisätiedotToteutusvaihe T3 Digi-tv: Edistymisraportti
Toteutusvaihe T3 Digi-tv: Edistymisraportti Sisällysluettelo 1. Projektin tila...3 Dtv: Work done per Person (current phase)...3 Dtv: Work done per Worktype (current phase)...3 2. Suoritetut tehtävät...4
LisätiedotTKT50004 Akateemiset taidot, 1 op
TKT50004 Akateemiset taidot, 1 op Aloitusluento 1. vuoden opiskelijoille pe 7.9.2018 klo 14-16 Kjell Lemström SISÄLTÖ Vanha / uusi järjestelmä Kurssille ilmoittautuminen Kurssin tavoitteet Kurssin toteutus
LisätiedotProjektisuunnitelma. Projektin tavoitteet
Projektisuunnitelma Projektin tavoitteet Projektin tarkoituksena on tunnistaa erilaisia esineitä Kinect-kameran avulla. Kinect-kamera on kytkettynä tietokoneeseen, johon projektissa tehdään tunnistuksen
LisätiedotTutkimushankkeiden riskienhallinta
Tutkimushankkeiden riskienhallinta Tutkimuksen tuki, yrittäjyys ja innovaatiot Jyväskylän yliopisto Kirsi Murtosaari Parityö Tutkimushankkeet: Kuvatkaa hankkeiden haasteita suunnittelu- ja toteutus- tai
LisätiedotTutkinnon voi opiskella loppuun, vaikka ei saisikaan lisäaikaa
Tutkinnon voi opiskella loppuun, vaikka ei saisikaan lisäaikaa Jos tutkinnosta puuttuu opintojaksoja, voi niitä suorittaa avoimen yo:n kautta opintojaksoille haetaan opinto-oikeutta opintojaksokohtaisesti
LisätiedotS11-04 Kompaktikamerat stereokamerajärjestelmässä. Projektisuunnitelma
AS-0.3200 Automaatio- ja systeemitekniikan projektityöt S11-04 Kompaktikamerat stereokamerajärjestelmässä Projektisuunnitelma Ari-Matti Reinsalo Anssi Niemi 28.1.2011 Projektityön tavoite Projektityössä
LisätiedotENG-A1002 ARTS-ENG-Projekti. B-kori
ENG-A1002 ARTS-ENG-Projekti B-kori 11.4.2017 Innovatiivinen kuljetin B-korissa pyritään löytämään: uusi tai paranneltu tuotekonsepti kappaletavaroiden tai materiaalien käsittelyyn, siirtelyyn tai kuljetukseen.
LisätiedotElectric power steering
AS-0.3200 Automaatio- ja systeemitekniikan projektityöt Electric power steering Ohjausmoottorin jäähdytys ja ylikuumenemisen esto Väliraportti 15.10.2014 Työn ohjaaja: Ville Matikainen Tekijät: Samppa
LisätiedotOhjelmien automaattisen verifioinnin reunamailla
Ohjelmien automaattisen verifioinnin reunamailla Antti Siirtola Tietotekniikan laitos, Perustieteiden korkeakoulu, Aalto-yliopisto, antti.siirtola@aalto.fi Suomalainen Tiedeakatemia, Nuorten akatemiaklubi,
LisätiedotProjektisuunnitelma ja johdanto AS-0.3200 Automaatio- ja systeemitekniikan projektityöt Paula Sirén
Projektisuunnitelma ja johdanto AS-0.3200 Automaatio- ja systeemitekniikan projektityöt Paula Sirén Sonifikaatio Menetelmä Sovelluksia Mahdollisuuksia Ongelmia Sonifikaatiosovellus: NIR-spektroskopia kariesmittauksissa
LisätiedotS14 09 Sisäpeltorobotti AS Automaatio ja systeemitekniikan projektityöt. Antti Kulpakko, Mikko Ikonen
S14 09 Sisäpeltorobotti AS 0.3200 Automaatio ja systeemitekniikan projektityöt Antti Kulpakko, Mikko Ikonen 1. Projektin tavoitteet Projektin tavoitteena on toteuttaa ohjelmisto sisäpeltorobottiin seuraavien
LisätiedotOPISKELUTYÖN MITOITUS Opetuksen suunnittelun työväline, jolla arvioidaan opiskelijan työmäärää suhteessa 1 PERUSTIEDOT
OPISKELUTYÖN MITOITUS Opetuksen suunnittelun työväline, jolla arvioidaan opiskelijan työmäärää suhteessa 1 PERUSTIEDOT Tiedekunta Laitos Yksikkö Taso (kandidaatti, maisteri, jatkoopinnot) Moduuli Kurssikoodi
Lisätiedotitsmf Finland Conference 2016 Focus Markus Leinonen COBIT ja governance
itsmf Finland Conference 2016 Focus Markus Leinonen COBIT ja governance Markus Leinonen M.Sc. (Econ.), CIA, CISA Senior Manager, Internal Controls Cargotec Oyj 1984 1986 1992 1995 1997 1997 2002 2002 2008
LisätiedotESITUTKIMUS. Polku Versio 0.1. Projektiryhmä
ESITUTKIMUS Polku Versio 0.1 Projektiryhmä Janne Pihlajaniemi janne.pihlajaniemi@iki.fi Antti Jämsén antti.jamsen@uta.fi Maria Hartikainen maria.hartikainen@uta.fi Pekka Kallioniemi pekka.kallioniemi@uta.fi
LisätiedotKandidaatintyöprosessi Sähköenergiatekniikan laitoksella
kn 5.2.2009 Kandidaatintyöprosessi Sähköenergiatekniikan laitoksella Tiedoksi kandidaatintöiden ohjaajille: Valmistautuminen kandityön tekemiseen, esitietovaatimukset: Kandidaatintyö voidaan aloittaa tyypillisesti
LisätiedotTIETOJENKÄSITTELYTEORIAN PÄÄAINEEN KORVAAVUUSPERIAATTEET
Versiohistoria Ensimmäinen versio 14.3.2005 / Ilkka Niemelä Koulutusohjelmatoimikunnan kokouksessa 4.4.2005 esitetyt muutokset tehty 8.4.2005. TIETOJENKÄSITTELYTEORIAN PÄÄAINEEN KORVAAVUUSPERIAATTEET Tietojenkäsittelyteorian
LisätiedotSavonian suomen opinnot
Savonian suomen opinnot Mavasuomi B1.2 Muut suomen kurssit suomi Työelämän suomi B1.1 Suullinen suomi suomi B1.2 Pääsykoevalmennus suomi B2 Työkokeilu Suullinen suomi B2 suomi C1 Sairaanhoitajan suomi
LisätiedotMeidän paikka Haasteena havainnointi
Meidän paikka Haasteena havainnointi 31.8.-1.9. Luovaa teknologiaa, Trash Designia, arkkitehtuuri- ja muotoilukasvatusta peruskoulun yläluokille Niina Rossi 8/2018 Tekijät Heli-Maija Nevala, Niina Rossi
LisätiedotTurvallisen tekniikan seminaari 2015 Työpajapäivä, keskiviikko 3.6.
Työpajapäivä 2015 Turvallisen tekniikan seminaari 2015 Työpajapäivä, keskiviikko 3.6. Tampereen teknillinen yliopisto, Rakennustalo Turvallisen tekniikan pääseminaarin lisäksi järjestetään keskiviikkona
LisätiedotProjektiryhmä Tete Työajanseurantajärjestelmä. Riskienhallintasuunnitelma
Projektiryhmä Tete Työajanseurantajärjestelmä T-76.115 Tietojenkäsittelyopin ohjelmatyö/ 2(6) Muutoshistoria Versio PVM Tekijä Kuvaus 0.10 14.10.2003 Miikka Lötjönen Dokumenttipohja (projektisuunnitelman
LisätiedotKaksinkertainen mahtis
Luovat harjoitukset Kaksinkertainen mahtis Palautteenantoharjoitus tavoite: yksityiskohtainen palautteen sanallistaminen ja luokkakaverin vahvuuksien tukeminen ja kehittäminen kesto 20 min Tehdään ensin
LisätiedotKandidaatintyö Elektroniikan laitoksella. Kandidaatintyöluennot (Ala kirjoittaa! -luentosarja)
1 Kandidaatintyö Elektroniikan laitoksella Kandidaatintyövastaavat: Aki Korpela (sähkömagnetiikka) Jarmo Tanskanen (elektroniikka) Kandidaatintyö koostuu seuraavista osista: kandidaatintyöluennot, yhteiset
LisätiedotTalven kasvit. LUMASUOMI Koulutuksesta kouluun hanke. AIHE: Tutkin ja toimin ympäristössäni (EOPS 2014)
Talven kasvit AIHE: Tutkin ja toimin ympäristössäni (EOPS 2014) IKÄLUOKKA: esiopetusikäiset, sopii myös 1. vuosiluokalle TAVOITTEET: Opetuskokonaisuuden käsitteellisiin tavoitteisiin kuuluu metrin käsitteeseen
LisätiedotAdoptiomaatapaamisen järjestäminen
Adoptiomaatapaamisen järjestäminen 2016 Aina tulee yllätyksiä. Hyvällä suunnittelulla turvaa paljon, reagointikyvyllä ja hyvillä hermoilla pelastaa kaiken. Tekijä: Julia Kurki 2 Vapaaehtoistyö tapahtuman
LisätiedotCopyright by Haikala. Ohjelmistotuotannon osa-alueet
Copyright by Haikala Ohjelmistotuotannon osa-alueet Ohjelmiston elinkaari 1. Esitutkimus, tarvekartoitus, kokonaissuunnittelu, järjestelmäsuunnittelu (feasibility study, requirement study, preliminary
LisätiedotTik-111.5077. projektityö 2006-07. digitaalisten efektien työpaja * johdantoluento * 18.9.2006 Tassu Takala 1
Tik-111.5077 Sisällöntuotannonllöntuotannon projektityö 2006-07 digitaalisten efektien työpaja * johdantoluento * 18.9.2006 Tassu Takala 1 Tavoitteet ja sisältö Digitaalisten näyttämöefektien, (taide)installaatioiden
LisätiedotPerusaineiden laajan oppimäärän opinnot lukuvuosina , ja
TEKNILLINEN KORKEAKOULU Matematiikan laitos PERUSAINEIDEN LAAJA OPPIMÄÄRÄ Perusaineiden laajan oppimäärän opinnot lukuvuosina 1995-96, 1996-97 ja 1997-98 MATEMATIIKKA lukuvuosi 1997-98 Mat-1.301 Matematiikan
LisätiedotAUTOMAATIOTEKNIIKAN KOULUTUSOHJELMA
AUTOMAATIOTEKNIIKAN KOULUTUSOHJELMA Suomen teollisuuden kilpailukyky perustuu yhä enemmän tietotaitoon. Automaation avulla osaaminen voidaan hyödyntää tehostuvana tuotantona. Automaatiotekniikan koulutusohjelman
LisätiedotKE1 Ihmisen ja elinympäristön kemia
KE1 Ihmisen ja elinympäristön kemia Arvostelu: koe 60 %, tuntitestit (n. 3 kpl) 20 %, kokeelliset työt ja palautettavat tehtävät 20 %. Kurssikokeesta saatava kuitenkin vähintään 5. Uusintakokeessa testit,
LisätiedotTervetuloa opiskelemaan DIGITAALI- TEKNIIKKAA! Digitaalitekniikan matematiikka Luku 0 Sivu 1 (9)
Tervetuloa opiskelemaan DIGITAALI- TEKNIIKKAA! Digitaalitekniikan matematiikka Luku 0 Sivu 1 (9) Digitaalitekniikan matematiikka Luku 0 Sivu 2 (9) Yleistä opintojaksosta Laajuus 3 op = 80 h, kokonaan lukukauden
LisätiedotOpettajatuutoroinnissa ilmoittautuneita 192 analyysissä mukana 159 opiskelijan tiedot (HOPS:n täyttäneet)
Opiskelijatuutorointi 25-27 Syksy 25 Opintojen aloitusvuodet Opettajatuutoroinnissa 25-27 ilmoittautuneita 192 analyysissä mukana 159 opiskelijan tiedot (HOPS:n täyttäneet) Opintojen aloitusvuosi yliopistolla
LisätiedotTTY/OHJ: OHJ-3500 Ohjelmistotuotannon projektityö
TTY/OHJ: OHJ-3500 Ohjelmistotuotannon projektityö Jokaisessa yliopistossa ja AMK:ssa on projektityö-kurssi, mutta niillä kullakin on oma muotonsa, sisältönsä ja tavoitteensa. OHJ-3500 (laajuus 6-10 opintopistettä):
LisätiedotPorvoon kaupungin strategiatyön konsultointi
Porvoon kaupungin strategiatyön konsultointi 10.10.2012 1(5) Porvoon kaupunki pyytää tarjoustanne strategiatyön konsultoinnista. Hankintamenettely Hankintamenettely on avoin. Hankittavan palvelun sisältö
LisätiedotTEEMAHARJOITTELU- Sari Harmoinen KTK248 INFO
TEEMAHARJOITTELU- Sari Harmoinen sari.harmoinen@oulu.fi KTK248 INFO Palkatonta harjoittelua laaja-alaisesti erilaisissa kasvatusalan organisaatioissa (ks. Weboodi) Maisterivaiheen opiskelijoille 408038S
LisätiedotKOULUTUSOHJELMA JA TUTKINTONIMIKE: Artesaani. TUTKINNON OSA: Kulttuurin soveltaminen käsityöhön LAAJUUS: 10 ov TUTKINNON OSAN AMMATTITAITOVAATIMUKSET
TUTKINTO: Käsi- ja taideteollisuusalan perustutkinto KOULUTUSOHJELMA JA TUTKINTONIMIKE: Artesaani TYÖVALTAINEN OPETUSSUUNNITELMA TUTKINNON OSA: Kulttuurin soveltaminen käsityöhön LAAJUUS: 10 ov TUTKINNON
LisätiedotHarjoitustyö Case - HelpDesk
Harjoitustyö Case - HelpDesk Harjoitustyön Case: HelpDesk -sovellus Tietotekniikkatoimittaja AB ja asiakas X ovat viime vuonna sopineet mikrotukiyksikön ulkoistamisesta X:ltä AB:n liikkeenjohdon vastuulle.
LisätiedotDIG1 TYÖKALU GDPR- HALLINTAAN GDPR ONLINE ASSESSMENT TOOL
Dig1 GDPR Online Assessment Tool auttaa organisaatiotasi kartoittamaan nykytilan ja toteuttamaan EU:n tietosuojaasetuksen vaatimukset. Mistä on GDPR:ssä kysymys? EU:n tietosuoja-asetus eli GDPR on astunut
LisätiedotMallintarkastus. Mallin generointi. Esimerkki mallin SMV-kuvauksesta. Tila-avaruuden symbolinen esitys (I)
/ Kevät 2005 ML-10 1 Mallintarkastus / Kevät 2005 ML-10 3 Esimerkki mallin SMV-kuvauksesta Onko annettu lause P tosi annetussa mallissa M? Malli M: järjestelmän malli Saadaan järjestelmän kuvauksesta,
LisätiedotTulvat, kokeellinen oppilastyö, kesto n. 2 h. 1. Johdatus aiheeseen
Tuuli Rissanen Helsingin yliopiston tiedekasvatuskeskus 2018 Tulvat, kokeellinen oppilastyö, kesto n. 2 h Työn motivointi - Ilmastonmuutos tulee todennäköisesti lisäämään sateiden määrää ja intensiteettiä
LisätiedotTIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 5. marraskuuta 2015
TIEA24 Automaatit ja kieliopit, syksy 205 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 5. marraskuuta 205 Sisällys Käsiteanalyysiä Tarkastellaan koodilukkoa äärellisenä automaattina. Deterministinen äärellinen
LisätiedotMäärittelyvaihe. Projektinhallinta
Määrittelyvaihe Projektinhallinta testaus määrittely suunnittelu ohjelmointi käyttöönotto, testaus tuotteenhallinta laadunvarmistus dokumentointi vaatimustenhallinta Määrittely Määrittely, eli kansanomaisesti
LisätiedotUML-kielen formalisointi Object-Z:lla
UML-kielen formalisointi Object-Z:lla Kalvot ja seminaarityö WWW:ssä: http://users.jyu.fi/~minurmin/opiskelu/form/ UML UML == Unified Modelling Language. OMG:n standardoima kieli ohjelmistojärjestelmien,
LisätiedotTestauksen tuki nopealle tuotekehitykselle. Antti Jääskeläinen Matti Vuori
Testauksen tuki nopealle tuotekehitykselle Antti Jääskeläinen Matti Vuori Mitä on nopeus? 11.11.2014 2 Jatkuva nopeus Läpäisyaste, throughput Saadaan valmiiksi tasaiseen, nopeaan tahtiin uusia tuotteita
LisätiedotCopyright (2011) Suomen Automaatioseura. Esitys on ilmestynyt Suomen Automaatioseuran julkaisusarjassa nro 41.
This document is downloaded from the Digital Open Access Repository of VTT Title Mallintarkastus kriittisten automaatiojärjestelmien suunnittelun tueksi Author(s) Pakonen, Antti; Lahtinen, Jussi; Björkman,
LisätiedotHarjoitus 3 Case Face Wash. Raine Mäki, Laura Takkinen, Marika Östman, Otto Kataja
Harjoitus 3 Case Face Wash Raine Mäki, Laura Takkinen, Marika Östman, Otto Kataja Tunnistettuja ongelmia Katastrofaaliset ongelmat Kommunikointi Projektisuunnitelman puuttuminen Projektia ei aikataulutettu
LisätiedotHieman lisää malleista ja niiden hyödyntämisestä
Hieman lisää malleista ja niiden hyödyntämisestä Ohjelmistojen mallintaminen Kesä 2012 (Avoin yliopisto) Toni Ruokolainen, 23.8.2012 Mallit Mallit ovat todellisuuden abstraktioita, jotka on muodostettu
LisätiedotMiten TieVie-hankkeeni on edennyt?
Alumnialustus: Miten TieVie-hankkeeni on edennyt? Eila Järvenpää 1 Päivi Laine 2 Minna Vainio 3 1 assistentti, TY biokemian ja elintarvikekemian lts 2 suunnittelija, TY matemaattis-luonnontieteell. tdk
LisätiedotJuurisyiden oivaltaminen perustuu usein matemaattisiin menetelmiin, jotka soveltuvat oireiden analysointiin.
Juurisyiden oivaltaminen perustuu usein matemaattisiin menetelmiin, jotka soveltuvat oireiden analysointiin. Tämä pätee arkisten haasteiden ohella suuriin kysymyksiin: kestävä kehitys, talous, lääketiede,
LisätiedotKIELENOPPIJOITA TIEDONHANKINTA KESKIÖSSÄ KUUNTELEMALLA OPPIJA (AUDITIIVINEN) KIELEN KÄYTTÖ, VUOROVAIKUTUS NÄKEMÄLLÄ
KIELENOPPIJOITA KIELEN KÄYTTÖ, VUOROVAIKUTUS TIEDONHANKINTA KESKIÖSSÄ KUUNTELEMALLA OPPIJA (AUDITIIVINEN) TEKEMÄLLÄ OPPIJA (KINESTEETTINEN) LUOVA KIELENKÄYTTÄJÄ HOLISTINEN OPPIJA (KOKONAISUUDET TÄRKEITÄ)
LisätiedotHybridivalvomon tilatiedon hallinnan kehittäminen
AS-0.3200 Automaatio- ja systeemitekniikan projektityöt 17.10.2014 Väliraportti Työn suorittaja: Niklas Paganus Työn ohjaaja: Leena Salo Hybridivalvomon tilatiedon hallinnan kehittäminen Väliraporttiin
LisätiedotAutomaatio- ja systeemitekniikan projektityöt 2013
Automaatio- ja systeemitekniikan projektityöt 2013 AS- 0.3200 Kahvinuuttoprosessin automaatiojärjestelmä Projektin suunnitelmadokumentti Antti Kangasrääsiö 68950W Joonas Kröger 78651M 1. Johdanto Tämän
LisätiedotKurssin oppimistavoitteet. Heikki Lokki Kurssin suorituksen jälkeen osaat
Johdatus tietojenkäsittelytieteeseen - TVT-ajokortti (3 op) - Tietokone työvälineenä (1 op) - Opiskelutekniikka (2 op) - Johdatus tietojenkäsittelytieteeseen (4 op) Heikki Lokki 24.9.2008 Matemaattis-luonnontieteellinen
LisätiedotAiemmin opittu. Jakson tavoitteet. Ajankäyttö. Tutustu kirjaan!
Aiemmin opittu Perusopetuksen opetussuunnitelman mukaan seuraavat lukuihin ja laskutoimituksiin liittyvät sisällöt on käsitelty vuosiluokilla 3 5: kymmenjärjestelmä-käsitteen varmentaminen, tutustuminen
LisätiedotPOHJOIS-KARJALAN AMMATTIKORKEAKOULU Tietotekniikan koulutusohjelma. Mikael Partanen VAATIMUSMÄÄRITTELYT
POHJOIS-KARJALAN AMMATTIKORKEAKOULU Tietotekniikan koulutusohjelma Mikael Partanen VAATIMUSMÄÄRITTELYT Opinnäytetyö Syyskuu 2011 SISÄLTÖ 1 JOHDANTO... 3 2 KÄSITTEET... 3 2.1 Kiinteistöautomaatio... 3 2.2
LisätiedotJulkaistu Helsingissä 23 päivänä toukokuuta 2011. 518/2011 Työ- ja elinkeinoministeriön asetus
SUOMEN SÄÄDÖSKOKOELMA Julkaistu Helsingissä 23 päivänä toukokuuta 2011 518/2011 Työ- ja elinkeinoministeriön asetus sähköalan töistä annetun kauppa- ja teollisuusministeriön päätöksen muuttamisesta Annettu
LisätiedotVerkko-ohjaaja verkko- ja etäohjauspalvelut opintojen tukena ESR-hanke, 2015-2017 OULUN AMMATTIKORKEAKOULU
Verkko-ohjaaja verkko- ja etäohjauspalvelut opintojen tukena ESR-hanke, 2015-2017 OULUN AMMATTIKORKEAKOULU Tukena kampuksella ja verkossa. Verkkoviestinnän välineet osaksi opintojen ohjausta ja neuvontaa.
LisätiedotTIE-20200 Ohjelmistojen suunnittelu. Luento 2: protot sun muut
TIE-20200 Ohjelmistojen suunnittelu Luento 2: protot sun muut 1 Tämän päivän ohjelmaa Ryhmääntymisjutuista, ilmoittautumiskäytäntöä, Popista Työohjeen esivilkaisu Viime viikolla, erikoistamista, dynaamista
LisätiedotOHJEITA DIPLOMITYÖN LAATIMISEEN SOVELLETUN MEKANIIKAN LAITOKSELLA
9.6.2011 jani.romanoff@aalto.fi OHJEITA DIPLOMITYÖN LAATIMISEEN SOVELLETUN MEKANIIKAN LAITOKSELLA Yleistä Diplomityö muodostaa DI-tutkinnon keskeisen osan. Diplomityön avulla opiskellaan tieteellisen tutkimuksen
LisätiedotKurssiesite. Rakentamisen tekniikat RAK-C3004
RAK-C3004 Rakentamisen tekniikat Kurssiesite Syksy 2015, periodi I Hannu Hirsi (vastaava opettaja) & Lauri Salokangas & Jouko Pakanen & Johannes Hämeri & Toomla Sander & Markku Ylinen & vierailevat tähtiluennoitsijat
LisätiedotMiten voin selvittää säästömahdollisuuteni ja pääsen hyötymään niistä?
Se edullisempi tietokanta Miten voin selvittää säästömahdollisuuteni ja pääsen hyötymään niistä? Rasmus Johansson rasmus.johansson@microsoft.com Ratkaisumyyntipäällikkö (Sovellusalusta) Microsoft Oy Miten
LisätiedotHarjoittelu P. Kauppatieteiden kandidaatin tutkinto-ohjelma. Oulun yliopiston kauppakorkeakoulu
. Harjoittelu 724100P Kauppatieteiden kandidaatin tutkinto-ohjelma Oulun yliopiston kauppakorkeakoulu 2019 Harjoittelu (724100P, 5 op) opintojakson kuvaus Kauppatieteiden kandidaatin tutkinto-ohjelmassa
LisätiedotTaito- ja taideaineiden valinnaisuus 4.-6.luokille lukuvuonna 2016-2017. Haarajoen koulu
Taito- ja taideaineiden valinnaisuus 4.-6.luokille lukuvuonna 2016-2017 Haarajoen koulu 4.3.2016 Taito- ja taideaineiden valinnaisuus 4.-6.luokkien oppilaille Uuden opetussuunnitelman mukaisesti taito-
Lisätiedot