Search the Community
Showing results for tags 'prover'.
Found 1 result
Hi everyone, I am newbie in here. I am associated with a rail integrator company in Finland, which is specialized in providing EN 50126/50128/50129 SIL 4 certified control solution for railway signalling and interlocking. As of now, we have been using HIMA PLCs (HIMax, HIMatrix), a proprietary HIMA OS and HIMA's IDE (SILworX). As of now, we are pretty satisfied about HIMA's performances. But we are also assessing some alternatives, which are based on open standards. As per our findings we are looking into the following: Hardware: Artesyn's ControlSafe Computer Platform and MEN Mikro Gmbh's MH50C Platform OS: VxWorks, QNX, PikeOS, Integrity IDE: SCADE (ANSYS), Prover, Flexisafe (Infoteam), Codesys, Matlab (?) Since SILworX is based on IEC 61131-3 languages, and our applications are made up of function blocks, we are trying to avoid platforms like C, C++, AdaCore etc. It would be great to have some inputs on these, and also about some other alternatives. Thanks in advance! :)