Formal Modeling and Analysis by Simulation of Data Paths in Digital Document Printers

Provided by: Eindhoven University of Technology
Topic: Big Data
Format: PDF
In this paper the authors report on a challenging study conducted in the context of the octopus project where CPN Tools is used to model and analyze the embedded system of digital document printer. Modeling the dynamic behavior of such systems in a predictable way is a major challenge. In this paper, the authors present the approach where colored petri nets are used to model the system. Simulation is used to analyze the behavior and performance. The challenge in modeling is to create building blocks that enable flexibility in reconfiguration of architecture and design space exploration.

Find By Topic