Loading...
Loading...

Go to the content (press return)

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

Author
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.
Type of activity
Presentation of work at congresses
Name of edition
8th IEEE International Symposium on Industrial Embedded Systems
Date of publication
2013
Presentation's date
2013-06-19
Book of congress proceedings
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems: SIES 2013: Porto, Portugal, June 19-21, 2013
First page
241
Last page
248
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
DOI
https://doi.org/10.1109/SIES.2013.6601497 Open in new window
Repository
http://hdl.handle.net/2117/22453 Open in new window
URL
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6601497 Open in new window
Abstract
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...
Citation
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.
Keywords
Aerospace electronics, Computer architecture, Hardware, Probabilistic logic, Program processors, Timing

Participants

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