RÊVE Tool est un cadre générique qui vise à fournir un domaine sémantique commun qui peut exprimer plusieurs (en temps réel, la consommation d'énergie, ressources) contraintes.
Le domaine sémantique a un modèle C ++ exécutable qui a été sémantiquement ancrée au automates formalisme hybride. Bien que le modèle de calcul correspond à automates hybride, jusqu'à présent, nous avons réussi à analyser les modèles par approximation conservatrice en utilisant les automates temporisés sur les systèmes de taille modérée.
Pour faire face à des exemples à grande échelle l'utilisateur a la possibilité d'utiliser l'interface de simulation / d'essai sur le modèle C ++ exécutable avant la mise en œuvre du système. Nous prévoyons d'étendre les algorithmes génétiques pour résoudre un grand nombre de problèmes.
DREAM est un cadre de simulation et de vérification qui fournit un modèle formel et l'analyse de votre système en moins d'une journée. Systèmes dans le rêve sont spécifiées en utilisant XML d'une façon simple. Je l'espère vous le trouvez utile.
Middleware temps réel fournit des plates-formes fiables et efficaces à l'appui des besoins fonctionnels et de qualité de service (QoS) de clés distribuées temps réel (DRE) systèmes embarqués.
Les principaux défis dans l'évolution du système DRE comprennent la composition sûre des composants du système et de cartographier les spécifications fonctionnelles sur la plate-forme cible. Technologies basées sur des modèles aident à résoudre ces problèmes en permettant l'analyse au moment du design et de fournir les moyens pour l'évaluation rapide des alternatives de conception par rapport à la fin-en-bout QoS propriétés, la prévisibilité et des mesures de performance avant de commettre à une plate-forme spécifique.
Le Temps Réel Répartis embarqué Méthode d'analyse DREAM est un outil open-source et la méthode pour optimiser la qualité multiple de service (QoS) de propriétés distribuées temps réel (DRE) systèmes embarqués. Le projet se concentre sur l'application pratique des méthodes d'analyse formelles middleware temps réel pour automatiser la vérification, le développement, la configuration et l'intégration des systèmes d'ERD base middleware.
Quoi de neuf dans cette version:
· Cette version mis en œuvre plusieurs optimisations pour améliorer les performances modèle de contrôle, entraînant des gains impressionnants de performance d'au moins 2-3 fois.
· Il n'y a pas de fuites de mémoire connus présents dans la version actuelle.
· Arbres AVL équilibré sont maintenant utilisés, résultant en des accélérations exponentielles en plusieurs étapes de la méthode modèle de contrôle.
· Validation de schéma XML a été mis en œuvre.
· Rapports de temps de vérification a été mis à jour pour inclure des données sur les vitesses de simulation.
· Tests basés sur la simulation aléatoire fournit désormais une trace d'exécution quand un délai est manquée.
Commentaires non trouvées