Tools and Benchmarks for Real-Time Systems

Dear colleagues, attached you can find our contribution to the WATERS Challenge 2017 FMTV_2017_Solution_4.pdf . 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 y...

Hi Ali, what are your expectations with SMFF? If you expect a graphical user interface or something of that kind I am sorry, because there is none. However, all of the modules come with a example file (that you can compile and run). As everything is open-source you can go ahead and adapt these to yo...

Hi Ali and other prospective SMFF users, let me stress that I am neither a SMFF developer nor the maintainer. So all I can provide you is second hand knowledge. Let me also say that I am not really in depth familiar with the maven build flow used for SMFF; I am not a Java expert either! But I will t...

Hi, the git-repository is alive, the description of the URL to the individual modules is just a bit ambiguous. To clone the four SMFF module repositories in your current directory, the following works: git clone git://smff.git.sourceforge.net/gitroot/smff/SMFF-Core git clone git://smff.git.sourcefor...