Modeling and formal verification of embedded systems based on a Petri net representation.
Luis Alejandro CortésPetru ElesZebo PengPublished in: J. Syst. Archit. (2003)
Keyphrases
- petri net
- embedded systems
- embedded real time systems
- formal verification
- colored petri nets
- stochastic petri net
- embedded software
- sequence diagrams
- low cost
- model checking
- embedded devices
- real time systems
- computing power
- resource limited
- fuzzy petri net
- automated verification
- model checker
- petri net model
- consumer electronics
- commercial software
- software systems
- hardware software
- real time
- field programmable gate array
- hw sw
- ims ld
- intermediate representation
- fuzzy logic