Entreprise : PragmaDev

Lauréate du concours national du ministère de la recherche 2001, la société PragmaDev offre le premier outil basé sur le langage SDL-RT pour le développement des applications temps réel et embarquées.

SDL-RT est un profil UML pour les applications temps réel et embarquées s'appuyant sur le SDL standardisé par l'Union Internationale des Télécommunications. Il complète la description UML et introduit les concepts manquants dans le SDL tout en conservant les avantages des langages originaux: - orientation objet (UML) - abstraction graphique (SDL) - précision (C/C++)

Outre l'édition et la vérification de modèles SDL-RT, notre outil permet de faire du débogue graphique au niveau SDL-RT avec des traces MSC sur station hôte et sur cible.

Vous pouvez trouver d'autres informations complémentaires sur notre site web: http://www.pragmadev.com