Suoritettavien RTSA-mallien prototypointi

Marko Heikkinen

Research output: Book/ReportReport

Abstract

Tässä työssä toteutetaan RTSA-spesikaatioiden graafista suoritusympäristöä (Espex) täydentävä suunnitteluprosessin tukijärjestelmä Spade. Sen avulla pyritään luokittelemaan ja tekemään näkyväksi ohjelmistosuunnittelussa tarvittavaa uudelleenkäytettävää tietämystä. Tätä havainnollistetaan esimerkkispesifikaation toteutuksen avulla. Suoritusympärtstöä täydennetään ominaisuuksilla, joiden avulla spesiaatio voidaan tarkentaa prototyyppiasteelle eli siihen voidaan liittää toteutusmallin suorituksessa tarvittavia ominaisuuksia ja se voidaan allokoida suoritusyksiköille. Esimerkkinä käytettävä todellisesta tuotekehitysprojektista peräisin oleva RTSA-spesifikaatio muokataan suoritettavaksi ja sitä testataan Espex-ympäristössä. Spade-tukijajärjestelmän toimintaa kokeillaan esimerkkimallin avulla. Näin saatuihin allokoituihin malleihin liitetään toteutusmallin suorituksen tarvitsemat lisäpiirteet ja malleja testataan Espexin simulointipiirteiden avulla. Lopuksi vertaillaan Espex-tyyppisen graafisen toteutusmallin simuloinnin ja lopputuotekelpoista koodia testaavan MOSIM-työasematestausympäristön tarjoamaa tukea ja palautetta suunnittelutyölle.
Original languageFinnish
Place of PublicationEspoo
PublisherVTT Technical Research Centre of Finland
Number of pages92
ISBN (Print)951-38-3935-4
Publication statusPublished - 1991
MoE publication typeD4 Published development or research report or study

Publication series

SeriesValtion teknillinen tutkimuskeskus. Tutkimuksia - Research Reports
Number722
ISSN0358-5077

Keywords

  • embedded systems
  • real time structured analysis
  • rapid prototyping
  • software reusability
  • executable specifications

Cite this

Heikkinen, M. (1991). Suoritettavien RTSA-mallien prototypointi. VTT Technical Research Centre of Finland. Valtion teknillinen tutkimuskeskus. Tutkimuksia - Research Reports, No. 722