Thierry Servat

Microsoft Office 365 WordPress.org Mobile Friendly Google Tag Manager Nginx AI

safety critical systems certified systems sil1 to sil4 system verification safety demonstration b formal method systemes et logiciels securitaires verification formelle systemes certifies de sil1 a sil4 systemes critiques methode formelle b ertms etcs dmi simulation tools cbtc vital relays it services & it consulting safety systems formal methods safety software sil certification risk analysis system engineering verification & validation software development critical systems real-time systems safety analysis electronic systems certification assistance system integration safety solutions custom software safety assurance safety audits regulatory compliance safety standards functional safety security systems automated systems development tools software tools engineering support r&d services modeling methods system simulation safety protocols project management electrical engineering software engineering safety testing safety certifications embedded systems transportation safety automotive safety military applications aerospace systems nuclear safety safety system consultancy safety performance metrics safety lifecycle safety-critical applications custom systems engineering system testing data analysis safety documentation safety system design information technology & services productivity embedded hardware & software hardware data analytics