We have local expertise in EN50128 here in France.

We participate in projects within Alstom transport (who selected Artisan Studio worldwide for their SysML modelization). We also participate in projects at ANSALDO STS and we are about to start a mission with Thales Transport. We also have in our team people working for CERTIFER (company that does EN50126,128,129 audits for train systems).

We do security and safety reviews, code reviews, Verification and Validation activities, testing activities…. For railway systems.

We can address from SIL0 to SIL4 requirements.

In term of products, our Ada development environments and in particular our Raven runtime (Ada runtime running on bare board) can be certified up to EN50128 SIL4.

We already have certification material for PowerPC and Intel (in fact we have DO-178B level A certification material and we provide a traceability matrix between EN50128 SIL4 and DO-178B levelA artifacts).

This material has already been audited several times.

We can provide expertise on this technology and also develop BSP and certification material for BSP if needed.