Browsing by Author "Boutekkouk, Fateh"
Now showing 1 - 17 of 17
Results Per Page
Sort Options
Item A cellular automaton based approach for real time(Springer, 2015) Boutekkouk, FatehReal Time Embedded Systems are becoming ubiquitous. Since these systems have autonomous batteries, their design must minimize power consumption in order to extend batteries life time. On the other hand, Cellular Automaton (CA) appears a good choice to simulate the future behavior of complex dynamic and parallel systems. Due to some intrinsic characteristics such as neighborhood and local transitions, CA can exhibit some complex behaviors. In this work, we apply CA to model the well known problem of Real time scheduling and eventually to optimize the power consumption of a Real time multicores embedded system with periodic tasks. CA algorithm is focused on the so-called technique: Dynamic Voltage Scaling (DVS). The proposed CA is a 2D grid.Item Analyse des images couleur bruitées à l'aide des hypergraphes flous intuitionnistes(Univérsité Oum El Bouaghi, 2020) Sahel, Narimane; Boutekkouk, FatehDans ce mémoire, nous nous intéressons à la modélisation et l’analyse d’images numériques couleur par le biais de la théorie des hypergraphes et en particulier les hypergraphes flous intuitionnistes. Ces derniers nous permettent d’analyser et d’améliorer la qualité d’images susceptibles de porter des incertitudes liées par exemple aux niveaux d’intensité des pixels en raison de défauts d’acquisition, de l’environnement bruité, de mauvaises conditions d’éclairage ou d’autres mécanismes d’imagerie. Notre contribution effective réside en la génération automatique d’hypergraphes flous intuitionnistes à partir d’une image couleur puis d’appliquer quelques algorithmes extrais de la théorie d’hypergraphes pour la suppression du bruit, de segmentation et de détection de contours. Les résultats obtenus sont très encourageants.Item Discrete event simulation of embedded systems from graphical notations(IEEE, 2010) Boutekkouk, Fateh; Benmohammed, MohamedIn this paper, we present our approach for discrete event simulation of embedded systems. In our case, embedded systems are modelled via UML diagrams with some extensions. From UML diagrams a discrete event simulation model is generated. We use the latter model to estimate system performance.Item Etude de l'apport de la méthode B dans la conception des application embarquées critique pour l'automobile(Université Oum El Bouaghi, 2018) Merouani, Imad; Boutekkouk, FatehLa méthode B, ainsi que son extension Event-B, sont des méthodes formelles utilisées pour le développement de systèmes informatiques dont l'exactitude doit être formellement établie. Un développement B événementiel est une spécification incrémentale de plusieurs machines/contextes. Il débute par une spécification mathématique abstraite du système et s'achève par le code informatique correspondant. Un grand atout d'Event-B est la plate-forme RODIN, qui est basée sur Eclipse et qui peut être étendue à l'aide de plug-ins. Le plugin iUML-B est la combinaison de la notation UML et de la méthode Event-B. Il permet de générer un code Event B de façon automatique à partir de deux vues : statique (diagrammes de classes) et dynamique (diagramme états transition). La vue fonctionnelle n'est pas prise en compte par RODIN. Pour remédier à ce problème, nous proposons un flot de spécification et de vérification formelle basé sur la notation UML et l'Event B. Ce flot se procède par raffinement successif en partant d'une spécification très abstraite purement fonctionnelle basée sur le diagramme des cas d'utilisation d'UML jusqu'à l'obtention d'une machine concrète implémentable sur un ordinateur. Pour valider notre démarche, nous avons appliqué notre flot à une étude de cas réelle à savoir " le système de régulation de vitesse de l'automobile ".Item Génération automatique de diagrammes sysml à partir du code vhdl(Université Oum El Bouaghi, 2013) Fartas, Okba; Boutekkouk, FatehCes dernières années, le standard Sys ML a attiré beaucoup d'attentions auprès des concepteurs du matériel. A l'instar d'UML, Sys ML a été déjà utilisé pour générer de manière automatique un code de description matériel (HDL) écrit en System, Verilog et VHDL. Contrairement à la plupart des travaux existants, nous proposons dans ce mémoire une nouvelle approche de rétro ingénierie pour générer les diagrammes Sys ML de définition du bloc et de bloc interne à partir du code VHDL. La génération du code s'effectue en faisant référence à un ensemble de règles de correspondance entre les concepts Sys ML et VHDL. L'apport de notre travail est de faciliter la maintenance et la compréhension des programmes VHDL auprès les concepteurs matériel et même logiciel et cela c'est grâce aux modèles graphiques offerts par Sys ML.Item Maude Specification Generation from VHDL(Springer, 2013) Boutekkouk, FatehIn this paper, we present our flow that permits Maude specification generation from VHDL code. Firstly, a XML like Intermediate Format (IF) is created showing VHDL structures and statements in a hierarchical form. This format is an abstraction of the original VHDL code. Secondly, a Maude code is generated from this IF. Both Hardware system Maude specification and properties are then passed to the Maude model checker for verification purpose. Our idea is thus to combine between VHDL simulation and Maude based formal verification capabilities for hardware systems validation. The impetus behind this cooperation between simulation and formal verification is to enable hardware designers to discover errors that could not be detected by VHDL discrete event simulator.Item Optimisation de l'ordonnancement/allocation dans les systèmes embarqués distribués temps réel(Université d' Oum El Bouaghi, 2014) Oubadi, Soumia; Boutekkouk, FatehLa réalisation des systèmes embarqués temps réel qui sont devenus maintenant de grande importance et que l'on trouve dans plusieurs domaines, à savoir l'automobile, l'avionique, la robotique, etc. nous oblige à résoudre les problèmes d'allocation et d'ordonnancement temps réel pour des architectures multiprocesseurs hétérogènes et distribuées, en respectant des contraintes multiples de précédence, de temps, de ressources, etc. Dans ce travail, un mécanisme d'allocation et d'ordonnancement préemptif temps réel de tâches et de messages basé sur le critère du temps et de priorités est employé. Ce mécanisme doit garantir l'exécution de toutes les tâches périodiques et apériodiques du système sur l'architecture multiprocesseurs en respectant les relations de dépendances ainsi que les contraintes temporelles. La conception efficace de ces systèmes nécessite des méthodes puissantes et précises pour optimiser leurs performances. Pour cela, nous avons développé une nouvelle approche en faisant une hybridation entre les algorithmes génétiques et les principes de la mécanique quantique. Cette approche dite algorithme génétique inspiré-quantique, repose sur une représentation quantique pour le codage de l'espace de recherche. La particularité de cette approche est l'utilisation d'une population de taille nettement inférieure et la manipulation d'un nombre d'itérations raisonnable. L'obtention d'un meilleur ordonnancement de tâches est faite grâce aux opérateurs quantiques, qui sont basées sur des principes de l'informatique quantique comme la superposition d'états, et l'interférence. Les résultats expérimentaux ont montré une amélioration par rapport aux algorithmes génétiques classiquesItem Optimisation des performances dans les systèmes embarqués distribués(Université Oum El Bouaghi, 2013) Bounabi, Chafia; Boutekkouk, FatehLes systèmes embarqués distribués temps réel sont de plus en plus présents dans notre quotidien. Ils remplacent la version centralisée d’un système embarqué avec plusieurs contrôleurs indépendants qui sont reliés entre eux par un bus partagé, une hiérarchie de bus ou un réseau de communication. L’estimation et l’optimisation des performances au niveau des systèmes embarqués distribués temps réel sont deux étapes cruciales dans la conception de tels systèmes. Nous présentons dans ce travail, notre solution qui consiste à appliquer les algorithmes génétiques multi-objectifs pour optimiser les performances d’un système embarqué distribué temps réel dirigé par le temps avec des contraintes dures et souples à bus partagé en s’appuyant sur la technique dite : Mise à l’échelle (adaptation) de tension et de fréquence. Les trois objectifs à minimiser sont : l’énergie, le temps moyen de réponse et le nombre des tâches qui ne respectent pas leurs échéances. Puisque ces objectifs sont contradictoires, nous avons adopté la technique d’agrégation pondérée.Item Optimisation multiobjectif et son application aux problèmes bioinformatique(Université de Larbi Ben M’hidi-Oum El Bouaghi, 2021) Mahdi, Samir; Boutekkouk, FatehL'activité de recherche de cette thèse s'inscrit dans deux thèmes principaux : l'optimisation multiobjectif et la bioinformatique. Nombreux problèmes rencontrés en bioinformatique peuvent être formulés comme problèmes d'optimisation. L'approche multiobjectif apporte de nombreux avantages aux biologistes en termes de qualité et de choix de la solution à retenir. Il s'agit d'une part, de tirer parti de l'aspect contradictoire des objectifs pour parvenir à un bon compromis (un équilibre) améliorant la qualité (biologique) des solutions et, d'autre part, la possibilité d'obtenir plusieurs solutions en une seule exécution donnant ainsi plus de choix au décideur pour des solutions biologiquement significatif. Dans cette thèse, nous allons établir un état de l'art décrivant l'avantage de l'application potentielle de l'optimisation multiobjectif dans différents problemes de bioinformatique. Comme étude de cas, nous avons choisi le problème le plus traité en bioinformatique : L'alignement multiple de séquences (MSA). Le but est de préciser les différentes problématiques, de proposer de nouveaux schémas de résolution et de valider les méthodes développées sur des benchmarks. La motivation principale de ce travail de recherche est de contribuer au développement des algorithmes d'optimisation multiobjectif de façon à rendre leur application aux problèmes bioinformatique la plus efficace possible en temps de calculs (raisonnable), en qualité de solutions produites et pouvant traiter des problèmes de grande tailles. Nous nous sommes intéressés au développement de méthode hybride méta-exacte. Nous avons conçu une méthode de recherche locale GPLS qui fonctionne sur les positions des gaps pour améliorer tous les descendants produits par NSGA-II : l'algorithme de référence d'optimisation multiobjectif. Pour augmenter la précision de l'algorithme produit M-NSGA-II, nous allons appliquer l'algorithme exact de Needleman et Wunsch sur des sous-alignements de quelques solutions du front de Pareto. يندرج النشاط البحثي لهذه الأطروحة تحت موضوعين رئيسيين: التحسين متعدد الأهداف والمعلوماتية الحيوية. يمكن صياغة العديد من المشكلات التي تمت مواجهتها في المعلوماتية الحيوية على أنها مشكلات تتعلق بالتحسين يجلب النهج متعدد الأهداف العديد من المزايا لعلماء الأحياء من حيث الجودة واختيار الحل الذي سيتم اعتماده. يتضمن ذلك، من ناحية، الاستفادة من الجانب المتناقض للأهداف للوصول إلى حل وسط جيد )توازن( تحسين الجودة )البيولوجية( للحلول، ومن ناحية أخرى، إمكانية الحصول على عدة حلول واحدة. وبالتالي، فإن الحلول تعطي مزيدًا من الخيارات لصانع القرار للحصول على حلول ذات مغزى بيولوجيًا. في هذه الأطروحة، سننشئ حالة من الفن تصف ميزة التطبيق المحتمل للتحسين متعدد الأهداف في مشاكل المعلوماتية الحيوية المختلفة. كدراسة حالة، اخترنا المشكلة الأكثر مناقشة في المعلوماتية الحيوية: محاذاة التسلسل المتعدد )MSA(. الهدف هو تحديد القضايا المختلفة، واقتراح مخططات حل جديدة والتحقق من صحة الأساليب التي تم تطويرها على أساس المعايير. الدافع الرئيسي لهذا العمل البحثي هو المساهمة في تطوير خوارزميات متعددة الأغراض لجعل تطبيقها على مشاكل المعلوماتية الحيوية بأكبر قدر ممكن من الكفاءة من حيث الوقت الحسابي )المعقول(، كحلول منتجة وقادرة على التعامل مع المشاكل الكبيرة. الأحجام. نحن مهتمون بتطوير الطريقة exacte-meta الهجينة. لقد صممنا طريقة بحث محلية لـ GPLS تعمل على مواضع الفجوات لتحسين جميع الأحفاد التي تنتجها II-NSGA: خوارزمية التحسين المعيارية متعددة الأهداف. لزيادة دقة خوارزمية منتج II-NSGA-M، سنطبق الخوارزمية الدقيقة لـ Needleman و Wunsch على المحاذاة الفرعية لبعض حلول .front ParetItem Simulation basée agents de réseau TTP/C(Université Oum El Bouaghi, 2012) Boudjemaà, Safa; Boutekkouk, FatehCe travail porte sur la simulation basée agents de réseau TTP/C, l'une des réseaux embarqués appliqués dans le domaine de l'automobile. Cette simulation réalisé un système multi-agents dont les agents représentant les noeuds de réseau, et la mise en oeuvre de ce système est validée parla plate-forme multi-agents JADE. J'ai introduit dans le premier chapitre une vue globale des systèmes embarqués appliqués dans notre vie, et plus précisément dans le domaine informatique. Ensuite je me suis concentré sur ces systèmes dans le domaine de l'automobile, et l'architecture embarqués TTA. Dans Le deuxième chapitre, je représentai en détaille le réseau embarqué TTP/C, ces caractéristique et les différente services tolérants aux fautes. Le troisième chapitre définit le paradigme des systèmes multi-agents et la simulation basée agents. Le chapitre suivant est consacré à la modélisation des agents et les principaux diagrammes d’AUML. Le dernier chapitre concerne la réalisation de l’application développée, et l’outil utilisé pour cette réalisation qui est la plate-forme JADE. L’application de concept d’agent aux réseaux embarqués de l’automobile et plus précisément le réseau TTP/C n ’est pas encoure validée, mais cette aidé représente une nouvelle manière de résoudre la complexité de ce type de réseaux.Item Simulation bassé agents des protocoles de communication des systèmes embarqués distribués temps réel pour l'automobile(Université d' Oum El Bouaghi, 2014) Zaidi, Sofiane; Boutekkouk, FatehDans ce mémoire nous présentons notre approche pour la modélisation et la simulation des services de base des protocoles TTP et FlexRay pour les systèmes embarqués distribués temps réel de l'automobile, tels que l'initialisation du cluster, l'appartenance et l'acquittement, la synchronisation d'horloges, l'envoi et la réception des messages, la détection et le traitement d'erreurs pour le protocole TTP, et le processus de réveil des noeuds du cluster, l'initialisation du cluster, la synchronisation d'horloges, l'envoi et la réception des messages dans les segment statique et dynamique pour le protocole FlexRay. Chaque architecture du protocole TTP ou FlexRay proposée est modélisée à l'aide de la méthodologie O-MaSE sous forme d'un système multi-agent et implémentée sous la plateforme Jade. Nous développons une ontologie Jade et un environnement qui offrent une interprétation automatique des différents champs de la trame (TTP et FlexRay) et de simuler les services de base de ces deux protocoles respectivementItem Spécification formelle du protocol TTCAM(Université Oum El Bouaghi, 2011) Rouibi, Fatma Zohra; Boutekkouk, FatehCette étude se situe dans un contexte de fort développement des applications automobiles basées sur l'électronique, en vue de remplacer certaines pièces mécaniques, tels les systèmes de freinage, de direction. Le protocole le plus utilisé actuellement est CAN, mais il ne suffit pas aux applications nécessitant un haut degré de sécurité. D'autres protocoles ont donc été développés, selon le paradigme Time-Triggered (selon un ordonnancement prédéfini), comme TTA, Flex ray. En effet, ce type de protocoles est plus facile à valider. De la rencontre de CAN et des protocoles Time-Triggered est issu TTCAN. C 'est ce protocole auquel nous allons nous intéresser. Il est indispensable pour un protocole destiné à des applications à haut niveau de sécurité de disposer d'une validation formelle. On va étudier son comportement temporel à l'aide de l’outil Mande qui fait une spécification formelle du comportement du protocole à l'aide de sa syntaxe basée sur les règles de réécriture de la logique de réécriture. On va faire une spécification formelle du protocole TTCAN par le langage Mande, On a fait une brève description du protocole CAN et TTCAN, et on a fait la conception de ce protocole a l'aide des automates et on fait une spécification de cette automate par le langage Mande.Item Spécification formelle du protocole TTP/C(Université Oum El Bouaghi, 2011) Khelifi, Aymen; Boutekkouk, FatehDans notre étude on a fait la spécification formelle des deux algorithmes existant dans le protocole de véhicule TTP/C (Time-Triggered Architecture) qui sont l'algorithme de démarrage des noeuds et celui de bus gardien, notre outil est RT Maude car elle fournit des spécifications en fonctionne du temps. On a aussi testé le bon déroulement de cette spécification avec les propriétés à vérifier à l'aide d'un moyen (Model Checker) donné par le langage Maude.Item System level energy consumption optimization in network on chip (NoC) for mulimedia applications(Université d' Oum El Bouaghi, 2017) Belkebir, Djalila; Boutekkouk, FatehAujourd'hui, avec l'avènement de nouvelles technologies d'intégration à très grande échelle, les réseaux sur puce sont considérés comme une solution prometteuse, offrant des coûts réduits et une haute flexibilité et performance par rapport aux systèmes sur puce à bus. Cependant, les applications multimédia actuelles intégrées sont de plus en plus de calcul intensif en raison du grand nombre de fonctions intégrées. Ces applications sont souvent mappés sur des systèmes mobiles qui doivent fonctionner à faible consommation d'énergie, mais l'accent est non pas mis sur la mise en oeuvre d'une seule application sur des plates-formes multi-coeurs, mais en utilisant une seule puce qui prend en charge des scénarios multi-applications ainsi que les stratégies du mapping projetant les tâches d'application sur la puce devraient réduire au maximum la consommation d'énergie sous contraintes temporelles. En effet, les algorithmes génétiques sont largement utilisés pour résoudre des problèmes complexes pour leurs mises en oeuvre faciles et la réalisabilité de l'optimum global avec une solution approchée correcte, mais les algorithmes évolutionnaires inspirés de la quantique ont surpassés les algorithmes évolutionnaires classiques pour leurs capacités de résoudre des problèmes complexes dans un temps polynomial est d'équilibrer entre l'exploration et l'exploitation de l'espace de solution et obtenir également de meilleures solutions, même avec une petite population. De l'autre coté, les automates cellulaires sont des systèmes dynamiques où l'une de leurs principales caractéristiques est la règle de transition qui est représentée par une structure très simple, mais le résultat de leurs comportements globaux peut être très complexe. La simplicité des automates cellulaires et le modèle mathématique rigoureux sur lequel sont fondés sont les raisons d'être fortement favoris pour être utilisé dans les systèmes complexes et en particulier dans les réseaux sur puce, où un grand nombre de processeurs sont intégrés sur une seule puce qui devrait supporter un débit élevé, une faible latence et une communication de données sous contraintes temporelles et énergétiques. Pour cela, dans le contexte de notre thèse, nous étudions comment les algorithmes génétiques quantiques peuvent évoluer les automates cellulaires pour optimiser la consommation d'énergie pour les applications multimédia sur réseau sur puce à topologie Mesh 2D où chaque règle de transition représente un chromosome qui permet une programmation automatique des nouvelles règles de transition. Nous montrons que les automates cellulaires évolutionnaires quantiques est une technique favorable qui stimule le processus de découverte de règles efficaces qui conduisent à une meilleure fonction de fitness. Dans notre travail, nous nous somme intéressés par l'optimisation de la consommation d'énergie dynamique bien que l'estimation prenne en compte la consommation d'énergies dynamique et statiqueItem The Development of reliable routing algorithms for network on chip(Univérsité Oum El Bouaghi, 2020) Touati, Habib Chawki; Boutekkouk, FatehWith the ability to embed hundreds of cores on a single chip, solving communication related issues became of paramount importance. Bus-based architectures have been predominantly used as the principal interconnect for Systems on Chip, nonetheless, their complexity increases drastically with the integration of a large number of cores and traffic saturation happens rather quickly. Crossbars have equally served as on-chip interconnects, yet they still scale poorly, requiring a large area footprint while consuming high amounts of energy. To overcome the limited scalability of the aforementioned interconnects and in order to tackle the complex problems and demands of future System on Chip designs, as well as the numerous communication challenges such as wiring complexity, communication delays and power consumption, Network on Chip was proposed. Inspired by the great success of switch-based networks and packet-based communication, wherein cores are interconnected via bidirectional channels and exchange data in the form of packets, transmitted by means of routers. It alleviates some of the major issues of bus-based systems, such as scalability, modularity and reusability. The backbone of the communication fabric is the routing algorithm, which is in charge of forwarding data packets along the most appropriate routes to their eventual destination. It plays a vital role confronting numerous issues that contribute to performance deterioration. Congestion happens to be one of the predominant problems that contribute to the obstruction of data packets and the increase of communication delays. The most effective way to limit its impact is through the implementation of a reliable, congestion aware routing algorithm, capable of adapting to the ever-changing congestion conditions of the network and able to select the less congested routes for the transmission of data packets. In this thesis, we analyze and evaluate the performance of an extensive list of on-chip routing schemes and extract the features that we believe are most beneficial in the design of reliable, congestion-aware routing algorithms for Network on Chip. We then present our novel congestion propagation network, which enables a global view that will be exploited by our proposed minimal fully adaptive, congestion aware routing algorithms for mesh-based Network on Chip. The algorithms strike a balance between locally and globally congestion aware routing, in that they do not rely solely on local congestion information nor on irrelevant global congestion, while still offering a fair comparison along the entire way of data packets. For that, we propose a weight distribution technique as well as a categorization protocol based on the congestion levels of network nodes. The various experimental results highlight the proposed algorithms' effectiveness over state of the art on-chip routing algorithms with regard to average packet latency and average accepted packet rate, under the different system configurations. مع القدرة على دمج مئات النوى في شريحة واحدة، أصبح حل المشكلات المتعلقة بالاتصال ذا أهمية قصوى داخل الأنظمة القائمة على الرقاقة. تم في السابق استخدام العديد من البنى الأساسية للربط بين الأنوية، ولكن تعقيدها يزداد بشكل كبير مع تزايد عدد النوى حيث تتشبع بسرعة كبيرة، كما أنها تتطلب مساحة كبيرة وتستهلك كميات كبيرة من الطاقة. للتغلب على قابلية التوسع المحدودة للبنيات الأساسية المذكورة أعلاه ومن أجل معالجة المشاكل المعقدة ومتطلبات تصميمات الأنظمة المستقبلية، بالإضافة إلى تحديات الاتصال العديدة مثل تعقيد الأسلاك ووقت الاستجابة واستهلاك الطاقة، تم اقتراح الشبكات القائمة على الرقاقة. مستوحاة من النجاح الكبير للشبكات القائمة على التبديل والاتصالات القائمة على الحزم، حيث يتم ربط النوى عبر قنوات ثنائية الاتجاه ويتم تبادل البيانات في شكل حزم يتم إرسالها عن طريق أجهزة التوجيه. تقوم بالتخفيف من بعض المشكلات الرئيسية للأنظمة التقليدية، مثل قابلية التوسع والنمطية وإعادة الاستخدام. العمود الفقري لنسيج اتصالات الشبكة هو خوارزمية التوجيه، حيث أنها المسؤولة عن توجيه حزم البيانات على طول المسارات الأكثر ملاءمة إلى وجهتها النهائية. تلعب خوارزميات التوجيه دورا حيويا في مواجهة العديد من المشكلات التي تساهم في تدهور الأداء. يعتبر الازدحام أحد الأسباب الرئيسية لذلك، حيث يساهم في إعاقة حزم البيانات وزيادة زمن الوصول الإجمالي. الطريقة الأكثر فعالية للحد من تأثيرها هي من خلال تنفيذ خوارزمية توجيه موثوقة، قادرة على التكيف مع ظروف الازدحام المتغيرة باستمرار وقادرة على تحديد المسارات الأقل ازدحاما لنقل حزم البيانات. في هذه الأطروحة، نقوم بتحليل وتقييم أداء قائمة واسعة من خوارزميات التوجيه كما نقوم باستخراج الميزات التي نعتقد أنها الأكثر فائدة في تصميم خوارزميات توجيه موثوقة ومتكيفة تماما ومدركة للازدحام في الشبكات القائمة على الرقاقة. نقدم بعد ذلك شبكة نشر معلومات الازدحام الخاصة بنا والتي تتيح رؤية شاملة يتم استغلالها فيما بعد من طرف خوارزميات التوجيه المقترحة. هذه الأخيرة لا تعتمد على معلومات الازدحام المحلي فقط ولا على الازدحام الشامل الغير ذي الصلة وتوفر إلى حد ما حلا وسطا بينهما، مع ضمان مقارنة عادلة على طول الطريق الكامل لحزم البيانات. نقوم كذلك باقتراح تقنية لتوزيع الأوزان بالإضافة إلى بروتوكول تصنيف عقد الشبكة بناءً على مستويات الازدحام. تبين النتائج التجريبية المختلفة فعالية الخوارزميات المقترحة بالمقارنة مع الخوارزميات الأخرى بناء على متوسط زمن انتقال الحزم ومعدل الحزم المقبول.Item UML modeling and formal verification of control/data driven Embedded Systems(IEEE, 2009) Boutekkouk, Fateh; Benmohammed, MohamedIn this paper, we present our approach for UML based modeling of control/data driven Embedded Systems. In our case application is presented as a network of hierarchic data driven and control driven tasks that communicate via abstract channels. Hardware platform is modeled as UML structure diagram. Mapping of application on hardware platform is modeled through UML constraints. From UML models, a Maude specification is generated. We use this formal specification to formally validate system functionality against some undesirable properties and to estimate system power consumption at a high level of abstraction.Item Une Approche basée automate cellulaire pour optimiser les performances dans les systèmes embarqués temps réel(Université Oum El Bouaghi, 2014) Lakhdari, Faouzi; Boutekkouk, FatehLes systèmes embarqués distribués temps réel sont de plus en plus présents dans notre quotidien. Ils remplacent la version centralisée d'un système embarqué avec plusieurs contrôleurs indépendants qui sont reliés entre eux par un bus partagé, une hiérarchie de bus ou un réseau de communication. Depuis que ces systèmes disposent des batteries autonomes, leur conception doit minimiser la consommation énergétique afin de prolonger la durée de vie de ces batteries. La gestion de la consommation d'énergie est devenue donc un enjeu majeur dans tels systèmes. De l'autre coté, les automates cellulaires semblent un bon choix pour simuler le comportement futur des systèmes dynamiques complexes. Ces modèles de calcul possèdent des caractéristiques intrinsèques très intéressantes comme le voisinage et les règles de transition locales à travers lesquelles, un comportement complexe peut émerger à partir des règles simples appliquées sur les cellules constituant l'automate. Nous présentons dans ce travail, notre solution qui consiste à appliquer les automates cellulaires pour modéliser les deux problèmes d'allocation/ordonnancement et éventuellement optimiser la consommation d'énergie au niveau d'un système embarqué multi-calculateurs avec tâches périodiques en s'appuyant sur la technique dite : Mise à l'échelle (adaptation) de tension et de fréquence. L'automate proposé forme une grille 2D dont le voisinage dépend de la stratégie d'ordonnancement appliquée.