Loading...

Timing verification of distributed network systems at higher levels of abstraction

Hatefi Ardakani, H ; Sharif University of Technology | 2008

579 Viewed
  1. Type of Document: Article
  2. DOI: 10.1109/HLDVT.2008.4695884
  3. Publisher: 2008
  4. Abstract:
  5. Nowadays, distributed network systems are broadly using in embedded, real-time and networked control systems. Since they often operate under strict timing constraints, the timing verification is an important and critical phase during the design of them. On the other hand, as contemporary digital systems become more and more complex, taking advantage of the systemlevel design is gaining more widespread acceptance. Beginning from the transaction-level of abstraction is a common and effective method for deploying the system-level design. This paper presents a methodology for evaluation of timing constraints in a distributed network system specified at transactionlevel of abstraction. Timing assertions are described by a simple language and mathematically defined using a computational model. In order to evaluate timing assertions, a simulation-based trace analysis approach is exploited. Finally, through a case study, the verification of a CAN-based fuzzy controller, we examine productivity and effectiveness of our methodology. © 2008 IEEE
  6. Keywords:
  7. Analysis approach ; Computational model ; Digital system ; Distributed network systems ; Fuzzy controllers ; Level of abstraction ; Levels of abstraction ; Networked control systems ; Simulation-based ; System level design ; Timing constraints ; Timing verification ; Abstracting ; Control system analysis ; Design ; Embedded systems ; Time measurement ; Timing circuits ; Trace analysis ; Real time systems
  8. Source: 2008 IEEE International High Level Design Validation and Test Workshop, HLDVT'08, Incline Village, NV, 19 November 2008 through 21 November 2008 ; December , 2008 , Pages 101-107 ; 15526674 (ISSN); 9781424429226 (ISBN)
  9. URL: https://ieeexplore.ieee.org/document/4695884