Published October 7, 2023 | Version v1
Software Open

CTA: A Correlation-Tolerant Analysis of the Deadline-Failure Probability of Dependent Tasks (Python Jupyter Notebook)

  • 1. Max Planck Institute for Software Systems (MPI-SWS), Germany
  • 2. ONERA/DTIS, Université de Toulouse, France
  • 3. Mälardalen University, Sweden

Description

This submission includes the executable source code for a Python Jupyter Notebook, which automates the computations and provides a detailed explanation for the motivating example from Section II, featured in the paper:

  • Filip Marković, Pierre Roux, Sergey Bozhko, Alessandro V. Papadopoulos, and Björn B. Brandenburg, “CTA: A Correlation-Tolerant Analysis of the Deadline-Failure Probability of Dependent Tasks”, Proceedings of the 44th IEEE Real-Time Systems Symposium (RTSS 2023), IEEE, December 2023.

Files

Files (294.4 kB)

Name Size Download all
md5:70865772c7c9b80156ccf779a50cbc30
294.4 kB Download

Additional details

Funding

TOROS – A Theory-Oriented Real-Time Operating System for Temporally Sound Cyber-Physical Systems 803111
European Commission