Analysis and Decomposition of Complex Real-Time Processes with a Real-Time Schemata Model

Abstract

In this paper a formal model for real-time processes is expanded to analyze structured, complex algorithms. Structured forms have inherent modularity and the authors discuss advantages of mapping such processes on distributed micro or mini processor networks. Processes under consideration are subject to random interrupts by independent I/O demands. Degradation of total system performance due to these demands is discussed. Extentions and ongoing research are mentioned.