The model execution kernel of a real-time software prototyping environment: Master's thesis

Research output: ThesisMaster's thesisTheses

Abstract

Execution techniques for Ward and Mellor's Structured Analysis for Real-Time Systems (SA/RT) software models are studied in the framework of the IPTES prototyping environment. IPTES is an acronym for "Incremental Prototyping Technology for Embedded real-time Systems". SA/RT model execution in the IPTES environment is based on the High-Level Timed Petri Net Kernel (HLTPNK). The kernel has no direct visibility to the user but rather provides an internal framework to be used for model execution. The kernel is built upon a mathematically well-defined formalism, High-Level Timed Petri Nets (HLTPN). The overall function of the HLTPNK is to provide facilities for the configuration, manipulation, and execution of system models expressed with High-Level Timed Petri Nets. An experimental High-Level Timed Petri Net Kernel is designed using object-oriented design techniques. The design is validated by graphical animation. For visual prototyping of the kernel, a dynamic object instantiation technique is developed for Wassemmann's Object-Oriented Structured Design (OOSD). The developed technique provides a basis for graphical animation not only for the HLTPNK model but for other large object-oriented models as well. A prototype implementation of the HLTPNK is developed using the C++ language. The prototype is used in evaluating the performance and timing aspects of the kernel. On the basis of the performance measurements and analysis, the implementation is tuned to support high-speed execution of HLTPN mapped from the SA/RT model. For the kernel execution, a user interface is developed enabling the progress of the execution of models to be monitored. Both the executable design model and the implementation of the HLTPNK provide a platform for further development of the IPTES prototyping environment. The kernel provides an open platform for further research of scheduling algorithms, distribution protocols, and code generation.
Original languageEnglish
QualificationMaster Degree
Awarding Institution
  • University of Oulu
Supervisors/Advisors
  • Silvén, Olli, Supervisor, External person
  • Seppänen, Tapio, Supervisor, External person
Place of PublicationEspoo
Publisher
Print ISBNs951-38-4242-8
Publication statusPublished - 1992
MoE publication typeG2 Master's thesis, polytechnic Master's thesis

Fingerprint

Software prototyping
Petri nets
Real time systems
Animation
Scheduling algorithms
Embedded systems
Visibility
User interfaces

Keywords

  • software engineering
  • prototyping
  • real-time systems
  • object oriented programming

Cite this

@phdthesis{829460e5b1d346b3ab238dacf636f792,
title = "The model execution kernel of a real-time software prototyping environment: Master's thesis",
abstract = "Execution techniques for Ward and Mellor's Structured Analysis for Real-Time Systems (SA/RT) software models are studied in the framework of the IPTES prototyping environment. IPTES is an acronym for {"}Incremental Prototyping Technology for Embedded real-time Systems{"}. SA/RT model execution in the IPTES environment is based on the High-Level Timed Petri Net Kernel (HLTPNK). The kernel has no direct visibility to the user but rather provides an internal framework to be used for model execution. The kernel is built upon a mathematically well-defined formalism, High-Level Timed Petri Nets (HLTPN). The overall function of the HLTPNK is to provide facilities for the configuration, manipulation, and execution of system models expressed with High-Level Timed Petri Nets. An experimental High-Level Timed Petri Net Kernel is designed using object-oriented design techniques. The design is validated by graphical animation. For visual prototyping of the kernel, a dynamic object instantiation technique is developed for Wassemmann's Object-Oriented Structured Design (OOSD). The developed technique provides a basis for graphical animation not only for the HLTPNK model but for other large object-oriented models as well. A prototype implementation of the HLTPNK is developed using the C++ language. The prototype is used in evaluating the performance and timing aspects of the kernel. On the basis of the performance measurements and analysis, the implementation is tuned to support high-speed execution of HLTPN mapped from the SA/RT model. For the kernel execution, a user interface is developed enabling the progress of the execution of models to be monitored. Both the executable design model and the implementation of the HLTPNK provide a platform for further development of the IPTES prototyping environment. The kernel provides an open platform for further research of scheduling algorithms, distribution protocols, and code generation.",
keywords = "software engineering, prototyping, real-time systems, object oriented programming",
author = "Reijo Savola",
note = "Project code: TKO00279",
year = "1992",
language = "English",
isbn = "951-38-4242-8",
series = "VTT Publications",
publisher = "VTT Technical Research Centre of Finland",
number = "125",
address = "Finland",
school = "University of Oulu",

}

The model execution kernel of a real-time software prototyping environment : Master's thesis. / Savola, Reijo.

Espoo : VTT Technical Research Centre of Finland, 1992. 107 p.

Research output: ThesisMaster's thesisTheses

TY - THES

T1 - The model execution kernel of a real-time software prototyping environment

T2 - Master's thesis

AU - Savola, Reijo

N1 - Project code: TKO00279

PY - 1992

Y1 - 1992

N2 - Execution techniques for Ward and Mellor's Structured Analysis for Real-Time Systems (SA/RT) software models are studied in the framework of the IPTES prototyping environment. IPTES is an acronym for "Incremental Prototyping Technology for Embedded real-time Systems". SA/RT model execution in the IPTES environment is based on the High-Level Timed Petri Net Kernel (HLTPNK). The kernel has no direct visibility to the user but rather provides an internal framework to be used for model execution. The kernel is built upon a mathematically well-defined formalism, High-Level Timed Petri Nets (HLTPN). The overall function of the HLTPNK is to provide facilities for the configuration, manipulation, and execution of system models expressed with High-Level Timed Petri Nets. An experimental High-Level Timed Petri Net Kernel is designed using object-oriented design techniques. The design is validated by graphical animation. For visual prototyping of the kernel, a dynamic object instantiation technique is developed for Wassemmann's Object-Oriented Structured Design (OOSD). The developed technique provides a basis for graphical animation not only for the HLTPNK model but for other large object-oriented models as well. A prototype implementation of the HLTPNK is developed using the C++ language. The prototype is used in evaluating the performance and timing aspects of the kernel. On the basis of the performance measurements and analysis, the implementation is tuned to support high-speed execution of HLTPN mapped from the SA/RT model. For the kernel execution, a user interface is developed enabling the progress of the execution of models to be monitored. Both the executable design model and the implementation of the HLTPNK provide a platform for further development of the IPTES prototyping environment. The kernel provides an open platform for further research of scheduling algorithms, distribution protocols, and code generation.

AB - Execution techniques for Ward and Mellor's Structured Analysis for Real-Time Systems (SA/RT) software models are studied in the framework of the IPTES prototyping environment. IPTES is an acronym for "Incremental Prototyping Technology for Embedded real-time Systems". SA/RT model execution in the IPTES environment is based on the High-Level Timed Petri Net Kernel (HLTPNK). The kernel has no direct visibility to the user but rather provides an internal framework to be used for model execution. The kernel is built upon a mathematically well-defined formalism, High-Level Timed Petri Nets (HLTPN). The overall function of the HLTPNK is to provide facilities for the configuration, manipulation, and execution of system models expressed with High-Level Timed Petri Nets. An experimental High-Level Timed Petri Net Kernel is designed using object-oriented design techniques. The design is validated by graphical animation. For visual prototyping of the kernel, a dynamic object instantiation technique is developed for Wassemmann's Object-Oriented Structured Design (OOSD). The developed technique provides a basis for graphical animation not only for the HLTPNK model but for other large object-oriented models as well. A prototype implementation of the HLTPNK is developed using the C++ language. The prototype is used in evaluating the performance and timing aspects of the kernel. On the basis of the performance measurements and analysis, the implementation is tuned to support high-speed execution of HLTPN mapped from the SA/RT model. For the kernel execution, a user interface is developed enabling the progress of the execution of models to be monitored. Both the executable design model and the implementation of the HLTPNK provide a platform for further development of the IPTES prototyping environment. The kernel provides an open platform for further research of scheduling algorithms, distribution protocols, and code generation.

KW - software engineering

KW - prototyping

KW - real-time systems

KW - object oriented programming

M3 - Master's thesis

SN - 951-38-4242-8

T3 - VTT Publications

PB - VTT Technical Research Centre of Finland

CY - Espoo

ER -