search query: @author Honkola, Jukka / total: 1
reference: 1 / 1
« previous | next »
Author: | Honkola, Jukka |
Title: | Modeling the SpaceWire Network Architecture with the Lyra Method |
SpaceWire verkkoarkkitehtuurin mallintaminen Lyra menetelmällä | |
Publication type: | Master's thesis |
Publication year: | 2006 |
Pages: | vii+57 Language: eng |
Department/School: | Tietotekniikan osasto |
Main subject: | Tietojenkäsittelyteoria (T-119) |
Supervisor: | Niemelä, Ilkka |
Instructor: | Leppänen, Sari ; Heljanko, Keijo |
OEVS: | Electronic archive copy is available via Aalto Thesis Database.
Instructions Reading digital theses in the closed network of the Aalto University Harald Herlin Learning CentreIn the closed network of Learning Centre you can read digital and digitized theses not available in the open network. The Learning Centre contact details and opening hours: https://learningcentre.aalto.fi/en/harald-herlin-learning-centre/ You can read theses on the Learning Centre customer computers, which are available on all floors.
Logging on to the customer computers
Opening a thesis
Reading the thesis
Printing the thesis
|
Location: | P1 Ark Aalto | Archive |
Keywords: | model based design UML2 Lyra model checking TVT mallipohjainen kehitys mallintarkastus |
Abstract (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 record number: 32140
+ add basket
« previous | next »
INSSI