@book{42215e8ce15345129bed72ed6047e084,
title = "Suoritettavien RTSA-mallien prototypointi",
abstract = "T{\"a}ss{\"a} ty{\"o}ss{\"a} toteutetaan RTSA-spesikaatioiden graafista suoritusymp{\"a}rist{\"o}{\"a} (Espex) t{\"a}ydent{\"a}v{\"a} suunnitteluprosessin tukij{\"a}rjestelm{\"a} Spade. Sen avulla pyrit{\"a}{\"a}n luokittelemaan ja tekem{\"a}{\"a}n n{\"a}kyv{\"a}ksi ohjelmistosuunnittelussa tarvittavaa uudelleenk{\"a}ytett{\"a}v{\"a}{\"a} tiet{\"a}myst{\"a}. T{\"a}t{\"a} havainnollistetaan esimerkkispesifikaation toteutuksen avulla. Suoritusymp{\"a}rtst{\"o}{\"a} t{\"a}ydennet{\"a}{\"a}n ominaisuuksilla, joiden avulla spesiaatio voidaan tarkentaa prototyyppiasteelle eli siihen voidaan liitt{\"a}{\"a} toteutusmallin suorituksessa tarvittavia ominaisuuksia ja se voidaan allokoida suoritusyksik{\"o}ille. Esimerkkin{\"a} k{\"a}ytett{\"a}v{\"a} todellisesta tuotekehitysprojektista per{\"a}isin oleva RTSA-spesifikaatio muokataan suoritettavaksi ja sit{\"a} testataan Espex-ymp{\"a}rist{\"o}ss{\"a}. Spade-tukijaj{\"a}rjestelm{\"a}n toimintaa kokeillaan esimerkkimallin avulla. N{\"a}in saatuihin allokoituihin malleihin liitet{\"a}{\"a}n toteutusmallin suorituksen tarvitsemat lis{\"a}piirteet ja malleja testataan Espexin simulointipiirteiden avulla. Lopuksi vertaillaan Espex-tyyppisen graafisen toteutusmallin simuloinnin ja lopputuotekelpoista koodia testaavan MOSIM-ty{\"o}asematestausymp{\"a}rist{\"o}n tarjoamaa tukea ja palautetta suunnitteluty{\"o}lle.",
keywords = "embedded systems, real time structured analysis, rapid prototyping, software reusability, executable specifications",
author = "Marko Heikkinen",
year = "1991",
language = "Finnish",
isbn = "951-38-3935-4",
series = "Valtion teknillinen tutkimuskeskus. Tutkimuksia - Research Reports",
publisher = "VTT Technical Research Centre of Finland",
number = "722",
address = "Finland",
}