schedcat.git/tests, branch master

Add example code and related end-to-end tests.

2013-11-26T23:14:57+00:00

Implement LP-based OMIP blocking analysis

2013-07-12T12:19:22+00:00

Fix broken demand calculation

2013-05-22T17:10:13+00:00

Felipe Cerqueira reported incorrect QPA results. The root cause was
a corner case in the demand calculation. This patch fixes the
underestimation of demand if time == deadline and adds a test case
discovered by Felipe that triggered the bug.

Make C++ and Python LP-based blocking bounds available in bounds.py

2013-02-12T11:55:15+00:00

Use the faster C++ version if available, unless the caller specifically requested
the Python implementation.

Fix JLFP preemption-centric interrupt accounting

2012-11-27T12:28:31+00:00

This patch fixes two bugs in the implementation of preemption-centric interrupt accounting.

1) When using dedicated interrupt-accounting, it there is a charged of oheads.release(n) required to model the delay due to the execution of the job's own release ISR. This bug was reported by Jeremy Erickson.

2) The definition of C_pre includes a divisor of 1.0 - utick - urel, which was missing.

As a result, the impact of IRQ-related delays was somewhat underestimated.

Add QPA EDF uniprocessor test

2012-11-27T11:33:29+00:00

Based on Zhang and Burns (2009), "Schedulability Analysis for Real-Time Systems with EDF Scheduling", IEEE Transactions on Computers, Vol 58, No 9.

TaskSystem.copy() should make deep copies

2012-11-24T14:30:02+00:00

Otherwise, the resource model will not be copied correctly, which
can lead to wrong results if parameters are inflated to account
for overheads.

C++: Properly consider priority ceilings in DPCP bound

2012-05-17T13:41:49+00:00

The bound should not reflect requests executed by agents that can be preempted.

Add OMLP k-exclusion blocking bounds

2012-02-20T17:39:01+00:00

Add convenience wrapper to find_connected_components()

2012-02-20T08:17:47+00:00