فا   |   En
Login
Paper Title Authors Conference Abstract
Real-time Hardware-in-the-loop Test for a Small Upper Stage Embedded Control System Mehrdad Ghorbani
Milad Pasand
Alireza Ghasem Bayati
Neda Baheri
سمپوزیوم بین‌المللی سیستم‌ها و فن‌آوری‌های بی‌درنگ و نهفته RTEST 2018
In this paper, the development of a real-time hardware-in-the-loop (HIL) test for a spacecraft is investigated. The spacecraft mission is to transfer a satellite from 400km circular to 400-7000km elliptical ... more
In this paper, the development of a real-time hardware-in-the-loop (HIL) test for a spacecraft is investigated. The spacecraft mission is to transfer a satellite from 400km circular to 400-7000km elliptical orbit by a small upper stage. The main parts of the mission are de-tumbling, pointing, spin-up, and orbital transfer maneuvers. The developed HIL test aims at demonstrating the performance of the guidance, navigation, and control (GNC) algorithms, simulating the mission operation plan (MOP), completing the end-to-end hardware verification, and testing throughout the whole mission. In the presented framework, four modules are considered: 1) Onboard computer (OBC) and onboard hardware (OBH) module; 2) Onboard software (OBS) module; 3) Flight simulator (FS) module; 4) Logger and command computer (LCC) module. The GNC algorithms and MOP are programmed in the OBC while it communicates with a six degrees of freedom flight simulator, implemented in C# language in the visual studio environment, via CAN bus. The HIL test is performed while sensors have been substituted with dummy thermal samples to simulate their energy consumption function, because the environmental conditions of space and the sensors dependence on the current attitude cannot be duplicated in the laboratory environment. The FS module can be executed in a real-time approach with the frequency of 1 kHz and even faster. All results have been proven to be satisfactory with respect to orbit transfer mission and consequently, the onboard hardware and software are verified to be reliable enough after several repeats of the test. less
In this paper, the development of a real-time hardware-in-the-loop (HIL) test for a spacecraft is investigated. The spacecraft mission is to transfer a satellite from 400km circular to 400-7000km elliptical ... more
خرید مقاله
A Classifier-based Test Oracle for Embedded Software Farshad Gholami
Niousha Attar
Hassan Haghighi
Mojtaba Vahidi-Asl
Meysam Valueian
Saina Mohamadyari
سمپوزیوم بین‌المللی سیستم‌ها و فن‌آوری‌های بی‌درنگ و نهفته RTEST 2018
Despite great advances in different software testing areas, one important challenge, achieving an automated test oracle, has been overlooked by academia and industry. Among various approaches for constructing a test ... more
Despite great advances in different software testing areas, one important challenge, achieving an automated test oracle, has been overlooked by academia and industry. Among various approaches for constructing a test oracle, machine learning techniques have been successful in recent years. However, there are some situations in which the existing machine learning based oracles have deficiencies. These situations include testing of applications with low observability, such as embedded software and multimedia software programs. There are also cases in testing embedded software in which explicit historical data in form of input-output relationships is not available, and situations in which the comparison between expected results and actual outputs is impossible or hard. Addressing these deficiencies, this paper proposes a new black box solution to construct automated oracles which can be applied to embedded software and other programs with low observability. To achieve this, we employ an Artificial Neural Network (ANN) algorithm to build a model which only requires input values, and the program’s corresponding pass/fail behaviors, as the training set. We have conducted extensive experiments on several benchmarks. The results manifest a higher accuracy of the proposed approach comparing with a well-known machine learning based method. less
Despite great advances in different software testing areas, one important challenge, achieving an automated test oracle, has been overlooked by academia and industry. Among various approaches for constructing a test ... more
خرید مقاله
Accelerating Multicore Scheduling in ChronOS Using Concurrent Data Structures Ali Behnoudfar
سمپوزیوم بین‌المللی سیستم‌ها و فن‌آوری‌های بی‌درنگ و نهفته RTEST 2018
Real-time systems are increasingly coming to be implemented in multiprocessor and multicore platforms. In order to achieve full performance gain on these platforms, there is a need for an efficient ... more
Real-time systems are increasingly coming to be implemented in multiprocessor and multicore platforms. In order to achieve full performance gain on these platforms, there is a need for an efficient and scalable implementation. One possible source of inefficiency in these platforms is the shared data structure used for interaction and coordination between threads. In order to prevent race condition resulting from concurrent access to these shared data structures, a locking mechanism is usually used, which while providing safety, limits the performance gain, as at any time, data structure can be accessed by at most one thread of execution. Concurrent data structures try to address these issues. In this work shared data structure used in the context of a real-time multicore scheduling in a real-time operating system is changed to a concurrent version to achieve improved performance and scalability in these platforms. less
Real-time systems are increasingly coming to be implemented in multiprocessor and multicore platforms. In order to achieve full performance gain on these platforms, there is a need for an efficient ... more
خرید مقاله
Online Data-Driven Synchronization for IoT Systems with Unidirectional Network Seyed Hossein Hosseini Zahani
سمپوزیوم بین‌المللی سیستم‌ها و فن‌آوری‌های بی‌درنگ و نهفته RTEST 2018
In this paper, we present an online method in unidirectional IoT systems to synchronize the data streams of multiple sensors, including wearable and environmental. Our proposed method is based on ... more
In this paper, we present an online method in unidirectional IoT systems to synchronize the data streams of multiple sensors, including wearable and environmental. Our proposed method is based on information theory concepts. First we use an entropy-based method to find events on environmental sensors data stream. After that, we use mutual information matching algorithm to find corresponding event in wearable sensors data stream. Indeed, we use physical interactions between wearable and environmental sensors in order to find shared events. Our experiments demonstrate that our proposed method can improve the quality of sensors data stream and therefore it can be used for the monitoring task in unidirectional IoT systems. less
In this paper, we present an online method in unidirectional IoT systems to synchronize the data streams of multiple sensors, including wearable and environmental. Our proposed method is based on ... more
خرید مقاله
Semi-partitioned Scheduling Hard Real-time Periodic DAGs in Multicores Mojtaba Hatami
Mahmoud Naghibzadeh
سمپوزیوم بین‌المللی سیستم‌ها و فن‌آوری‌های بی‌درنگ و نهفته RTEST 2018
Recent trends in real-time systems are towards multicores and parallel processes in the form of directed acyclic graphs. The scheduling aspect of such systems has been worked on and many ... more
Recent trends in real-time systems are towards multicores and parallel processes in the form of directed acyclic graphs. The scheduling aspect of such systems has been worked on and many methods are developed. Nevertheless, the need for more efficient approaches which can use fewer number of cores has not vanished. Semi-partitioned scheduling of hard real-time parallel tasks in multicores is studied in this paper. Since there is no benefit in completing a task much before its deadline, after scheduling a parallel task, if it is beneficial for other tasks, the execution of this task is further moved towards its deadline, i.e., stretching, to make room for tasks with closer deadlines. A new concept, prior+, load of tasks is used to rank all tasks of each directed acyclic graph and order them for scheduling. The scheduler is offline and the schedule map is used during run time. One benefit of this is the reduction of the scheduling overhead during run time which helps to safely accept loads. The comparative evaluations show the algorithms performance is superior to the state of the art ones. It also confirmed that the new concept of prior+ load of a task is very effective in scheduling real-time directed acyclic graphs and suggests that it can as well be useful in scheduling workflows. less
Recent trends in real-time systems are towards multicores and parallel processes in the form of directed acyclic graphs. The scheduling aspect of such systems has been worked on and many ... more
خرید مقاله
Energy Debugging of Android Applications based on User Behavior Boshra Taheri
Fathiyeh Faghih
سمپوزیوم بین‌المللی سیستم‌ها و فن‌آوری‌های بی‌درنگ و نهفته RTEST 2018
In recent years, Android have become a popular operating system for smartphones. Regarding this growing trend, a wide variety of ... more
In recent years, Android have become a popular operating system for smartphones. Regarding this growing trend, a wide variety of applications are being developed for this platform. Due to limited energy supply on such smartphones, the energy consumption of an application plays a significant role in users’ satisfaction. Recent studies in this field reveals that a considerable number of applications suffer from energy issues. To this end, we are going to provide a systematic framework for application developers aiming to improve the level of energy consumption in application. In this research, we elaborate a profiling technique in order to model users’ behavior in accordance with how they use the application. less
In recent years, Android have become a popular operating system for smartphones. Regarding this growing trend, a wide variety of ... more
خرید مقاله
ارائه الگوريتمي به منظور کشف جوامع هم‌پوشان به صورت سلسله مراتبي براساس بازي تشکيل ائتلاف نرجس ظهيري
سيد مهدي وحيدي‌پور
جواد سليمي
بیست و چهارمین کنفرانس ملی سالانه انجمن کامپیوتر ایران
يکي از مسائل مهم در شبکه‌هاي اجتماعي، تشخيص جوامع است که در سال‌هاي اخير روش‌هاي متعددي براي آن ارائه شده است. نظريه بازي‌ها از روش‌هاي نوين در اين زمينه ... more
يکي از مسائل مهم در شبکه‌هاي اجتماعي، تشخيص جوامع است که در سال‌هاي اخير روش‌هاي متعددي براي آن ارائه شده است. نظريه بازي‌ها از روش‌هاي نوين در اين زمينه است. در اين مقاله، مسئله تشخيص جوامع هم‌پوشان با استفاده از بازي تشکيل ائتلاف مدل و سپس حل شده است. در جوامع هم‌پوشان هر فرد مي‌تواند عضو چندين گروه باشد. در اين راستا الگوريتمي سلسله مراتبي مبتني بر بازي تشکيل ائتلاف ارائه شده است. از عمده‌ترين نقاط ضعف الگوريتم مورد استفاده، وابستگي بيش از حد آن به يکي از پارامترها مي‌باشد به نحوي که براي ديتاست‌هاي مختلف مقادير متفاوتي دارد. در اين مقاله با بکارگيري معيار فاصله وابستگي به اين پارامتر از بين رفته است. معيار فاصله در تمامي فرمول‌ها تاثير داده شده است و براي اولين بار بازي تشکيل ائتلاف در تشخيص جوامع با استفاده از مفهوم فاصله توسعه داده شده است. علاوه بر از بين بردن حساسيت به پارامتر در الگوريتم جديد، آزمايش‌هاي انجام شده نشان مي‌دهد که کيفيت جوامع تشخيص داده شده به طور ميانگين ۴ درصد بهتر شده است. less
يکي از مسائل مهم در شبکه‌هاي اجتماعي، تشخيص جوامع است که در سال‌هاي اخير روش‌هاي متعددي براي آن ارائه شده است. نظريه بازي‌ها از روش‌هاي نوين در اين زمينه ... more
خرید مقاله
تشخيص جامعه‌هاي همپوشان براساس انتشار برچسب با روش نگاشت - کاهش فاطمه قوانلوي قاجار
عطيه شريعتي مهر
نرجس خيامي شاد
بیست و چهارمین کنفرانس ملی سالانه انجمن کامپیوتر ایران
تشخيص جامعه در شبکه‌هاي اجتماعي از نظر محاسباتي کاري چالش برانگيز است و توجه محققان زيادي را در دهه اخير به خود جلب کرده است. بيشتر مقالات در اين حوزه ... more
تشخيص جامعه در شبکه‌هاي اجتماعي از نظر محاسباتي کاري چالش برانگيز است و توجه محققان زيادي را در دهه اخير به خود جلب کرده است. بيشتر مقالات در اين حوزه بر مدل‌سازي ويژگي‌هاي ساختاري تمرکز کرده‌اند. در اکثر اين مقالات، روش‌ها جوامع را يکي پس از ديگري و به صورت سري يا نوبتي تشخيص مي‌دهند. با هدف افزايش سرعت محاسبات، الگوريتم‌هاي تشخيص جامعه موازي‌سازي شدند. الگوريتم انتشار برچسب (LPA) به دليل بازدهي زماني، روش مؤثري براي موازي‌سازي است. در اين مقاله، اين الگوريتم به صورتي بازنويسي شده است که جوامع همپوشان را تشخيص دهد؛ در جوامع همپوشان يک فرد/گره مي‌تواند همزمان به بيش از يک جامعه متعلق باشد. همچنين، مبتني بر مدل نگاشت - کاهش الگوريتم جديد پياده‌سازي شده است. آزمايش‌هاي طراحي شده نشان مي‌دهد که الگوريتم پياده‌سازي شده از الگوريتم‌هاي مشابه تشخيص جوامع همپوشان مانند LPA، SLPA و COPRA براساس معيار ماژولاريتي کارکرد بهتري دارد. less
تشخيص جامعه در شبکه‌هاي اجتماعي از نظر محاسباتي کاري چالش برانگيز است و توجه محققان زيادي را در دهه اخير به خود جلب کرده است. بيشتر مقالات در اين حوزه ... more
خرید مقاله
بهبود يک روش تشخيص جوامع در رسانه‌هاي اجتماعي و خبري به کمک الگوريتم ژنتيک مهدي سالخورده ‌حقيقي
سيد‌ محمد ابراهيمي
بیست و چهارمین کنفرانس ملی سالانه انجمن کامپیوتر ایران
گزارش‌هاي خبري در رسانه‌هاي اجتماعي و خبري به وسيله تعداد زيادي سند ارائه مي‌شوند و شامل موضوعاتي هستند که جوامع و نظرات مختلف را در برمي‌گيرند. آگاهي از رابطه‌‌ ميان ... more
گزارش‌هاي خبري در رسانه‌هاي اجتماعي و خبري به وسيله تعداد زيادي سند ارائه مي‌شوند و شامل موضوعاتي هستند که جوامع و نظرات مختلف را در برمي‌گيرند. آگاهي از رابطه‌‌ ميان افراد در اسناد مي‌تواند به خوانندگان کمک کند تا يک دانش اوليه در‌خصوص موضوع و هدف در اسناد مختلف به‌دست آورند. در پژوهش حاضر، به بررسي مسئله‌ي تشخيص جوامعي پرداخته خواهد شد که هدف اصلي، خوشه‌بندي افرادي است که نام آن‌ها در مجموعه‌اي از اسناد خبري آورده شده است؛ اين افراد در جوامعي با مواضع مرتبط، خوشه‌بندي مي‌شوند. در اين پژوهش يک روش تشخيص جوامع موضع افراد بهبود يافته مبتني بر شبکه دوستي به نام SCIFNET ارائه شده است. روش پيشنهادي از ساختار الگوريتم ژنتيک جهت اين مهم استفاده نموده است. در آزمايش‌ها معيار صحت به منظور مقايسه استفاده شده است که براي رسيدن به اين مهم از شاخص Rand index (که يک شاخص مهم در ارزيابي کيفيت خوشه‌بندي است) استفاده شده است. نتايج حاصل از آزمايش‌ها که برمبناي پايگاه‌هاي داده‌ي واقعي (اسناد منتشر يافته در رسانه خبري گوگل نيوز در رابطه با يک موضوع خاص) به‌ دست‌ آمده‌اند، حاکي از کارآمدي و بهره‌وري مطلوب روش پيشنهادي است. less
گزارش‌هاي خبري در رسانه‌هاي اجتماعي و خبري به وسيله تعداد زيادي سند ارائه مي‌شوند و شامل موضوعاتي هستند که جوامع و نظرات مختلف را در برمي‌گيرند. آگاهي از رابطه‌‌ ميان ... more
خرید مقاله
بازيابي تصاوير براساس محتوا با استفاده از الگوريتم SIFT و کدگذاري خطي با قيد محلي محسن جابري
فرزين يغمايي
بیست و چهارمین کنفرانس ملی سالانه انجمن کامپیوتر ایران
بازيابي تصاوير يکي از مهم‌ترين مسائل مطرح شده در حوزه بينايي ماشين مي‌باشد که کاربرد گسترده‌اي در علوم مختلف دارد. چالش‌هاي فراواني در زمينه بازيابي تصاوير براساس محتوا وجود دارد، ... more
بازيابي تصاوير يکي از مهم‌ترين مسائل مطرح شده در حوزه بينايي ماشين مي‌باشد که کاربرد گسترده‌اي در علوم مختلف دارد. چالش‌هاي فراواني در زمينه بازيابي تصاوير براساس محتوا وجود دارد، از جمله آنها مي‌توان به وجود نويز، پس زمينه پيچيده و عدم وجود نور کافي در تصاوير اشاره کرد. براي غلبه بر اين مشکلات بايد ويژگي‌هاي استخراج شده قابليت تمايز خوبي داشته باشند. در اين مقاله از الگوريتم کدگذاري خطي با قيد محلي به منظور استخراج ويژگي از تصاوير براي بازيابي استفاده شده است. در ابتدا ويژگي‌هاي SIFT از تصاوير پايگاه داده استخراج مي‌شوند. سپس ويژگي‌هاي استخراج شده خوشه‌بندي شده و مراکز خوشه‌ها به عنوان نماينده هر دسته انتخاب مي‌شود. پس از خوشه‌بندي توصيفگرها، از ضرايب بازنمايي توصيفگرهاي هر دسته با توجه به نماينده‌هاي توليد شده از مرحله قبل، از الگوريتم کدگذاري خطي با قيد محلي به عنوان ويژگي استفاده مي‌شود. در نهايت از اين ويژگي‌هاي توليد شده براي بازيابي تصاوير استفاده خواهد شد. نتايج آزمايشات روي پايگاه داده Caltech-101 برتري روش ارائه شده را در بازيابي تصاوير نسبت به روش‌هاي مطرح در اين حوزه نشان مي‌دهد. less
بازيابي تصاوير يکي از مهم‌ترين مسائل مطرح شده در حوزه بينايي ماشين مي‌باشد که کاربرد گسترده‌اي در علوم مختلف دارد. چالش‌هاي فراواني در زمينه بازيابي تصاوير براساس محتوا وجود دارد، ... more
خرید مقاله
Conferences and Events





Registration in Computer Society of Iran
Search Papers