Systerel

Description de l'entreprise

Domaines technologiques

Systèmes embarqués à fortes contraintes temps réel ou de sécurité

Méthodes de développement formelles avec preuves (Méthode B, SCADE...)

Ingénierie des systèmes

Sûreté de fonctionnement / Sécurité des systèmes d'information

Formalisation et management des exigences

Prestations proposées

- Développement de logiciels critiques (de la spécification à la mise en service)
- Elaboration ou vérification formelle de spécifications
- Evaluation / certification de logiciels de sécurité
- Analyse et refonte de systèmes obsolescents
- Fourniture d'outils de vérification formelle de donnés (paramètres de sécurité...)
- Développement d'outils spécifiques (compilateurs, analyseurs, stimulateurs...)
- Formation (B, Ada)

Valeur ajoutée

Expertise autour :
- des techniques formelles (Méthode B, SCADE,...),
- des techniques de sécurisation des systèmes,
- des langages spécifiques à l'embarqué critique (Ada...).

Maîtrise des processus rigoureux (EN50126/50128, CEI61508, DO178B, ...)

Compétences spécifiques dans le développement de logiciels embarqués

Expertise dans la formalisation des exigences
(10% du CA en R&D sur cette activité)

Offres publiées sur la place de marché