Accueil > Archives > Expertises > Conception rigoureuse et algorithmique complexe

Conception rigoureuse et algorithmique complexe

Sûreté de fonctionnement


De nos jours, nous confions des tâches de plus en plus critiques à des systèmes informatisés. Quasiment toutes les voitures familiales sont équipées d’ABS, voire d’ESP pilotés par ordinateur, la sécurité ferroviaire est assurée par des systèmes informatisée tels le TBL1+, les pace-makers sont équipés d’ordinateurs de plus en plus complexes. Les logiciels et systèmes dans lesquels nous avons besoin de placer un niveau de confiance élevé de par leur utilisation doivent être conçus de manière à ce que cette confiance soit justifiée. Par exemple, pour les systèmes de haute criticité ferroviaire, il est courant (...)

Certification logicielle


La certification est requise dans un certain nombre de domaines industriels, en tant que condition permettant d’accéder à un marché particulier, ou de se conformer aux dispositions réglementaires. Cependant, l’intégration des contraintes de certification dans un processus de développement peut conduire à de très grands overheads. Maîtriser le processus de certification n’est pas une tâche triviale, et nécessite la connaissance des normes en question et comment les intégrer dans le cycle de vie du logiciel. Le CETIC développe activement de l’expertise dans ces domaines (IEC 62304 pour les dispositifs (...)