Checking contracts: status of EB solys?

[Dennis Dams]

I'm interested in checkin log traces against Franca Protocol State Machines. It seems that I need another tool, EB solys, for this. But that seems not to be available anymore - the link redirects to https://www.elektrobit.com/products/#discontinued-products/

Is there another way to check PSMs on log traces?

[Klaus Birken]

Hi,

sorry to hear this. But the guys behind EB solys meanwhile have founded a company, please check out systemticks.de for more information. They probably still work on tooling which can analyse traces.

BTW: The basic infrastructure (the formal engine) has always been a part of Franca, see this plugin. But for using this checker engine efficiently it is important to have some surrounding infrastructure. If you need more information on this, pls contact me.

Best regards,

Klaus