Page 1 of 1

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

Posted: Fri May 19, 2017
by arne.hamann
Authors: Kai-Björn Gemlau, Johannes Schlatow, Mischa Möstl and Rolf Ernst

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

Posted: Mon May 22, 2017
by Mischa Moestl
Dear colleagues,

attached you can find our contribution to the WATERS Challenge 2017
FMTV_2017_Solution_4.pdf
(499.3 KiB) Downloaded 82 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)

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

Posted: Fri Jun 09, 2017
by 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 67 times
The pyCPA implementation on bitbucket is updated accordingly

Regards
Kai