A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Modeling of Distributed Real-Time Embedded (DRE) systems allows one to evaluate models behavior or schedulability. However, assessing that a DRE system's behavior is correct in the causal domain is a challenge: one need to elaborate a mathematical abstraction suitable for checking properties like absence of deadlock or safety conditions (i.e. an invariant remains all over the execution). In this paper, we propose a global approach to building Petri Nets models from an architecture describeddoi:10.1109/isorc.2009.11 dblp:conf/isorc/RenaultKH09 fatcat:mflrbl4o5jbmhdletmwco34nlq