Supporting Industrial Use of Probabilistic Timing Analysis with Explicit Argumentation

Publication: 11th IEEE International Conference on Industrial Informatics (INDIN)

Place Published: Bochum, Germany

Pagination: 734–740

Palabras clave: Computer architecture, critical real-time embedded systems, Embedded systems, explicit argumentation, Hardware, MBPTA, probabilistic exceedance functions, Probabilistic logic, probabilistic timing analysis, Safety, Software, software programs, synchronisation, systems analysis, Timing, WCET analysis, worst-case execution time analysis