Authors: Wartel, Franck / Kosmidis, Leonidas / Lo, Code / Triquet, Benoit / Quinones, Eduardo / Abella, Jaume / Gogonel, Adriana / Baldovin, Andrea / Mezzetti, Enrico / Cucu-Grosjean, Liliana / Vardanega, Tullio / Cazorla, Francisco
Teams: Computer Architecture - Operating Systems (CAOS)
Publication: 8th IEEE International Symposium on Industrial Embedded Systems (SIES)
Place Published: Porto, Portugal
Palabras clave: aerospace computing, Aerospace electronics, avionics, benchmark programs, Computer architecture, Hardware, integrated-modular avionics, MBPTA, measurement-based probabilistic timing analysis, measurement-based variant, probabilistic exceedance functions, Probabilistic logic, probability, Program processors, real-world applications, Timing, WCET analysis techniques, worst-case execution time analysis techniques