Pub Date : 2015-02-11DOI: 10.5220/0005216302610267
Wolfgang Raschke, Massimiliano Zilli, Johannes Loinig, R. Weiss, C. Steger, Christian Kreiner
Platform-based development is one of the most successful paradigms in software engineering. In embedded systems, the reuse of software on several processor families is often abandoned due to the multitude of compilers, processor architectures and instruction sets. In practice, we experienced that a lack of hardware abstraction leads to non-reusable test cases. We will demonstrate a re-engineering process that follows test-driven development practices which fits perfectly for migration activities. Moreover, we will introduce a process that provides trust for the test cases on a new hardware.
{"title":"Test-driven migration towards a hardware-abstracted platform","authors":"Wolfgang Raschke, Massimiliano Zilli, Johannes Loinig, R. Weiss, C. Steger, Christian Kreiner","doi":"10.5220/0005216302610267","DOIUrl":"https://doi.org/10.5220/0005216302610267","url":null,"abstract":"Platform-based development is one of the most successful paradigms in software engineering. In embedded systems, the reuse of software on several processor families is often abandoned due to the multitude of compilers, processor architectures and instruction sets. In practice, we experienced that a lack of hardware abstraction leads to non-reusable test cases. We will demonstrate a re-engineering process that follows test-driven development practices which fits perfectly for migration activities. Moreover, we will introduce a process that provides trust for the test cases on a new hardware.","PeriodicalId":345016,"journal":{"name":"2015 International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS)","volume":"103 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125906614","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2015-02-11DOI: 10.5220/0005365603630372
Qiong Tang, Á. M. Groba, E. J. Martínez, C. Sanz
In this paper, the plant modeling as well as the theoretical analysis and design and simulation of a closed-loop control system for the power consumption of a hand-held multimedia embedded device are presented. This is a first validation step for a target system in which the power consumption will be regulated based on estimation feedback. Prior to the availability of power estimation data, actual power consumption measurements are used to obtain a mathematical model of the controlled plant. Then, classic control-theory methods are applied to get a closed-loop integral controller able to regulate the power consumption of a video decoder running in an embedded development platform. The simulation results show how the system output keeps track of the set point without average steady-state error, even in the presence of consumption fluctuations, thus announcing promising results for the closed-loop approach to the final power regulation system.
{"title":"Modeling, analysis and design of a closed-loop power regulation system for multimedia embedded devices","authors":"Qiong Tang, Á. M. Groba, E. J. Martínez, C. Sanz","doi":"10.5220/0005365603630372","DOIUrl":"https://doi.org/10.5220/0005365603630372","url":null,"abstract":"In this paper, the plant modeling as well as the theoretical analysis and design and simulation of a closed-loop control system for the power consumption of a hand-held multimedia embedded device are presented. This is a first validation step for a target system in which the power consumption will be regulated based on estimation feedback. Prior to the availability of power estimation data, actual power consumption measurements are used to obtain a mathematical model of the controlled plant. Then, classic control-theory methods are applied to get a closed-loop integral controller able to regulate the power consumption of a video decoder running in an embedded development platform. The simulation results show how the system output keeps track of the set point without average steady-state error, even in the presence of consumption fluctuations, thus announcing promising results for the closed-loop approach to the final power regulation system.","PeriodicalId":345016,"journal":{"name":"2015 International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128217934","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2015-02-11DOI: 10.5220/0005242802020208
C. Ngo, S. See, R. Legaspi
Researches on inertial navigation systems (INS) have formulated complex step detection algorithms and stride length estimations. But for current systems to work, INSs have to correctly identify negative pedestrian locomotion. Negative pedestrian locomotion are movements that a user can naturally make without any real position displacement, but has sensor signals that might be misidentified as steps. As the INS's modules have a cascading nature, it is important that these false movements are identified beforehand. This research aims to provide a solution by studying patterns exhibited by positive and negative pedestrian locomotion when sensors are placed on a user's front pocket. A model was then built to classify negative from positive pedestrian locomotion, and to improve the INS's accuracy overall.
{"title":"Improving inertial navigation systems with pedestrian locomotion classifiers","authors":"C. Ngo, S. See, R. Legaspi","doi":"10.5220/0005242802020208","DOIUrl":"https://doi.org/10.5220/0005242802020208","url":null,"abstract":"Researches on inertial navigation systems (INS) have formulated complex step detection algorithms and stride length estimations. But for current systems to work, INSs have to correctly identify negative pedestrian locomotion. Negative pedestrian locomotion are movements that a user can naturally make without any real position displacement, but has sensor signals that might be misidentified as steps. As the INS's modules have a cascading nature, it is important that these false movements are identified beforehand. This research aims to provide a solution by studying patterns exhibited by positive and negative pedestrian locomotion when sensors are placed on a user's front pocket. A model was then built to classify negative from positive pedestrian locomotion, and to improve the INS's accuracy overall.","PeriodicalId":345016,"journal":{"name":"2015 International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS)","volume":"164 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124607062","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2015-02-11DOI: 10.5220/0005181700530058
Mohamed Ould Sass, M. Chetto
We present a new task model called BGW for preemptable, periodic task sets, scheduled on a uniprocessor embedded platform. The tasks may be subject to faults and the processor may be overloaded. According to BGW, any Black job has to execute a primary algorithm before deadline, any Grey job may execute either the primary or the back-up algorithm and any White job may be discarded. We describe several Earliest Deadline First (EDF) based scheduling frameworks suitable for this model. We also present and discuss the results of experiments that compare the EDF scheduler applied to conventional Liu and Layland task sets to various schedulers applied to BGW task sets. The Quality of Service is observed through metrics including ratio of deadline success, preemption rate, etc.
{"title":"Schedulers for BGW tasks to guarantee quality of service of embedded real-time systems","authors":"Mohamed Ould Sass, M. Chetto","doi":"10.5220/0005181700530058","DOIUrl":"https://doi.org/10.5220/0005181700530058","url":null,"abstract":"We present a new task model called BGW for preemptable, periodic task sets, scheduled on a uniprocessor embedded platform. The tasks may be subject to faults and the processor may be overloaded. According to BGW, any Black job has to execute a primary algorithm before deadline, any Grey job may execute either the primary or the back-up algorithm and any White job may be discarded. We describe several Earliest Deadline First (EDF) based scheduling frameworks suitable for this model. We also present and discuss the results of experiments that compare the EDF scheduler applied to conventional Liu and Layland task sets to various schedulers applied to BGW task sets. The Quality of Service is observed through metrics including ratio of deadline success, preemption rate, etc.","PeriodicalId":345016,"journal":{"name":"2015 International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116266817","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2015-02-11DOI: 10.5220/0005229700760082
Michal Krumnikl, P. Moravec, Petr Olivka, D. Seidl
RFID tags are nowadays used for granting access to buildings, tracking goods, persons and animals, in electronic toll collection systems, mobile payments, and other application areas. The purpose of this paper is to propose a solution that is capable of detecting fake (cloned) low cost 125 kHz RFID tags. The paper is focusing on detecting clones and emulators of EM410x tags. The proposed method is based on modifying the RFID reader and exploiting the specific features and properties of the fake tags. The experiments performed with the RFID reader with the implementation of the proposed clone detection techniques have shown that it is possible to reliably detect the majority of the publicly available fake tags and emulators. Moreover, the reader is capable of deactivating some of the clone tags if necessary.
{"title":"EM410x RFID cloned card detection system","authors":"Michal Krumnikl, P. Moravec, Petr Olivka, D. Seidl","doi":"10.5220/0005229700760082","DOIUrl":"https://doi.org/10.5220/0005229700760082","url":null,"abstract":"RFID tags are nowadays used for granting access to buildings, tracking goods, persons and animals, in electronic toll collection systems, mobile payments, and other application areas. The purpose of this paper is to propose a solution that is capable of detecting fake (cloned) low cost 125 kHz RFID tags. The paper is focusing on detecting clones and emulators of EM410x tags. The proposed method is based on modifying the RFID reader and exploiting the specific features and properties of the fake tags. The experiments performed with the RFID reader with the implementation of the proposed clone detection techniques have shown that it is possible to reliably detect the majority of the publicly available fake tags and emulators. Moreover, the reader is capable of deactivating some of the clone tags if necessary.","PeriodicalId":345016,"journal":{"name":"2015 International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125718313","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2015-02-11DOI: 10.5220/0005265403170324
André Sandmann, A. Ahrens, S. Lochmann
Removing channel interference in broadband multiple-input multiple-output (MIMO) systems is a task which can be solved by applying a spatio-temporal vector coding (STVC) channel description and using singular value decomposition (SVD) in combination with signal pre- and post-processing. In this contribution a polynomial matrix factorization channel description in combination with a specific SVD algorithm for polynomial matrices is analyzed and compared to the commonly used STVC SVD. This comparison points out the analogies and differences of both equalization methods. Furthermore, the bit error rate (BER) performance is evaluated for two different channel types and is optimized by applying bit-allocation schemes involving a power loading strategy. Our results, obtained by computer simulation, show that polynomial matrix factorization such as polynomial matrix SVD could be an alternative signal processing approach compared to conventional SVD-based MIMO approaches in frequency-selective MIMO channels.
{"title":"Resource allocation in SVD-assisted broadband MIMO systems using polynomial matrix factorization","authors":"André Sandmann, A. Ahrens, S. Lochmann","doi":"10.5220/0005265403170324","DOIUrl":"https://doi.org/10.5220/0005265403170324","url":null,"abstract":"Removing channel interference in broadband multiple-input multiple-output (MIMO) systems is a task which can be solved by applying a spatio-temporal vector coding (STVC) channel description and using singular value decomposition (SVD) in combination with signal pre- and post-processing. In this contribution a polynomial matrix factorization channel description in combination with a specific SVD algorithm for polynomial matrices is analyzed and compared to the commonly used STVC SVD. This comparison points out the analogies and differences of both equalization methods. Furthermore, the bit error rate (BER) performance is evaluated for two different channel types and is optimized by applying bit-allocation schemes involving a power loading strategy. Our results, obtained by computer simulation, show that polynomial matrix factorization such as polynomial matrix SVD could be an alternative signal processing approach compared to conventional SVD-based MIMO approaches in frequency-selective MIMO channels.","PeriodicalId":345016,"journal":{"name":"2015 International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS)","volume":"34 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131166981","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2015-02-11DOI: 10.5220/0005245001320139
Syrine Ben Meskina, N. Doggaz, M. Khalgui
This research paper deals with failures and faults in power smart grids. We propose an original multi-agent approach for power system recovery based on fault classification. For that, we propose the classification of faults as dominant or equivalent ones. This classification has the advantage of optimizing the task of power system recovery. To test and validate our approach, we develop a simulator, named FDIRSY (Fault Detection, Isolation and Recovery SYstem). The experimental study showed that our approach ensures the search for the best solution from the existing ones thanks to the use of mobile agents. These agents have the advantage of evaluating all the existing alternatives while reducing the communication cost (in terms of exchanged messages). We demonstrate that our approach is gainful in terms of required times, actions to be performed as well as the faults to be resolved thanks to the proposed fault classification.
{"title":"An efficient simulator for fault detection and recovery in smart grids FDIRSY","authors":"Syrine Ben Meskina, N. Doggaz, M. Khalgui","doi":"10.5220/0005245001320139","DOIUrl":"https://doi.org/10.5220/0005245001320139","url":null,"abstract":"This research paper deals with failures and faults in power smart grids. We propose an original multi-agent approach for power system recovery based on fault classification. For that, we propose the classification of faults as dominant or equivalent ones. This classification has the advantage of optimizing the task of power system recovery. To test and validate our approach, we develop a simulator, named FDIRSY (Fault Detection, Isolation and Recovery SYstem). The experimental study showed that our approach ensures the search for the best solution from the existing ones thanks to the use of mobile agents. These agents have the advantage of evaluating all the existing alternatives while reducing the communication cost (in terms of exchanged messages). We demonstrate that our approach is gainful in terms of required times, actions to be performed as well as the faults to be resolved thanks to the proposed fault classification.","PeriodicalId":345016,"journal":{"name":"2015 International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122499565","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2015-02-11DOI: 10.5220/0005241202470258
Farid Adaili, O. Mosbahi, M. Khalgui, S. Bouzefrane
The paper deals with adaptive component-based control systems following the Architecture Analysis and Design Language (denoted by AADL). A system is assumed to be a network of software and hardware AADL components that share the control of corresponding physical processes. A component is composed of a set of algorithms encoding the control after any reception of external events and data signals. The termination of execution is generally done with the emission of data and event signals to remote components. According to various evolutions in environment, the system is required to be dynamically reconfigured at run-time to adapt its control functions. We are interested in local reconfigurations ofr components dealing with the activation-deactivation-update of algorithms and/or data-event inputs and outputs. We propose RA2DL as a solution for reconfigurable AADL components, and define a hierarchical-based architecture to dynamically handle all possible reconfiguration scenarios at run-time. We model and verify this solution and develop a tool for its simulation by taking a real-case study as a running example.
{"title":"RA2DL: New flexible solution for adaptive AADL-based control components","authors":"Farid Adaili, O. Mosbahi, M. Khalgui, S. Bouzefrane","doi":"10.5220/0005241202470258","DOIUrl":"https://doi.org/10.5220/0005241202470258","url":null,"abstract":"The paper deals with adaptive component-based control systems following the Architecture Analysis and Design Language (denoted by AADL). A system is assumed to be a network of software and hardware AADL components that share the control of corresponding physical processes. A component is composed of a set of algorithms encoding the control after any reception of external events and data signals. The termination of execution is generally done with the emission of data and event signals to remote components. According to various evolutions in environment, the system is required to be dynamically reconfigured at run-time to adapt its control functions. We are interested in local reconfigurations ofr components dealing with the activation-deactivation-update of algorithms and/or data-event inputs and outputs. We propose RA2DL as a solution for reconfigurable AADL components, and define a hierarchical-based architecture to dynamically handle all possible reconfiguration scenarios at run-time. We model and verify this solution and develop a tool for its simulation by taking a real-case study as a running example.","PeriodicalId":345016,"journal":{"name":"2015 International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS)","volume":"8 Pt 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126270189","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2015-02-11DOI: 10.5220/0005325503490357
A. Abbas, E. Grolleau, M. Loudini, Walid-Khaled Hidouci
This paper addresses a real-time scheduling problem inherent to energy harvesting real-time systems. Traditionally, the energy saving problem is solved mainly by taking into account the tasks scheduling parameters such as worst-case execution time and period. In this work, we construct a feedback control scheduling scheme in which a discrete processor speed is assigned according to the control error and available energy. The real-time control tasks would get high processor speeds when their control errors increase. The experimental evaluation of this solution verifies that the feedback scheduling system based on control error gives a good compromise between available energy and systems performance.
{"title":"A real-time feedback scheduler based on control error for environmental energy harvesting systems","authors":"A. Abbas, E. Grolleau, M. Loudini, Walid-Khaled Hidouci","doi":"10.5220/0005325503490357","DOIUrl":"https://doi.org/10.5220/0005325503490357","url":null,"abstract":"This paper addresses a real-time scheduling problem inherent to energy harvesting real-time systems. Traditionally, the energy saving problem is solved mainly by taking into account the tasks scheduling parameters such as worst-case execution time and period. In this work, we construct a feedback control scheduling scheme in which a discrete processor speed is assigned according to the control error and available energy. The real-time control tasks would get high processor speeds when their control errors increase. The experimental evaluation of this solution verifies that the feedback scheduling system based on control error gives a good compromise between available energy and systems performance.","PeriodicalId":345016,"journal":{"name":"2015 International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125860766","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2015-02-11DOI: 10.5220/0005363603250334
C. Benavente-Peces, A. Ahrens, José Manuel Pardo-Martín, F. Ortega-González
The use of multiple antennas in MIMO (multiple-input multiple-output) systems at both the transmit and receive sides produces the effect known as antennas correlation which impact the overall channel performance, throughput and bit-error rate (BER). The geometric mean decomposition (GMD) is a signal processing technique which can be used to process transmit and receive signals in MIMO channels. The GMD pre- and post-procesing in conjunction with dirty-paper precoding shows some advantages over the popular singular value decomposition (SVD) technique which provides GMD-assisted MIMO systems a superior performance particularly when the channel is affected by antennas correlation. This paper analyses the impact of antennas correlation on the performance of GMD-assisted wireless MIMO channels highlighting the advantages over SVD-assisted ones.
{"title":"Antennas' correlation influence on the GMD-assisted MIMO channels performance","authors":"C. Benavente-Peces, A. Ahrens, José Manuel Pardo-Martín, F. Ortega-González","doi":"10.5220/0005363603250334","DOIUrl":"https://doi.org/10.5220/0005363603250334","url":null,"abstract":"The use of multiple antennas in MIMO (multiple-input multiple-output) systems at both the transmit and receive sides produces the effect known as antennas correlation which impact the overall channel performance, throughput and bit-error rate (BER). The geometric mean decomposition (GMD) is a signal processing technique which can be used to process transmit and receive signals in MIMO channels. The GMD pre- and post-procesing in conjunction with dirty-paper precoding shows some advantages over the popular singular value decomposition (SVD) technique which provides GMD-assisted MIMO systems a superior performance particularly when the channel is affected by antennas correlation. This paper analyses the impact of antennas correlation on the performance of GMD-assisted wireless MIMO channels highlighting the advantages over SVD-assisted ones.","PeriodicalId":345016,"journal":{"name":"2015 International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116248072","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：