Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study

Autor
Wartel, F.; Kosmidis, L.; Lo, C.; Triquet, B.; Quiñones, E.; Abella, J.; Gogonel, A.; Baldovin, A.; Mezzetti, E.; Cucu, L.; Vardanega, T.; Cazorla, F. J.
Tipus d'activitat
Presentació treball a congrés
Nom de l'edició
8th IEEE International Symposium on Industrial Embedded Systems
Any de l'edició
2013
Data de presentació
2013-06-19
Llibre d'actes
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems: SIES 2013: Porto, Portugal, June 19-21, 2013
Pàgina inicial
241
Pàgina final
248
Editor
Institute of Electrical and Electronics Engineers (IEEE)
DOI
https://doi.org/10.1109/SIES.2013.6601497 Obrir en finestra nova
Repositori
http://hdl.handle.net/2117/22453 Obrir en finestra nova
URL
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6601497 Obrir en finestra nova
Resum
Probabilistic Timing Analysis (PTA) in general and its measurement-based variant called MBPTA in particular can mitigate some of the problems that impair current worst-case execution time (WCET) analysis techniques. MBPTA computes tight WCET bounds expressed as probabilistic exceedance functions, without needing much information on the hardware and software internals of the system. Classic WCET analysis has information needs that may be costly and difficult to satisfy, and their omission increas...
Citació
Wartel, F. [et al.]. Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study. A: IEEE International Symposium on Industrial Embedded Systems. "Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems: SIES 2013: Porto, Portugal, June 19-21, 2013". Porto: Institute of Electrical and Electronics Engineers (IEEE), 2013, p. 241-248.
Paraules clau
Aerospace electronics, Computer architecture, Hardware, Probabilistic logic, Program processors, Timing

Participants

  • Wartel, Franck  (autor ponent)
  • Kosmidis, Leonidas  (autor ponent)
  • Lo, Code  (autor ponent)
  • Triquet, Benoit  (autor ponent)
  • Quiñones Moreno, Eduardo  (autor ponent)
  • Abella Ferrer, Jaume  (autor ponent)
  • Gogonel, Adriana  (autor ponent)
  • Baldovin, Andrea  (autor ponent)
  • Mezzetti, Enrico  (autor ponent)
  • Cucu Grosjean, Liliana  (autor ponent)
  • Vardanega, Tullio  (autor ponent)
  • Cazorla Almeida, Francisco Javier  (autor ponent)