Centre de recherches sur les communications Canada
Symbol of the Government of Canada

Nouvelle solution de vérification de la conformité à l’ALC

Banner - Nouvelle solution de vérification

Plugiciel R-Check SCA pour SCA Architect

Reservoir Labs Logo

SCA ArchitectMD est un outil de développement guidé par modèle de la suite logicielle SCARI, la solution de développement de l’architecture logicielle de communications (ALC) la plus populaire au monde. Le Centre de recherches sur les communications Canada (CRC) a été la première organisation à mettre au point un outil de développement guidé par modèle dans le domaine de l’ALC. SCA Architect propose un langage de modélisation graphique clair qui accélère le développement des composants et des applications de l’ALC. L’outil de modélisation du CRC englobe tout le cycle de développement de l’ALC, soit de la conception et de la validation des composants à leur assemblage en vue de créer des applications ou des nœuds.

SCA R-Check Workflow

R-Check SCA simplifie la vérification de la conformité à l’ALC. L’ALC comprend des exigences qui touchent à la fois le code source, le langage IDL de l’intergiciel CORBA et les fichiers descripteurs XML. R Check accélère le développement de l’ALC en permettant des essais intégrés pour tous les types de fichiers, garantissant ainsi exhaustivité et cohérence. La couverture des essais comprend des essais pour la norme CORBA minimale et la norme POSIX de base, et cette couverture ne cesse de s’accroître. Des outils de mise à l’essai et de validation propres à l’ALC aideront les fournisseurs à mettre au point et à déployer des radios réalisées par logiciel (RRL).

SCA R-Check Workflow


En intégrant R Check SCA dans les cycles de développement quotidiens, les développeurs de la RRL observeront des résultats d’essais semblables à ceux produits par l’organisme de certification et pourront confirmer la conformité avant de soumettre toute demande de certification. La réalisation d’essais préliminaires dans le même cadre que celui de l’organisme de certification améliore le temps de déploiement et réduit les dépenses de développement en diminuant le recours nécessaire à des exercices coûteux et à la présentation répétée de demandes de certification.

L’association entre le CRC et Reservoir Labs a mené à la création d’un nouveau plugiciel pour SCA Architect. L’intégration du plugiciel R Check SCA à SCA Architect élève l’expérience de développement à un nouveau niveau. Le CRC est toujours à la recherche de façons d’accélérer l’élaboration et de raccourcir le cycle de développement. Le plugiciel R Check SCA constitue définitivement un pas dans cette direction. Avec R Check, les développeurs peuvent désormais vérifier la conformité de leurs composants à l’ALC, et ce, dès la génération du code source.

Le CRC et Reservoir Labs ont collaboré étroitement pour commercialiser une solution offrant un degré inégalé d’intégration entre un outil de modélisation et un outil de validation. Dans SCA Architect, R Check valide automatiquement tous les codes générés par l’utilisateur. La modification du code source déclenche automatiquement R Check. Cette approche incrémentielle est discrète et très efficace. En outre, les problèmes décelés par R Check s’affichent automatiquement dans la fenêtre standard d’Eclipse. Ainsi, le navigateur du projet est mis à jour et il présente les composants incompatibles.

Dans le but de garantir un degré très élevé d’intégration, on a vérifié la compatibilité de R Check avec plusieurs centaines de fichiers source produits par SCA Architect à l’aide de la très longue liste de modèles d’essai du CRC, ce qui a permis d’obtenir une intégration transparente entre les deux outils.

Le CRC et Reservoir Labs s’engagent à poursuivre leur collaboration. On peut se procurer une licence d’utilisation de R Check SCA directement auprès du CRC.

SCA Architect n’est qu’un seul élément du développement de l’ALC. Le CRC propose la suite logicielle SCARI, l’environnement de développement intégré le plus populaire. Cette solution comprend le seul cadre de base commercial à avoir été déployé sur des champs de bataille. Le très petit cadre de base ultrarapide du CRC, appelé « SCARI GT », est également utilisé par des fabricants d’appareils radio du monde entier.

Survol des caractéristiques de SCA Architect

  • Importation et refactorisation des profils de domaine de l’ALC
  • Validation des modèles en temps réel
  • Modélisation graphique claire
  • Génération de codes sans fusion pour un développement rapide des applications
  • Gestion des configurations, projets communs
  • Et maintenant, vérification transparente de la conformité du code source à l’aide du plugiciel R Check tout au long du cycle ordinaire de modification, de recompilation et d’exécution

Survol des caractéristiques de R Check SCA

  • Soutien intégré pour les versions 2.2 et 2.2.2 de l’ALC
  • Analyse statistique et mise à l’essai simultanée de tous les codes, notamment pour plusieurs types de fichiers
  • Découverte des violations avant l’intégration du système
  • Mise en correspondance directe des violations avec des documents de référence de l’ALC

Information:

Steve Bernier
Gestionnaire de programmes de recherche
Radio réalisée par logiciel
613 990 6343
steve.bernier@crc.gc.ca
www.crc.gc.ca/rrl