Modeling and Analyzing Distributed Real-time and Embedded Systems with High-Level Petri Nets

As computer systems become increasingly inter-networked, a challenging problem faced by researchers and developers of distributed real-time and embedded (DRE) systems is devising and implementing an effective schedulability strategy that can meet real-time requirements in varying operational conditions. In this paper, we propose an extended time Petri nets to model and analyze DRE systems. The model is capable of capturing the exact semantic of DRE systems. Especially, we use the model to describe the communication process between module which is the key issue of DRE systems. Then we analyze the schedulability of DRE systems and present a heuristic algorithm to find a feasible schedule. Finally, the method is validated by a special example, which demonstrates the feasibility of our approach.