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

The 2017 industrial challenge and its solutions to be presented at WATERS'17
Post Reply
arne.hamann
Posts: 34
Joined: Thu Jan 28, 2016
Location: Renningen

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

Post by arne.hamann » Fri May 19, 2017

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

Mischa Moestl
Posts: 4
Joined: Tue Mar 08, 2016
Location: IDA - TU Braunschweig

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

Post by Mischa Moestl » 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 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)
Mischa Möstl, M.Sc.

IDA, Institute of Computer and Network Engineering
Technische Universität Braunschweig
Hans-Sommer-Str. 66
38106 Braunschweig - Germany

Kai Gemlau
Posts: 1
Joined: Mon May 22, 2017

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

Post by Kai Gemlau » 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
Kai-Björn Gemlau, M.Sc.

IDA, Institute of Computer and Network Engineering
Technische Universität Braunschweig
Hans-Sommer-Str. 66
38106 Braunschweig - Germany

Post Reply