51 search results - page 3 / 11 » Verification of Embedded Systems using a Petri Net based Rep... |
WORDS
2005
IEEE
13 years 11 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
SAFECOMP
1998
Springer
13 years 9 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
EMSOFT
2005
Springer
13 years 11 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
ENTCS
2002
13 years 6 months ago
2002
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
ICCAD
1999
IEEE
13 years 10 months ago
1999
IEEE
In this paper, an internal design model called FunState (functions driven by state machines) is presented that enables the representation of different types of system components a...