Loading...

System-level assertion-based performance verification for embedded systems

Hatefi Ardakani, H ; Sharif University of Technology | 2008

470 Viewed
  1. Type of Document: Article
  2. DOI: 10.1007/978-3-540-89985-3_30
  3. Publisher: 2008
  4. Abstract:
  5. As contemporary digital systems specifically embedded systems become more and more complex, taking advantage of system-level design is being more widespread. Many embedded systems must operate under strict timing constraints. One of the best methods for examining timing constraints in an embedded system can be done via the performance verification. In this paper an assertion-based verification methodology has been proposed for verifying system-level timing constraints in an embedded system. Performance assertions are specified by an assertion language at the transaction-level of abstraction. A Turing machine and a structure named performance evaluator have been coupled to provide a computational model for a performance assertion. We have developed a tool that can automatically generate a C++ code from input assertions. The result code operates as the computational model and checks the assertions by applying a simulation-based trace analysis approach. Through a case study, we demonstrate usefulness and effectiveness of our methodology. © 2008 Springer-Verlag
  6. Keywords:
  7. Assertion-based verification ; Computational model ; Level of abstraction ; Performance Assertions ; Performance verification ; Abstracting ; Computer science ; Computer simulation ; Time measurement ; Timing circuits ; Trace analysis ; Turing machines ; Embedded systems
  8. Source: 13th International Computer Society of Iran Computer Conference on Advances in Computer Science and Engineering, CSICC 2008, Kish Island, 9 March 2008 through 11 March 2008 ; Volume 6 CCIS , 2008 , Pages 243-250 ; 18650929 (ISSN); 3540899847 (ISBN); 9783540899846 (ISBN)
  9. URL: https://link.springer.com/chapter/10.1007/978-3-540-89985-3_30