Real-MFG: A Petri Net based model focusing on the integration of schedulability and fault tolerance
Vassilis C. Gerogiannis, Achilles D. Kameas, Panayotis E. Pintelas · 1997
Developing real-time software controlled systems for safety critical applications and verifying that they meet functional, fault tolerance and timing requirements are inherently complex processes. In order to meet a variety of (usually) conflicting requirements, it is necessary to follow an integrated approach from the early phases of design. In this paper, an integrated platform called Real-Time Multi Flow Graph (Real-MFG), is proposed, which provides encapsulation of both function-and priority-driven scheduling, incorporates constructs of powerful task graphs and integrates the Petri Net (PN) formalism with schedulability analysis methods. The model addresses fault tolerance requirements by including the promising imprecise computation paradigm in its semantics.