Linking Formal Description and Simulation of Runtime Reconfigurable Systems

This paper links a well-investigated formalism for describing dynamic structured discrete event systems and a modelling methodology for runtime reconfigurable systems. The theory behind dynamic structured discrete event systems is used to back a generic SystemC simulation model derived from and developed for runtime reconfigurable systems. The coupling of formalism and model effects in particular the simulation of runtime reconfigurable systems so that generally any standard simulator for discrete event systems can be used without any modification to its capabilities. By means of an application example, modeling as well as formal description of runtime reconfigurable systems are illustrated.