| | |
Summary: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 21, NO. 7, JULY 2002 749
A Probably Approximately Correct Framework to
Estimate Performance Degradation in Embedded
Systems
Cesare Alippi, Senior Member, IEEE
Abstract--Future design environments for embedded systems
will require the development of sophisticated computer-aided
design tools for compiling the high-level specifications of an appli-
cation down to a final low-level language describing the embedded
solution. This requires abstraction of technology-dependent as-
pects and requirements into behavioral entities. The paper takes a
first step in this direction by introducing a high-level methodology
for estimating the performance degradation of an application
affected by perturbations; a special emphasis is given to accuracy
performance. To grant generality it is uniquely assumed that
the performance degradation function and the mathematical
formulation describing the application are Lebesgue measurable.
Perturbations affecting the application abstract details related to
physical sources of uncertainties such as finite precision represen-
tation, faults, fluctuations of physical parameters, battery power
|
