Modeling the SpaceWire Network Architecture with the Lyra Method

No Thumbnail Available
Journal Title
Journal ISSN
Volume Title
Helsinki University of Technology | Diplomityö
Checking the digitized thesis and permission for publishing
Instructions for the author
Date
2006
Major/Subject
Tietojenkäsittelyteoria
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ä, Ilkka
Thesis advisor
Leppänen, Sari
Heljanko, Keijo
Keywords
model based design, mallipohjainen kehitys, UML2, mallintarkastus, Lyra, model checking, TVT
Other note
Citation