Algorithms and Data Structures for Efficient Timing Analysis of Asynchronous Real-time Systems
This thesis presents a framework to verify asynchronous real-time systems based on model checking. These systems are modeled by using a common modeling formalism named Labeled Petri-nets(LPNs). In order to verify the real-time systems algorithmically, the zone-based timing analysis method is used fo...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
Scholar Commons
2013
|
| Subjects: | |
| Online Access: | http://scholarcommons.usf.edu/etd/4622 http://scholarcommons.usf.edu/cgi/viewcontent.cgi?article=5819&context=etd |