Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets.
Gang HouKuanjiu ZhouJunwang ChangRui LiMingchu LiPublished in: APPT (2013)
Keyphrases
- petri net
- embedded systems
- colored petri nets
- embedded real time systems
- petri net model
- stochastic petri net
- embedded software
- concurrent systems
- sequence diagrams
- computing power
- low cost
- resource limited
- discrete event systems
- service composition
- embedded devices
- fuzzy petri net
- ims ld
- real time systems
- commercial software
- web services
- field programmable gate array
- model checking