Modeling the SpaceWire Network Architecture with the Lyra Method
Loading...
URL
Journal Title
Journal ISSN
Volume Title
Helsinki University of Technology |
Diplomityö
Checking the digitized thesis and permission for publishing
Instructions for the author
Instructions for the author
Authors
Date
Department
Major/Subject
Mcode
T-119
Degree programme
Language
en
Pages
vii+57
Series
Abstract
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.Description
Supervisor
Niemelä, IlkkaThesis advisor
Leppänen, SariHeljanko, Keijo