Interval-based analysis in embedded system design
Complex multi-processor systems-on-chip and distributed embedded systems exhibit a confusing variety of run time interdependencies. For reliable timing validation, not only application, but also architecture, scheduling and communication properties have to be considered. This is very different from functional validation, where architecture, scheduling and communication can be idealized.
Year of publication: |
2004
|
---|---|
Authors: | Jersak, M ; Richter, K ; Ernst, R |
Published in: |
Mathematics and Computers in Simulation (MATCOM). - Elsevier, ISSN 0378-4754. - Vol. 66.2004, 2, p. 231-242
|
Publisher: |
Elsevier |
Subject: | Real-time embedded systems | Performance verification | Interval analysis |
Saved in:
Saved in favorites
Similar items by subject
-
Verification study of a GSHP system Manufacturer data based modeling
Kim, Jiyoung, (2013)
-
Grover, Dhruv, (2018)
-
Wei, Sha, (2015)
- More ...