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. Espoo: VTT Technical Research Centre of Finland. Valtion teknillinen tutkimuskeskus. Tutkimuksia - Research Reports, No. 722
Heikkinen, Marko. / Suoritettavien RTSA-mallien prototypointi. Espoo : VTT Technical Research Centre of Finland, 1991. 92 p. (Valtion teknillinen tutkimuskeskus. Tutkimuksia - Research Reports; No. 722).
@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",

}

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

Suoritettavien RTSA-mallien prototypointi. / Heikkinen, Marko.

Espoo : VTT Technical Research Centre of Finland, 1991. 92 p. (Valtion teknillinen tutkimuskeskus. Tutkimuksia - Research Reports; No. 722).

Research output: Book/ReportReport

TY - BOOK

T1 - Suoritettavien RTSA-mallien prototypointi

AU - Heikkinen, Marko

PY - 1991

Y1 - 1991

N2 - 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.

AB - 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.

KW - embedded systems

KW - real time structured analysis

KW - rapid prototyping

KW - software reusability

KW - executable specifications

M3 - Report

SN - 951-38-3935-4

T3 - Valtion teknillinen tutkimuskeskus. Tutkimuksia - Research Reports

BT - Suoritettavien RTSA-mallien prototypointi

PB - VTT Technical Research Centre of Finland

CY - Espoo

ER -

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