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

[arne.hamann]

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

[Mischa Moestl]

Dear colleagues,

attached you can find our contribution to the WATERS Challenge 2017

FMTV_2017_Solution_4.pdf

(499.3 KiB) Downloaded 477 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)

[Kai Gemlau]

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