-
Open Source | Dossier d’actualité - Yahoo ! Actualités
- 08-07
Des portables HP à base de Llano pour la rentrée des classes
-
Open Source | Dossier d’actualité - Yahoo ! Actualités
- 08-07
Les prix de la NAND devraient se stabiliser
-
Open Source | Dossier d’actualité - Yahoo ! Actualités
- 08-07
11 députés votent le fichage de 45 millions d'honnêtes gens
-
Planet Libre
- 08-07
Lolokai : Bien effectuer sa mise à jour WordPress (de 3.1.4 vers 3.2)
-
Open Source | Dossier d’actualité - Yahoo ! Actualités
- 08-07
iPhone, Android : on ne téléphone plus, on joue !
-
Open Source | Dossier d’actualité - Yahoo ! Actualités
- 08-07
Le Core i7-970 nous quitte
-
Open Source | Dossier d’actualité - Yahoo ! Actualités
- 08-07
MSI vend ses Twin Frozr II au détail
-
Open Source | Dossier d’actualité - Yahoo ! Actualités
- 08-07
AMD et Point Grey vantent les mérite de l'USB 3.0
-
Open Source | Dossier d’actualité - Yahoo ! Actualités
- 08-07
La fin de l'épopée des navettes américaines
-
Open Source | Dossier d’actualité - Yahoo ! Actualités
- 08-07
Une troisième alliance sur le marché des disques durs
Développement orienté modèle : la version 4.1 de RTDS
PragmaDev introduit le support d’ASN.1 et la génération de code statique dans son outil de développement orienté modèle, RTDS.
PragmaDev annonce la sortie de la version 4.1 de RTDS, introduisant "plus de 40 nouvelles fonctionnalités dans son outil de développement orienté modèle dédié aux applications temps réel et embarquées."
L’outil propose trois niveaux de modélisation : informel, semi-formel, et formel. Plus le modèle est formel plus l’outil offre des fonctionnalités telles que la vérification, le test, le prototypage ou la génération de code.
Parmi les nouvelles fonctionnalités :
Les support des données ASN.1 dans les modèles SDL,
La génération de code sans allocation dynamique de mémoire,
L’introduction d’un scheduler C pour la génération de code à partir de modèles SDL,
La couverture de code lors de la simulation d’un modèle SDL,
L’introduction d’un nouveau symbole d’information dans les traces MSC à partir d’un système SDL-RT,
La génération automatique de suites de test TTCN-3 suite à une simulation exhaustive avec les outils IF,
La possibilité de décrire les observateurs de vérification graphiquement,
Introduction d’un outil d’analyse graphique de l’utilisation des licences du PragmaDev License Manager,
Génération de code à partir d’un système uniquement UML,
Génération automatique de documentation à partir du modèle.
Lien : www.pragmadev.com
Vous souhaitez reproduire cet article ?



