An interpreter for heterogeneous prototypes of embedded software: Dissertation

Petri Pulli

Research output: ThesisDissertationCollection of Articles

Abstract

A recent software development process model, the spiral model proposed by Boehm, suggests heterogeneous development where the high risk elements of the software are evaluated first, before entering detailed elaboration of low risk elements. The spiral model presents a major challenge to future software prototyping tools which, to be useful, must support prototyping at different phases of the development process and must support heterogeneous prototypes, i.e. prototypes that consist of parts that represent different abstraction levels of the software to be produced. We present an interpreter supporting heterogeneous prototypes of embedded systems based on executable specification techniques. The interpreter is based on defining a mapping from an extended data flow diagram notation, the transformation schema, to high level Petri nets, and a set of scheduling algorithms for execution of system models of different levels of abstraction. We have demonstrated the capability of the interpreter by constructing experimental prototyping tools supporting three of the abstraction levels proposed by the Ward & Mellor Structured Analysis for Real Time Systems (SA/RT) method. For an SA/RT logical model the interpreter supports graphical animation as a means of prototyping. For physical design models the interpreter supports both graphical animation and real time execution.
Original languageEnglish
QualificationDoctor Degree
Awarding Institution
  • University of Oulu
Supervisors/Advisors
  • Pietikäinen, Matti, Supervisor, External person
Award date7 Jun 1991
Place of PublicationEspoo
Publisher
Print ISBNs951-38-3948-6
Publication statusPublished - 1991
MoE publication typeG5 Doctoral dissertation (article)

Fingerprint

Embedded software
Real time systems
Animation
Software prototyping
Scheduling algorithms
Petri nets
Embedded systems
Software engineering
Specifications

Keywords

  • software engineering
  • embedded computer systems
  • prototyping
  • structured analysis
  • Petri nets

Cite this

Pulli, P. (1991). An interpreter for heterogeneous prototypes of embedded software: Dissertation. Espoo: VTT Technical Research Centre of Finland.
Pulli, Petri. / An interpreter for heterogeneous prototypes of embedded software : Dissertation. Espoo : VTT Technical Research Centre of Finland, 1991.
@phdthesis{c4db0066d8ae4d01a535b327139f35a9,
title = "An interpreter for heterogeneous prototypes of embedded software: Dissertation",
abstract = "A recent software development process model, the spiral model proposed by Boehm, suggests heterogeneous development where the high risk elements of the software are evaluated first, before entering detailed elaboration of low risk elements. The spiral model presents a major challenge to future software prototyping tools which, to be useful, must support prototyping at different phases of the development process and must support heterogeneous prototypes, i.e. prototypes that consist of parts that represent different abstraction levels of the software to be produced. We present an interpreter supporting heterogeneous prototypes of embedded systems based on executable specification techniques. The interpreter is based on defining a mapping from an extended data flow diagram notation, the transformation schema, to high level Petri nets, and a set of scheduling algorithms for execution of system models of different levels of abstraction. We have demonstrated the capability of the interpreter by constructing experimental prototyping tools supporting three of the abstraction levels proposed by the Ward & Mellor Structured Analysis for Real Time Systems (SA/RT) method. For an SA/RT logical model the interpreter supports graphical animation as a means of prototyping. For physical design models the interpreter supports both graphical animation and real time execution.",
keywords = "software engineering, embedded computer systems, prototyping, structured analysis, Petri nets",
author = "Petri Pulli",
note = "Project code: TKO8002",
year = "1991",
language = "English",
isbn = "951-38-3948-6",
series = "Technical Research Centre of Finland. Publications",
publisher = "VTT Technical Research Centre of Finland",
number = "79",
address = "Finland",
school = "University of Oulu",

}

Pulli, P 1991, 'An interpreter for heterogeneous prototypes of embedded software: Dissertation', Doctor Degree, University of Oulu, Espoo.

An interpreter for heterogeneous prototypes of embedded software : Dissertation. / Pulli, Petri.

Espoo : VTT Technical Research Centre of Finland, 1991.

Research output: ThesisDissertationCollection of Articles

TY - THES

T1 - An interpreter for heterogeneous prototypes of embedded software

T2 - Dissertation

AU - Pulli, Petri

N1 - Project code: TKO8002

PY - 1991

Y1 - 1991

N2 - A recent software development process model, the spiral model proposed by Boehm, suggests heterogeneous development where the high risk elements of the software are evaluated first, before entering detailed elaboration of low risk elements. The spiral model presents a major challenge to future software prototyping tools which, to be useful, must support prototyping at different phases of the development process and must support heterogeneous prototypes, i.e. prototypes that consist of parts that represent different abstraction levels of the software to be produced. We present an interpreter supporting heterogeneous prototypes of embedded systems based on executable specification techniques. The interpreter is based on defining a mapping from an extended data flow diagram notation, the transformation schema, to high level Petri nets, and a set of scheduling algorithms for execution of system models of different levels of abstraction. We have demonstrated the capability of the interpreter by constructing experimental prototyping tools supporting three of the abstraction levels proposed by the Ward & Mellor Structured Analysis for Real Time Systems (SA/RT) method. For an SA/RT logical model the interpreter supports graphical animation as a means of prototyping. For physical design models the interpreter supports both graphical animation and real time execution.

AB - A recent software development process model, the spiral model proposed by Boehm, suggests heterogeneous development where the high risk elements of the software are evaluated first, before entering detailed elaboration of low risk elements. The spiral model presents a major challenge to future software prototyping tools which, to be useful, must support prototyping at different phases of the development process and must support heterogeneous prototypes, i.e. prototypes that consist of parts that represent different abstraction levels of the software to be produced. We present an interpreter supporting heterogeneous prototypes of embedded systems based on executable specification techniques. The interpreter is based on defining a mapping from an extended data flow diagram notation, the transformation schema, to high level Petri nets, and a set of scheduling algorithms for execution of system models of different levels of abstraction. We have demonstrated the capability of the interpreter by constructing experimental prototyping tools supporting three of the abstraction levels proposed by the Ward & Mellor Structured Analysis for Real Time Systems (SA/RT) method. For an SA/RT logical model the interpreter supports graphical animation as a means of prototyping. For physical design models the interpreter supports both graphical animation and real time execution.

KW - software engineering

KW - embedded computer systems

KW - prototyping

KW - structured analysis

KW - Petri nets

M3 - Dissertation

SN - 951-38-3948-6

T3 - Technical Research Centre of Finland. Publications

PB - VTT Technical Research Centre of Finland

CY - Espoo

ER -

Pulli P. An interpreter for heterogeneous prototypes of embedded software: Dissertation. Espoo: VTT Technical Research Centre of Finland, 1991.