Analysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based Approach
Zonghua Gu, Kang Geun Shin · 2002
The growing complexity of modem real-time embedded systems makes it imperative to apply formal analysis techniques at early stages of system development. This paper considers formal modelling of event-driven real-time systems with Time Petri Nets. and subsequent analysis via model-checking by a simple. fully automatable translation into Timed Automata. The proposed approach is applied to a small application scenario taken from Avionics Mission Computing.