PragmaDev - Societe

Profil

PragmaDev, lauréat du concours national du ministère de la recherche 2001 pour la création d'entreprises de technologies innovantes, est une société indépendante basée à Paris France qui fournit une suite d'outils pour le développement des applications temps réel et embarquées: Real Time Developer Studio.

Real Time Developer Studio cible toutes les équipes de développement travaillant avec un système d'exploitation temps réel, un séquenceur, ou un exécutif temps réel. L'outil s'appuie sur des représentations graphiques standard de concepts traditionnels dans le domaine du temps réel tout en intégrant le code existant représentant des années d'expérience en couvrant les phases d'Analyse, de Spécification, de Conception, de Simulation, de Validation, de génération de code, d'intégration et de débogue sur cible. Son approche pragmatique et son bas prix ont pour objectif une large diffusion dans un domaine où 90% des développements n'utilisent aucun outil graphique.

PragmaDev compte parmi ses références clients Airbus, Alcatel, Thomson, Nortel Networks, Toshiba, ESA, la DGA, Korean Telecom, LG, et Wipro.

Technologie

Real Time Developer Studio est un outil pour le développement des applications temps réel embarquées basé sur les langages graphiques standards et publics LDS (Langage de Description et de Spécification), SDL-RT et UML (Langage de Modélisation Unifié). Plus précisément, SDL-RT est une combinaison des standards: UML, LDS, C et C++ qui est la plus adaptée pour modéliser les applications temps réel et embarquées. C'est aujourd'hui ce qu'on appelle un profil UML temps réel dans lequel chaque service du système d'exploitation temps réel est représenté par un symbole dédié tels que les sémaphores, les temporisations, les messages, les files d'attente, l'architecture en tâches concurrentes, ou les machines d'état tout en intégrant le code C existant représentant des années d'expérience. Les développeurs temps réels s'y retrouvent immédiatement car tous ces concepts leurs sont familiers.

Vision

Le marché des applications temps réel et embarquées est un segment à forte croissance où se retrouvent les technologies les plus récentes. De nombreux langages de modélisation et outils associés ont essayé de séduire ce marché. Le résultat est plutôt décevant puisque 90% des développements se font avec des langages textuels traditionnels alors que la complexité des applications croît exponentiellement. Il faut reconnaître que les nouveaux outils et langages ont une fâcheuse tendance à la révolution technologique systématique et à faire table rase de l'existant.

Notre analyse est que les éditeurs d'outils ont en fait plus tendance à répondre à un standard technologique plutôt qu'à un réel besoin utilisateur. Pour avoir participer à des réunions de standardisation, on peut mesurer la distance qui peut exister entre les deux.

L'introduction du SDL-RT est une opportunité pour les développeurs temps réel qui ont pour la première fois à leur disposition un formalisme dédié où chacun des concepts qu'ils utilisent tous les jours a une représentation graphique tout en intégrant du code C et/ou C++. La simplicité inhérente au SDL-RT permet d'offrir un environnement de développement avancé à un prix raisonnable et une prise en main rapide en comparaison d'autres outils de modélisation.

SDL-RT est aussi un langage de modélisation qui permet d'avoir une approche plutôt fonctionnelle ou plutôt objet suivant l'expérience et la méthodologie adoptée par l'équipe de développement.

Du côté des standards, l’ambiguïté inhérente due aux variations sémantiques d’UML ont montré l’intérêt de profils basés sur des langages formels tels que le LDS (Z.100) standardisé par l’Union Internationale des Télécommunciations (UIT). La standardisation par l’UIT d’un profil UML basé sur le LDS (Z.109) démontre ce besoin et font naturellement converger ces différentes approches vers le SDL-RT.