LDRA & DDC-I
ISIT
La dernière intégration de LDRA avec DDC-I accélère la conformité des systèmes aérospatiaux multicœurs
La solution fournit des moyens puissants et efficaces de développement, de vérification et d'hébergement de code de production dans des environnements de poste de pilotage critiques pour la sécurité nécessitant un logiciel compatible RTC DO-178C/ED-12C
LDRA , fournisseur de vérification automatisée de logiciels, d'analyse de code source et d'outils de test unitaire, a annoncé le trimestre dernier une mise à jour de l'intégration avec DDC-I Inc. pour les applications aérospatiales et de défense.
La suite d'outils LDRA prend désormais en charge le dernier système d'exploitation en temps réel (RTOS) critique pour la sécurité Deos™ de DDC-I, doté de la technologie multicœur SafeMC™, et le dernier environnement de développement intégré (IDE) basé sur OpenArbor® Eclipse. Cette solution puissante et efficace permet aux fabricants de systèmes avioniques de développer, déboguer, tester et déployer rapidement et à moindre coût des logiciels qui peuvent être facilement certifiés selon les exigences les plus exigeantes telles que RTC DO-178C/ED-12C.
Cette intégration fournit :
L'intégration LDRA garantit la sûreté et la sécurité des applications multicœurs
Cette intégration aide les développeurs à gérer et à assurer la conformité des applications dans des environnements de cockpit critiques pour la sécurité de plus en plus complexes qui tirent parti des technologies émergentes pour construire des avions plus sûrs, plus économiques et plus performants. Ces nouvelles technologies incluent des architectures avioniques modulaires intégrées et des processeurs multicœurs, tous deux devenus des standards de facto dans l'industrie avionique.
"Il est essentiel de prouver que le système avionique est correctement partitionné pour éviter les interférences des cœurs concurrents, mais c'est un défi presque impossible sans les outils de développement et de test appropriés", a déclaré Ian Hennell, directeur des opérations, LDRA. "Grâce à l'intégration LDRA/DDC-I, les développeurs peuvent s'assurer que le logiciel est sûr et répond aux normes avioniques les plus exigeantes telles que DO-178C et la norme technique Future Airborne Capability Environment (FACE)."
La solution prend en charge la conformité à la norme technique FACE TM et de nombreux autres avantages
Pour permettre le développement et le test de logiciels conformes aux normes critiques de sécurité telles que DO-178C/ED-12C, et aux normes de portabilité et d'interopérabilité telles que la norme technique FACE, l'intégration fournit :
La suite d'outils LDRA prend désormais en charge le dernier système d'exploitation en temps réel (RTOS) critique pour la sécurité Deos™ de DDC-I, doté de la technologie multicœur SafeMC™, et le dernier environnement de développement intégré (IDE) basé sur OpenArbor® Eclipse. Cette solution puissante et efficace permet aux fabricants de systèmes avioniques de développer, déboguer, tester et déployer rapidement et à moindre coût des logiciels qui peuvent être facilement certifiés selon les exigences les plus exigeantes telles que RTC DO-178C/ED-12C.
Cette intégration fournit :
- analyse statique du code source
- analyse dynamique logicielle, y compris la couverture MC/DC sur l'hôte et la cible
- test unitaire du logiciel sur l'hôte et la cible
- amélioration de la qualité, de la sûreté et de la sécurité du code
- réduction du temps et du coût des tests
L'intégration LDRA garantit la sûreté et la sécurité des applications multicœurs
Cette intégration aide les développeurs à gérer et à assurer la conformité des applications dans des environnements de cockpit critiques pour la sécurité de plus en plus complexes qui tirent parti des technologies émergentes pour construire des avions plus sûrs, plus économiques et plus performants. Ces nouvelles technologies incluent des architectures avioniques modulaires intégrées et des processeurs multicœurs, tous deux devenus des standards de facto dans l'industrie avionique.
"Il est essentiel de prouver que le système avionique est correctement partitionné pour éviter les interférences des cœurs concurrents, mais c'est un défi presque impossible sans les outils de développement et de test appropriés", a déclaré Ian Hennell, directeur des opérations, LDRA. "Grâce à l'intégration LDRA/DDC-I, les développeurs peuvent s'assurer que le logiciel est sûr et répond aux normes avioniques les plus exigeantes telles que DO-178C et la norme technique Future Airborne Capability Environment (FACE)."
La solution prend en charge la conformité à la norme technique FACE TM et de nombreux autres avantages
Pour permettre le développement et le test de logiciels conformes aux normes critiques de sécurité telles que DO-178C/ED-12C, et aux normes de portabilité et d'interopérabilité telles que la norme technique FACE, l'intégration fournit :
- analyse complète de la couverture du code source (sous Deos SafeMC)
- un harnais de test unitaire efficace pour effectuer des tests unitaires et de régression entièrement automatisés (également sous Deos avec SafeMC)
- la capacité d'analyser et de visualiser la conformité aux normes de codage dans l'IDE OpenArbor
- prise en charge des processeurs x86, PowerPC et ARM monocœur et multicœur
- conformité aux normes de codage définies par l'industrie et par l'utilisateur telles que MISRA et CERT
- génération automatisée de cas de test, de harnais et de stub pour les tests de robustesse avec la suite d'outils LDRA
- production automatique de preuves de certification et d'approbation de logiciels étayées par le système de gestion de la qualité certifié ISO 9001:2015 de LDRA et la certification TÜV SÜD et SGS-TÜV Saar de la suite d'outils LDRA
