MISSION CRITIQUE
Nous sommes spécialisés dans les essais et les solutions de mission critique pour les applications automobiles, aérospatiales et ferroviaires, avec une grande expérience des solutions d'essais dynamiques et statiques.
Chez Exceltic, nous aidons les entreprises à développer des systèmes embarqués robustes et efficaces à un coût compétitif. Nous pouvons prendre en charge la gestion intégrale d'un projet ou collaborer ponctuellement au développement de n'importe quelle phase du cycle de vie d'un produit. Nous proposons aussi bien des projets à prix fixe que des solutions personnalisées, en maintenant toujours le dialogue et la flexibilité.
Nous sommes à la pointe de l'innovation technologique, c'est pourquoi notre engagement et nos valeurs en tant qu'entreprise nous permettent d'aller au-delà des attentes initialement fixées par nos clients.
Nous permettons le développement de produits finis plus efficaces, en réduisant les coûts de production et les délais de mise sur le marché, et en aidant nos clients à acquérir un avantage concurrentiel durable.
SERVICES TECHNOLOGIQUES
La mission d'Exceltic est de contribuer à l'amélioration de la compétitivité des entreprises par l'incorporation de nouvelles technologies et la promotion du développement technologique, de la recherche et de l'innovation. Dans cette optique, Exceltic met à la disposition des entreprises de différents secteurs toute son expérience et ses capacités pour les conseiller et renforcer leurs besoins en matière d'activités de R&D&I.
Les principales lignes d'action sont les suivantes :
Ingénierie des exigences logicielles
L'ingénierie des exigences est une partie essentielle de tout projet de logiciel et son but est d'amener les exigences à un état optimal avant d'atteindre la phase de conception, ainsi que de garantir la conformité avec les normes. Si l'on n'évite pas les erreurs au cours de cette phase, le processus de développement sera inadéquat et les délais de livraison seront retardés, ce qui entraînera une augmentation substantielle du coût du projet.
La mise en place d'une ingénierie des exigences appropriée, telle que nous la pratiquons chez Exceltic, minimisera la possibilité que cela se produise, en vous permettant d'arriver à des exigences mesurables et testables sans ambiguïtés ni contradictions.
Conception de l'architecture et développement de logiciels
Chez Exceltic, nous sommes conscients que l'architecture logicielle pour les systèmes embarqués est un processus critique dans le développement des appareils électroniques. Il s'agit d'un ensemble de décisions de conception et de structure qui déterminent comment les composants logiciels sont organisés et reliés, dans le but d'obtenir un système fonctionnel, efficace, sûr, maintenable et évolutif. Pour y parvenir, nous appliquons une approche prudente de l'architecture dès le départ, afin de gagner du temps et d'économiser des ressources à long terme.
Validation et vérification (V&V)
La vérification et la validation sont deux processus complémentaires et essentiels dans le développement de logiciels. La vérification se concentre sur la création d'un logiciel correct, tandis que la validation se concentre sur la création d'un logiciel adéquat. Ces deux processus contribuent à la qualité, à la satisfaction des utilisateurs et à la réduction des coûts, et sont des pratiques essentielles dans le cycle de vie du développement logiciel d'un produit.
C'est pourquoi nous ajoutons de la valeur aux produits de nos clients en nous concentrant sur nos principales capacités de vérification et de contrôle. Notre laboratoire d'essais comprend une équipe de personnes à la pointe des essais, ainsi que des instruments et équipements de pointe qui nous permettent de réaliser des essais et des validations avec un haut niveau de qualité et de fiabilité.
Sécurité fonctionnelle
La sécurité fonctionnelle repose sur l'idée que les systèmes et les produits doivent pouvoir remplir leurs fonctions en toute sécurité, même lorsqu'ils sont confrontés à des défaillances internes ou externes. Chez Exceltic, nous sommes spécialisés dans les domaines suivants :
Automobile (ISO26262), chemin de fer (EN50126/8/9), aviation (DO-178C), industrie de l'énergie (IEC61508) et dispositifs médicaux (IEC62304).
Cybersécurité pour les systèmes embarqués
Nous nous efforçons de garantir l'intégrité et la sécurité des produits de nos clients, dès leur conception initiale, en mettant en œuvre des pratiques et des mesures de sécurité spécifiques pour protéger leurs systèmes contre les cybermenaces.
Processus/audit de processus
Les processus et les audits de processus sont des éléments essentiels de la gestion de la qualité et de l'amélioration continue d'une organisation. Des processus bien définis et contrôlés contribuent à établir une base solide pour l'amélioration continue, tandis que les audits de processus fournissent une évaluation objective de la manière dont les processus sont suivis et du respect des normes et des exigences.
Dans son engagement à offrir les solutions les plus avancées et de haute qualité, Exceltic est fière d'avoir un partenaire stratégique clé : QA Systems.
Cette collaboration nous permet d'intégrer des outils de pointe dans nos projets, Cantate y QA-MISRALa nouvelle norme d'excellence en matière d'ingénierie logicielle et de sécurité fonctionnelle a été relevée encore plus haut.
Les outils de test et d'analyse statique des logiciels de QA Systems soutiennent la vérification dans le flux de développement linéaire des logiciels détaillé ci-dessous. Nous recommandons une approche séquentielle de ces étapes de vérification avec des outils conçus et ciblés pour chaque objectif.
COMPLY : Utiliser QA-MISRA pour répondre rapidement aux normes de codage sur le bureau du développeur en premier lieu.
TEST : Utilisation Cantate pour l'exécution dynamique automatisée de logiciels conformes aux normes.
ANALYSER : Utiliser Astrée pour démontrer l'absence d'erreurs d'exécution dans l'ensemble de l'application.
PRODUITS
CANTATA est un outil automatisé de tests unitaires et d'intégration en C/C++, qui permet aux développeurs de vérifier la conformité à la norme critique sur les plates-formes natives embarquées et intégrées à l'hôte.
QA-MISRA est un outil d'analyse statique qui permet aux développeurs de se conformer aux normes de codage C/C++ en matière de sécurité fonctionnelle (MISRA, AUTOSAR, etc.) et de sécurité (CERT et CWE, etc.). Il fournit également des informations sur la qualité du code source par le biais de mesures et de visualisations.
LE RESPECT DES NORMES DE SÉCURITÉ DES LOGICIELS
Les normes internationales de sécurité des logiciels exigent des preuves de tests de bas niveau (unitaires et intégrés) pour obtenir la certification d'un logiciel de dispositif.
En outre, la plupart des normes exigent que les outils de vérification utilisés soient certifiés/qualifiés ou éprouvés par leur utilisation. Cantate a été certifié de manière indépendante par SGS-TÜV SAAR GmbH pour toutes les principales normes de sécurité des logiciels.
Kits de certification d'outils Cantate Les logiciels spécifiques standard sont fournis gratuitement et contiennent tout ce dont vous avez besoin, prêt à l'emploi, ainsi qu'un guide complet pour vous aider à obtenir la certification du logiciel de votre appareil.
Les kits de qualification des outils de Cantate sont également disponibles lorsque la certification des outils selon une norme n'est pas autorisée, car l'outil doit être qualifié séparément pour chaque projet (par exemple pour DO-178B/C).
Cantate a été utilisé avec succès pour répondre aux exigences en matière de tests unitaires et d'intégration :
ISO 26262 - Véhicules routiers - Sécurité fonctionnelle
CEI 60880 : Centrales nucléaires : aspects logiciels des systèmes informatiques (catégorie de sécurité A)
IEC 62304 | Logiciels pour dispositifs médicaux : processus du cycle de vie du logiciel
CEI 61508 - Sécurité fonctionnelle des systèmes électriques/électroniques/électroniques programmables liés à la sécurité
EN 50128/50657|Applications ferroviaires - Systèmes de communication, de signalisation et de traitement et logiciels embarqués pour le matériel roulant
DO-178C "Software considerations in the certification of airborne systems and equipment".
VOUS VOULEZ EN SAVOIR PLUS ?
Informations de base sur la protection des données
Responsable
EXCELTIC S.L.
Objectif
L'objectif est de traiter vos données personnelles afin de gérer notre relation commerciale et les demandes envoyées par le biais du formulaire de contact que vous nous envoyez via le site web.
Vous envoyer des communications commerciales sur nos produits ou services.
Légitimation
Sur la base de la gestion, du développement et de l'exécution de la relation commerciale.
Intérêt légitime ou consentement de la personne concernée en ce qui concerne l'envoi de communications commerciales.
Adresses
Les organismes officiels lorsqu'il existe une obligation légale.
Les personnes qui peuvent avoir accès à vos données personnelles en raison des services fournis à EXCELTIC S.L.
Aucun transfert international n'est prévu.
Droits
Accès, rectification et suppression des données, ainsi que d'autres droits, comme expliqué dans les informations complémentaires.
Informations complémentaires
Pour consulter l'intégralité de la politique de confidentialité, veuillez cliquer ici. Ici
