DREAM Tool

Εργαλείο Dream είναι ένα γενικό πλαίσιο που στοχεύει στην παροχή μιας κοινής σημασιολογικό πεδίο, το οποίο μπορεί να εκφράσει αρκετές (σε πραγματικό χρόνο, την κατανάλωση ενέργειας, πόρων) περιορισμούς.
Η σημασιολογική περιοχή έχει ένα εκτελέσιμο ++ C μοντέλο που έχει σημασιολογικά αγκυροβολημένο στο υβριδικό αυτόματα φορμαλισμό. Παρά το γεγονός ότι το υπολογιστικό μοντέλο αντιστοιχεί σε υβριδικά αυτόματα, μέχρι τώρα έχουμε επιτυχία στην ανάλυση των μοντέλων με συντηρητική προσέγγιση, χρησιμοποιώντας χρονικά αυτόματα σε μέτρια συστήματα μεγέθους.
Για την αντιμετώπιση παραδείγματα μεγάλης κλίμακας, ο χρήστης έχει τη δυνατότητα να χρησιμοποιήσει τη διεπαφή προσομοίωσης / δοκιμές για το εκτελέσιμο ++ μοντέλο C πριν από την εφαρμογή του συστήματος. Σχεδιάζουμε να επεκτείνει τις γενετικών αλγορίθμων για να λύσει ένα μεγάλο αριθμό προβλημάτων.
Dream είναι ένα πλαίσιο προσομοίωσης και επαλήθευσης, η οποία παρέχει ένα τυπικό μοντέλο και την ανάλυση του συστήματός σας σε λιγότερο από μια ημέρα. Συστήματα σε DREAM προσδιορίζονται με τη χρήση XML με άμεσο τρόπο. Ελπίζω να σας φανεί χρήσιμο.
Σε πραγματικό χρόνο middleware παρέχει αξιόπιστες και αποτελεσματικές πλατφόρμες που υποστηρίζουν βασικές λειτουργικές και την ποιότητα των υπηρεσιών (QoS) τις ανάγκες των κατανεμημένων σε πραγματικό χρόνο ενσωματωμένα συστήματα (DRE).
Βασικές προκλήσεις όσον αφορά τις εξελίξεις σύστημα DRE περιλαμβάνουν ασφαλή σύνθεση των συνιστωσών του συστήματος και χαρτογράφηση των λειτουργικών προδιαγραφών στην πλατφόρμα στόχου. Μοντέλο με βάση τεχνολογίες να βοηθήσουν στην αντιμετώπιση αυτών των ζητημάτων, επιτρέποντας την ανάλυση του χρόνου σχεδίασης και παρέχει τα μέσα για την ταχεία αξιολόγηση των εναλλακτικών λύσεων σχεδιασμού σε σχέση με end-to-end QoS ιδιότητες, προβλεψιμότητα και μέτρα απόδοσης πρίν δεσμεύει σε μια συγκεκριμένη πλατφόρμα.
Η Κατανεμημένα σε πραγματικό χρόνο Ενσωματωμένα μέθοδο ανάλυσης Dream είναι ένα εργαλείο ανοικτού κώδικα και μέθοδος για τη βελτιστοποίηση πολλαπλών ποιότητα της υπηρεσίας (QoS) ιδιότητες που διανέμονται σε πραγματικό χρόνο ενσωματωμένα συστήματα (DRE). Το έργο επικεντρώνεται στην πρακτική εφαρμογή των τυπικών μεθόδων ανάλυσης σε πραγματικό χρόνο middleware για την αυτοματοποίηση της επαλήθευσης, την ανάπτυξη, τη διαμόρφωση, και την ολοκλήρωση του middleware συστήματα που βασίζονται DRE.
Τι νέο υπάρχει σε αυτήν την έκδοση:
· Η έκδοση αυτή υλοποιηθεί αρκετές βελτιστοποιήσεις για τη βελτίωση της επίδοσης του μοντέλου ελέγχου, με αποτέλεσμα την εντυπωσιακή βελτίωση των επιδόσεων τουλάχιστον 2-3 φορές.
· Δεν υπάρχουν γνωστές διαρροές μνήμης παρόντες στην τρέχουσα έκδοση.
· Ισορροπημένα δένδρα AVL χρησιμοποιούνται σήμερα, με αποτέλεσμα την εκθετική επιταχύνσεις σε διάφορα στάδια της μεθόδου έλεγχο μοντέλο.
· Επικύρωση XML Schema τέθηκε σε εφαρμογή.
· Ώρα αναφοράς Επαλήθευσης αναβαθμίστηκε για να συμπεριλάβει δεδομένα σχετικά με τις ταχύτητες της προσομοίωσης.
· Τυχαία δοκιμές προσομοίωσης που βασίζεται παρέχει τώρα ένα ίχνος της εκτέλεσης, όταν η προθεσμία είναι χαμένη.