Model Execution Kernel of a Real-Time Software Prototyping Environment

摘要

Execution techniques for Ward and Mellor's Structured Analysis for Real Time Systems (SA/RT) software models are studied in the framework of the Incremented Prototyping Technology for Embedded Real-Time Systems (IPTES) prototyping environment. SA/RT model execution in the IPTES environment is based on the High-Level Timed Petri Net Kernel (HLTPNK). 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 HLTPN. 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 Wassermann's Object-Oriented Structured Design (OOSD). 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.