Dependability modeling methodology for reconfigurable FPGA using Petri Nets

An integrated modeling technique for avionic system performance modeling presented in this abstract is especially useful in context of large systems using several levels of redundancy and utilizing modern FPGAs. Petri nets are, so far widespread in logistics and network analysis, are shown to be extremely useful to tackle complexity – not only functionality and protection measures but also high level dynamic behavior.