Worst-case execution time: differenze tra le versioni

Versione delle 09:04, 14 feb 2020

Versione attuale delle 15:06, 17 lug 2021

(Una versione intermedia di un altro utente non mostrate)

Riga 10:

Altri sigle comunemente utilizzate nella letteratura scientifica per identificare tempi di esecuzioni particolari sono<ref name="wcet-overview">

{{cita pubblicazione|autore=Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter Puschner, Jan Staschulat, Per Stenstrom|titolo=The Worst-Case Execution Time Problem — Overview of Methods and Survey of Tools|rivista=Transactions on Embedded Computing Systems

|editore=ACM|volume=7|numero=3|anno=2008|mese=maggio|ppp=53|doi=10.1145/1347375.1347389|lingua=en}}

</ref><ref>{{cita pubblicazione|titolo=ACET Based Scheduling of Soft Real-Time Systems: An Approach to Optimise Resource Budgeting|rivista=International Journal of Computers and Communications|anno=2007|autore=X. Guo, M. Boubekeur, J. McEnery, and D. Hickey|volume=1|numero=3}}</ref>:

* BCET - Best-Case Execution Time: il tempo di esecuzione nel caso migliore

Riga 29:

=== MBDTA ===

La tecnica '''Measurement-Based Deterministic Timing Analysis (MBDTA)''' consiste nel misurare direttamente il tempo di esecuzione del sistema stesso e utilizzare il massimo osservato come WCET. Questo approccio non richiede complesse analisi dell'hardware e software, perché il tempo odi esecuzione viene misurato direttamente.

{{...|informatica}}

Tuttavia, per fare in modo che questa tecnica sia sicura e che non sottostimi il WCET, è necessario assicurarsi di aver visitato tutti gli stati dell'hardware e aver visitato tutti i path (o quantomeno i peggiori) del [[control-flow graph]]. Ottenere questa certezza è il maggior problema della tecnica MBDTA e le tecniche attuali richiedono un effort parti alle analisi di SDTA.

=== SPTA ===

{{...|informatica}}