Conseil en sécurité et sûreté de fonctionnement des systèmes à logiciel prépondérant

SafeRiver est une société spécialisée dans le développement de méthodes de conception innovantes pour les systèmes embarqués à logiciel prépondérant. Ces méthodes permettent de développer des systèmes numériques critiques au voir plus

SafeRiver est une société spécialisée dans le développement de méthodes de conception innovantes pour les systèmes embarqués à logiciel prépondérant. Ces méthodes permettent de développer des systèmes numériques critiques au sens sûreté (robustesse aux erreurs) ou sécurité (prise en compte des attaques et malveillances). La nécessité de développer de nouvelles méthodes de conception est liée à l'apparition de nouveaux défis dans le domaine des systèmes embarqués à logiciel prépondérant : 1. Les systèmes embarqués critiques sont de plus en plus complexes en termes de services ou fonctionnalités rendus, de données manipulées (gestion de données complexes), de propriétés de comportement attendues (modes d'exploitation diversifiés, prise en compte d'erreurs ou de comportements byzantins de l'environnement). 2. Les systèmes embarqués s'ouvrent et deviennent sensibles aux attaques nécessitant de mettre en oeuvre des mesures architecturales et de rendre les codes applicatifs insensibles ou aussi insensibles que possible (notion de vulnérabilité). 3. Les concepteurs s'appuient de plus en plus souvent sur des composants pré-existants (COTS) commerciaux ou issus du monde des logiciels libres. Incubateur : Agoranov voir moins