[dipl] Teknillinen korkeakoulu / TKK

Permanent URI for this collectionhttps://aaltodoc.aalto.fi/handle/123456789/40621

Browse

Browsing [dipl] Teknillinen korkeakoulu / TKK by Degree programme/Major subject "Digitaalitekniikka"

Filter results by typing the first few letters
Now showing 1 - 20 of 164
  • Aikajakoisen puhelinkeskuksen digitaalinen monitaajuusvastaanotin ja -lähetin
    (1975) Veijalainen, Jorma
     Helsinki University of Technology | Master's thesis
  • Älykkään digitointikameraliitännän suunnittelu työasematietokoneeseen
    (1985) Vaskuri, Ilkka
     Helsinki University of Technology | Master's thesis
  • Älykkään kassapäätteen keskusyksikön suunnittelu
    (1982) Hovinen, Pauli
     Helsinki University of Technology | Master's thesis
  • Analysis of cryptographic protocols via symbolic state space enumeration
    (1999) Huima, Antti
     Helsinki University of Technology | Master's thesis
    Kryptografiset protokollat ovat keskeisessä asemassa tietoturvaratkaisuja kehitettäessä. Monet suunnitelluista turvallisuusprotokollista on havaittu myöhemmin rakenteeltaan virheellisiksi. Virheet protokollan loogisessa rakenteessa voivat mahdollistaa erilaisia hyökkäyksiä protokollaa vastaan. Pahimmassa tapauksessa tuloksena ovat suuret taloudelliset ja muunlaiset menetykset. Tästä syystä tieteellisessä kirjallisuudessa onkin esitetty useita menetelmiä kryptografisten protokollien formaalia verifiointia varten. Tässä työssä esitetään uusi formaali menetelmä tietoturvaprotokollien analysoimiseksi. Analyysimenetelmä perustuu symbolisen tilahakuun. Symbolinen tilahaku itsessään on yleiskäsite joka viittaa luokkaan rinnakkaisten järjestelmien käyttäytymistä tutkittaessa käytettäviä menetelmiä. Symbolinen tilahaku mahdollistaa äärettömän tila-avaruuden läpikäymisen äärellisessä ajassa. Kryptografisia operaatioita mallinnetaan työssä algebrojen ja uudelleenkirjoitusjärjestelmien avulla. Yleensä mallit jotka käyttävät uudelleenkirjoitusjärjestelmiä toteutetaan narrowing-algoritmin muunnelmilla. Tässä työssä narrowing-algoritmia ei tarvita uuden, vaihtoehtoisen lähestymistavan vuoksi joka on sidottu kiinteästi koko hakuprosessiin. Rinnakkaisten järjestelmien formaalissa analyysissa voidaan tyypillisesti suurin osa datasta abstrahoida pois. Tietoturvaprotokollien kohdalla tilanne on toinen, koska nimenomaan siirretyt viestit ovat kiinnostavia. Suurin osa esitellyn symbolisen menetelmän monimutkaisuudesta johtuukin tarpeesta käsitellä äärettömiä termijoukkoja ja niiden välisiä suhteita uudelleenkirjoitusjärjestelmien alaisuudessa. Perusmenetelmän lisäksi työssä esitellään symmetriamenetelmä symbolisille tiloille ja menetelmä joidenkin symbolisten tilojen alisteisuussuhteiden havaitsemiseksi. Analysointimenetelmän lisäksi myös menetelmästä tehty loppukäyttäjätoteutus esitellään. Ohjelmisto on toteutettu Scheme-ohjelmointikielellä. Työ jakautuu kahteen osaan. Ensimmäinen osa esittää teoreettisen menetelmän. Toinen osa keskittyy toteutukseen ja sisältää esimerkin.
  • Anodivaluvaa'an mikroprosessoripohjaisen ohjausjärjestelmän suunnittelu
    (1985) Kylä-Heikkilä, Väinö
     Helsinki University of Technology | Master's thesis
  • An Architecture for Dynamic Software Upgrading Over-the-air in Mobile Systems
    (2001) Katajavuori, Jari
     Helsinki University of Technology | Master's thesis
    Langattomien ja liikkuvien eli mobiilien kulutuselektroniikkatuotteiden tiivistahtinen kehitystyö johtaa käytettävän ohjelmiston Iyhyeen elinkaareen ja luo paineita mahdollistaa tuotteen ohjelmiston päivittäminen oston jälkeen. Kyseessä olevissa laitteissa käytettävä tekniikka mahdollistaa käyttäjäystävällisen, automaattisen ja sijainnista riippumattoman ohjelmistopäivityksen. Tässä työssä esitetään mobiililaitteiden ohjelmistoarkkitehtuuri ilmarajapinnan yli tapahtuvaa dynaamista ohjelmiston päivitystä varten. Jotta arkkitehtuuri olisi riittävän helposti sovitettavissa erilaisiin järjestelmäarkkitehtuureihin, on työssä käytetty domain analyysi -menetelmää arkkitehtuurin vaatimustein määrittelyssä ja mallien luomisessa. Tarvittava dynaamisen uudelleenkonfiguroinnin algoritmi on eriytetty varsinaisesta ohjelmistoarkkitehtuurista, että tuloksena olisi mahdollisimman joustava ja korkealla abstraktiotasolla oleva arkkitehtuuri. Työssä näytetään, että tämä lähestymistapa tuottaa kokonaisuutena annetut vaatimukset täyttävän tuloksen. Kaikkien vaatimusten täyttämiseksi tarvitaan kuitenkin myös dynaamisen uudelleenkonfiguroinnin algoritmin määrittely. Työssä esitetään dynaamisen ohjelmistopäivityksen arkkitehtuurin staattisten osien malli määriteltynä Wright-arkkitehtuurinmäärittelykielellä, sekä perusteet, joilla dynaaminen osa malliin voidaan lisätä. Tämä antaa hyvän lähtökohdan työn jatkamiselle tulevaisuudessa.
  • Tekoäly valuprosessin suunnittelussa
    (1994) Saarhelo, Jari
     Helsinki University of Technology | Master's thesis
  • Översättning av Auto-G till Ada
    (1989) Hemdal, Kari
     Helsinki University of Technology | Master's thesis
  • Automated Testing of Buchi Automata Translators for Linear Temporal Logic
    (2000) Tauriainen, Heikki
     Helsinki University of Technology | Master's thesis
    Äärellistilaisia reaktiivisia ja rinnakkaisia järjestelmiä voidaan verifioida formaalisti tutkimalla temporaalilogiikkojen avulla esitettyjen ominaisuuksien toteutuvuutta järjestelmistä tehdyissä malleissa. Tätä mallintarkastukseksi kutsuttua verifiointia voidaan tehdä automaattisten työkaluohjelmien avulla. Automaattisten työkalujen käyttö järjestelmien oikeellisuuden tarkistamiseen vaatii työkaluilta kuitenkin ehdotonta luotettavuutta, ja siksi niiden toteutuksen oikeellisuuteen on kiinnitettävä paljon huomiota. Työssä esitetään menetelmiä, joilla voidaan havaita virheitä lineaarisen ajan temporaalilogiikan ominaisuuksien automaattiteoreettisista mallintarkastusalgoritmeista, joiden tehtävänä on muuntaa annettu ominaisuus Bchi-tilakoneeksi. Suurin osa esitetyistä menetelmistä on toteutettu testaustyökaluun, jonka avulla voidaan etsiä muunnosalgoritmien toteutusvirheitä. Työssä esitellään tulokset, jotka saatiin soveltamalla testimenetelmiä olemassa olevien mallintarkastustyökalujen algoritmitoteutuksiin satunnaista syötettä tuottavan testausohjelman avulla. Tämä testaus on käytännössä osoittautunut toimivaksi menetelmäksi, jonka avulla on löydetty virheitä olemassa olevista algoritmitoteutuksista. Työssä kuvataan myös lineaarisen ajan temporaalilogiikan mallintarkastusalgoritmi, jota voidaan käyttää tietyt yksinkertaiset rakenteelliset ominaisuudet täyttävissä järjestelmissä. Tämän algoritmin avulla voidaan tutkia testeissä havaittuja poikkeamia ja todistaa jokin testatuista algoritmitoteutuksista virheelliseksi automaattisesti.
  • Autoradiopuhelinjärjestelmän mikrotietokonepohjaisen tyyppihyväksyntämittalaitteiston ja ohjelmiston suunnittelu
    (1985) Konttinen, Jari
     Helsinki University of Technology | Master's thesis
  • Soluverkkoprotokollien tietokoneavusteinen testaus
    (1994) Hakulinen, Kari
     Helsinki University of Technology | Master's thesis
  • Conformance testing in a distributed testing architecture
    (1995) Rautiainen, Aapo
     Helsinki University of Technology | Master's thesis
  • Constructing Combinatorial Designs by Local Search
    (1993) Nurmela, Kari J.
     Helsinki University of Technology | Master's thesis
  • Controlling and Monitoring a Distributed ISP Environment
    (1999) Palonen, Janne
     Helsinki University of Technology | Master's thesis
    Internetistä on tullut hyvin suosittu väline tarjota maailmanlaajuisia hajautettuja palveluita loppukäyttäjille. Perinteisiä keskitettyjä järjestelmähallintaratkaisuja, jotka käyttävät client-server tai manager-agent -tyyppisiä ratkaisuja, on usein hankala kasvattaa palveluiden tai käyttäjien lisääntyessä ja ne ovat riskialttiita olosuhteissa, joissa kymmeniä tai satoja tietokoneita on hajasijoitettu etäälle toisistaan. Yksi kone voi palvella satojakin käyttäjiä. Ohjelmistoagentit tarjoavat mielenkiintoisen ratkaisun tällaisten laajalle hajautettujen järjestelmien hallintaan. Ohjelmistoagentti on itsessään täydellinen ohjelmistokomponentti, jolla on mahdollisuus itsenäiseen suoritukseen ja joka suorittaa toimintoja jonkun henkilön tai toisen ohjelman puolesta. Itsenäisen toiminnan lisäksi se reagoi ympäristön tilan muutoksiin ja on jatkuvasti valmis toimintaan. Ohjelmistoagentti voi myös olla aloitteellinen, kommunikoiva, yhteistyökykyinen (muiden agenttien kanssa), oppiva, sopeutuva ja liikkuva. Ohjelmistoagenttien uskotaan helpottavan monimutkaisten sekä hajautettujen järjestelmien suunnittelua ja toteutusta. Tässä diplomityössä on vertailtu erilaisia hajautettuja suoritusmalleja. Koodin liikkumista ja mobiileja agentteja on käsitelty tarkemmin. Lisäksi on tarkasteltu ohjelmointikieleltä vaadittavia ominaisuuksia koodin liikuttelun kannalta, sekä agenttiteknologian soveltuvuutta ongelmanratkaisuun. Lopuksi on esitelty lukuisia mobiilien agenttien kehitysalustoja, sekä hahmoteltu järjestelmä hajautetun sovellusympäristön ohjaukseen ja seurantaan. Mobiilit agentit osoittautuivat soveltuvan tällaisen järjestelmän mallittamiseen.
  • A customized very long intruction word processor for Viterbi decoding
    (2000) Rosendahl, Viktor
     Helsinki University of Technology | Master's thesis
  • Suomen kielen lauseenjäsennysympäristön suunnittelu ja toteutus
    (1996) Nykänen, Asko
     Helsinki University of Technology | Master's thesis
  • Julkisen riskirahoittajan tietojärjestelmän suunnittelu ja toteutus
    (1990) Malka, Mauri Kalevi
     Helsinki University of Technology | Master's thesis
  • UNIX-ympäristössä toimivan ohjelmistoliitännän suunnittelu ja verkkoteoreettinen analysointi
    (1991) Varpaaniemi, Kimmo
     Helsinki University of Technology | Master's thesis
  • ISDN-liittymän merkinannon siirtokerroksen yhteyskäytännön toteutuksen suunnittelu
    (1988) Pajuvirta, Juha
     Helsinki University of Technology | Master's thesis