haku: @instructor Heljanko, Keijo / yhteensä: 44
viite: 38 / 44
Tekijä: | Honkola, Jukka |
Työn nimi: | Modeling the SpaceWire Network Architecture with the Lyra Method |
SpaceWire verkkoarkkitehtuurin mallintaminen Lyra menetelmällä | |
Julkaisutyyppi: | Diplomityö |
Julkaisuvuosi: | 2006 |
Sivut: | vii+57 Kieli: eng |
Koulu/Laitos/Osasto: | Tietotekniikan osasto |
Oppiaine: | Tietojenkäsittelyteoria (T-119) |
Valvoja: | Niemelä, Ilkka |
Ohjaaja: | Leppänen, Sari ; Heljanko, Keijo |
OEVS: | Sähköinen arkistokappale on luettavissa Aalto Thesis Databasen kautta.
Ohje Digitaalisten opinnäytteiden lukeminen Aalto-yliopiston Harald Herlin -oppimiskeskuksen suljetussa verkossaOppimiskeskuksen suljetussa verkossa voi lukea sellaisia digitaalisia ja digitoituja opinnäytteitä, joille ei ole saatu julkaisulupaa avoimessa verkossa. Oppimiskeskuksen yhteystiedot ja aukioloajat: https://learningcentre.aalto.fi/fi/harald-herlin-oppimiskeskus/ Opinnäytteitä voi lukea Oppimiskeskuksen asiakaskoneilla, joita löytyy kaikista kerroksista.
Kirjautuminen asiakaskoneille
Opinnäytteen avaaminen
Opinnäytteen lukeminen
Opinnäytteen tulostus
|
Sijainti: | P1 Ark Aalto | Arkisto |
Avainsanat: | model based design UML2 Lyra model checking TVT mallipohjainen kehitys mallintarkastus |
Tiivistelmä (fin): | Hajautettujen järjestelmien suunnittelu on haastava tehtävä. Haastavuus on seurausta rinnakkaisuudesta johtuvasta monimutkaisuudesta, jonka hallintaan tarvitaan täsmällisiä suunnittelumenetelmiä. Lyra on esimerkki mallipohjaisesta suunnittelumenetelmästä hajautetuille palveluarkkitehtuureille. Lyrassa järjestelmä rakennetaan jalostamalla mallia vähitellen aloittaen abstraktista palvelumäärittelymallista. Hajautettujen järjestelmien testaus perinteisten, ei-rinnakkaisia järjestelmiä varten kehitettyjen testausmenetelmien avulla on hankalaa. Monia rinnakkaisuuteen liittyviä virheitä on vaikea havaita ilman kehittyneempiä menetelmiä. Yksi käytetty menetelmä virheiden löytämiseksi on mallintarkastus. Mallintarkastusmenetelmissä pyritään osoittamaan, että järjestelmällä on joitakin tiettyjä ominaisuuksia tarkastelemalla järjestelmän mallin täydellistä käyttäytymistä. Tässä työssä on mallinnettu SpaceWire -verkkoarkkitehtuuri Lyra-menetelmän mukaisesti. Mallintarkastusmenetelmien käyttöä kokeillaan mallin jalostuksen oikeellisuuden tarkastamiseksi. Lyran tiukat mallinnussäännöt tuovat tarpeellista tarkkuutta järjestelmän kehitykseen, mutta toisaalta tekevät menetelmästä hieman rajoittavan erityisesti mallinnettaessa käyttäytymistä. Kokeiltaessa jalostuksen tarkastamista havaitaan tarve tutkia tarkemmin tarkastukseen sopivia relaatioita. |
ED: | 2006-07-07 |
INSSI tietueen numero: 32140
+ lisää koriin
INSSI