Tools and Benchmarks for Real-Time Systems

Posted: **Fri May 19, 2017**

Authors: Kai-Björn Gemlau, Johannes Schlatow, Mischa Möstl and Rolf Ernst

Posted: **Mon May 22, 2017**

Dear colleagues,

attached you can find our contribution to the WATERS Challenge 2017

FMTV_2017_Solution_4.pdf: (499.3 KiB) Downloaded 476 times

.

Our implementation based on pyCPA is available at:
https://bitbucket.org/pycpa/waters2017

We all welcome your suggestions and comments and Kai is looking forward to meet and discuss with you at Dubrovnik.

Best Regards,
Mischa Möstl
(in representation of Kai-Björn Gemlau, Johannes Schlatow, myself and Rolf Ernst)

Posted: **Fri Jun 09, 2017**

Dear colleagues,

we updated our effect chain analysis to correctly handle non harmonic task periods and fixed a bug that led to unnecessary pessimistic reaction time results.

FMTV_2017_Solution_4_2.pdf: (500.07 KiB) Downloaded 495 times

The pyCPA implementation on bitbucket is updated accordingly

Regards
Kai

Tools and Benchmarks for Real-Time Systems

Challenge 2017 Solution #4: Compositional Analysis for the WATERS Industrial Challenge 2017

Challenge 2017 Solution #4: Compositional Analysis for the WATERS Industrial Challenge 2017

Re: Challenge 2017 Solution #4: Compositional Analysis for the WATERS Industrial Challenge 2017

Re: Challenge 2017 Solution #4: Compositional Analysis for the WATERS Industrial Challenge 2017