Pub Date : 2013-02-19DOI: 10.5220/0004311801770186
Quentin Enard, S. Gatti, Julien Bruneau, Youg-Joo Moon, E. Balland, C. Consel
Making an application dependable demands that its functional and non-functional requirements be stringently fulfilled throughout its development process. In this context, a design-driven development approach has the key advantage of enabling requirements to be traced from their high-level design forms to the resulting executable artifact. However, because such approaches are mostly general purpose, they provide little design guidance, if any. This situation makes unpredictable the coherence and the conformance of an application with respect to its requirements. To address this situation, we propose an approach that leverages a design-driven development process dedicated to a specific paradigm. This approach guides the verification of the coherence and conformance of an application throughout its development. We demonstrate the benefits of our approach by applying it to a realistic case study in the avionics domain.
{"title":"Design-driven Development of Dependable Applications - A Case Study in Avionics","authors":"Quentin Enard, S. Gatti, Julien Bruneau, Youg-Joo Moon, E. Balland, C. Consel","doi":"10.5220/0004311801770186","DOIUrl":"https://doi.org/10.5220/0004311801770186","url":null,"abstract":"Making an application dependable demands that its functional and non-functional requirements be stringently fulfilled throughout its development process. In this context, a design-driven development approach has the key advantage of enabling requirements to be traced from their high-level design forms to the resulting executable artifact. However, because such approaches are mostly general purpose, they provide little design guidance, if any. This situation makes unpredictable the coherence and the conformance of an application with respect to its requirements. To address this situation, we propose an approach that leverages a design-driven development process dedicated to a specific paradigm. This approach guides the verification of the coherence and conformance of an application throughout its development. We demonstrate the benefits of our approach by applying it to a realistic case study in the avionics domain.","PeriodicalId":298357,"journal":{"name":"International Conference on Pervasive and Embedded Computing and Communication Systems","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-02-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125562768","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 : 2012-06-15DOI: 10.5220/0003798503610368
Masayuki Saeki, K. Oguni
This paper presents a relative positioning method, called “multi-hop positioning”, which is suitable for raw GPS data collected by densely deployed L1 GPS receivers. The wireless sensor network employing an affordable L1 GPS receiver has been developed by the authors for monitoring displacement of large civil structures with high spatial resolution. In general, relative positioning of GPS sensors are performed between a single reference point and sensor nodes. On the other hand, in the newly developed approach, relative positioning is performed between all pair of sensor nodes in the network. Then, the best set of relative position vectors is selected to determine the location of sensor nodes. Experiments have been conducted using 53 sensor nodes equipped with an affordable L1 GPS receiver and the collected data are analysed by using the proposed method in a post-processing manner. The results show that the success rate of relative position estimate is considerably improved compared with the conventional approach.
{"title":"Multi-hop Positioning - Relative Positioning Method for GPS Wireless Sensor Network","authors":"Masayuki Saeki, K. Oguni","doi":"10.5220/0003798503610368","DOIUrl":"https://doi.org/10.5220/0003798503610368","url":null,"abstract":"This paper presents a relative positioning method, called “multi-hop positioning”, which is suitable for raw GPS data collected by densely deployed L1 GPS receivers. The wireless sensor network employing an affordable L1 GPS receiver has been developed by the authors for monitoring displacement of large civil structures with high spatial resolution. In general, relative positioning of GPS sensors are performed between a single reference point and sensor nodes. On the other hand, in the newly developed approach, relative positioning is performed between all pair of sensor nodes in the network. Then, the best set of relative position vectors is selected to determine the location of sensor nodes. Experiments have been conducted using 53 sensor nodes equipped with an affordable L1 GPS receiver and the collected data are analysed by using the proposed method in a post-processing manner. The results show that the success rate of relative position estimate is considerably improved compared with the conventional approach.","PeriodicalId":298357,"journal":{"name":"International Conference on Pervasive and Embedded Computing and Communication Systems","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114022473","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 : 2012-06-15DOI: 10.5220/0003728500390044
Yung-Wei Kao, S. Yuan
{"title":"USHAF - A User-modifiable Semantic Home Automation Framework","authors":"Yung-Wei Kao, S. Yuan","doi":"10.5220/0003728500390044","DOIUrl":"https://doi.org/10.5220/0003728500390044","url":null,"abstract":"","PeriodicalId":298357,"journal":{"name":"International Conference on Pervasive and Embedded Computing and Communication Systems","volume":"76 10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126020904","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 : 2012-06-15DOI: 10.5220/0003906704150421
Daisuke Yamaguchi, Takumi Yajima, Chen-Yi Lee, H. Shimada, Y. Kinebuchi, T. Nakajima
Recently, the software of embedded systems grows increasingly complicated due to controversial needs of both rich functionalities and strict interrupt responsiveness. In order to deal with it, realtime virtualization technology for embedded systems is attracting interests. Virtualization allows multiple operating systems to run concurrently with minimal modifications, thus reduce the engineering cost. However, as the security of embedded systems getting more concerns in these days, current design of realtime hypervisor often makes it difficult to ensure the security without hardware virtualization support which is not widely available in the world of embedded systems. In this paper, we introduce Secure Pager which utilizes a common hardware design called core-local memory combined with check-sum based protections to enforce the spatial isolation without specific hardware virtualization support.
{"title":"Spatial Isolation on Realtime Hypervisor using Core-local Memory","authors":"Daisuke Yamaguchi, Takumi Yajima, Chen-Yi Lee, H. Shimada, Y. Kinebuchi, T. Nakajima","doi":"10.5220/0003906704150421","DOIUrl":"https://doi.org/10.5220/0003906704150421","url":null,"abstract":"Recently, the software of embedded systems grows increasingly complicated due to controversial needs of both rich functionalities and strict interrupt responsiveness. In order to deal with it, realtime virtualization technology for embedded systems is attracting interests. Virtualization allows multiple operating systems to run concurrently with minimal modifications, thus reduce the engineering cost. However, as the security of embedded systems getting more concerns in these days, current design of realtime hypervisor often makes it difficult to ensure the security without hardware virtualization support which is not widely available in the world of embedded systems. In this paper, we introduce Secure Pager which utilizes a common hardware design called core-local memory combined with check-sum based protections to enforce the spatial isolation without specific hardware virtualization support.","PeriodicalId":298357,"journal":{"name":"International Conference on Pervasive and Embedded Computing and Communication Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125040867","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 : 2012-06-15DOI: 10.5220/0003800603690377
Hitoshi Mitake, Y. Kinebuchi, Tsung-Han Lin, T. Nakajima
In this paper, we explain the reason why the Lock Holder Preemption(LHP) problem is serious when using a multi-core processor based virtualization layer. Then, we introduce two new techniques for avoiding the LHP problem. The existing techniques and new proposed techniques have been implemented on our virtualization layer called SPUMONE, and we measured the results showing that the proposed new techniques reduce the semantic gap to use a virtualization layer on a multi-core processor in embedded systems.
{"title":"Solving the Lock Holder Preemption Problem in a Multicore Processor-based Virtualization Layer for Embedded Systems","authors":"Hitoshi Mitake, Y. Kinebuchi, Tsung-Han Lin, T. Nakajima","doi":"10.5220/0003800603690377","DOIUrl":"https://doi.org/10.5220/0003800603690377","url":null,"abstract":"In this paper, we explain the reason why the Lock Holder Preemption(LHP) problem is serious when using a multi-core processor based virtualization layer. Then, we introduce two new techniques for avoiding the LHP problem. The existing techniques and new proposed techniques have been implemented on our virtualization layer called SPUMONE, and we measured the results showing that the proposed new techniques reduce the semantic gap to use a virtualization layer on a multi-core processor in embedded systems.","PeriodicalId":298357,"journal":{"name":"International Conference on Pervasive and Embedded Computing and Communication Systems","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123454933","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 : 2012-06-15DOI: 10.5220/0003824401560161
Paul Miranda, Nikita Sharakhov, Jules White, M. G. Fard, B. Dougherty
A construction project requires a large amount of cyber-information, such as 3D models. Unfortunately, this information is typically difficult for construction field personnel to access and use on-site, due to the highly mobile nature of the job, as well as a hazardous work environment. Field personnel rely on carrying around large stacks of construction drawings, diagrams, and specifications, or traveling to a trailer to look up information electronically. This paper presents HDAR, a mobile augmented reality system for construction projects that provides high-precision visualization of semantically-rich 3D cyber-information over realworld imagery. The paper examines the challenges related to augmenting reality on a construction site, describes how HDAR overcomes these challenges, and empirically evaluates the capabilities of HDAR.
{"title":"Hybrid 4-Dimensional Augmented Reality - A High-precision Approach to Mobile Augmented Reality","authors":"Paul Miranda, Nikita Sharakhov, Jules White, M. G. Fard, B. Dougherty","doi":"10.5220/0003824401560161","DOIUrl":"https://doi.org/10.5220/0003824401560161","url":null,"abstract":"A construction project requires a large amount of cyber-information, such as 3D models. Unfortunately, this information is typically difficult for construction field personnel to access and use on-site, due to the highly mobile nature of the job, as well as a hazardous work environment. Field personnel rely on carrying around large stacks of construction drawings, diagrams, and specifications, or traveling to a trailer to look up information electronically. This paper presents HDAR, a mobile augmented reality system for construction projects that provides high-precision visualization of semantically-rich 3D cyber-information over realworld imagery. The paper examines the challenges related to augmenting reality on a construction site, describes how HDAR overcomes these challenges, and empirically evaluates the capabilities of HDAR.","PeriodicalId":298357,"journal":{"name":"International Conference on Pervasive and Embedded Computing and Communication Systems","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129354162","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 : 2012-06-15DOI: 10.5220/0003906203780382
Tsung-Han Lin, Hitoshi Mitake, Y. Kinebuchi, T. Nakajima
In this paper, we are trying to address the global scheduling issues in the embedded multi-core virtualization system. Virtualization system is widely being used in the embedded device nowadays, especially with the multi-core platform also shown in the embedded system world. Global scheduling in the virtualization system makes the real-time tasks in the GPOS (General Purpose Operating System) to have chance to be scheduled against the tasks in the RTOS (Real-Time Operating System). We proposed using GPOS/RTOS mix scheduling and VCPU migration to deal with global scheduling problem. Meanwhile, some issues like interrupt latency in the GPOS and the priority inversion problem in the RTOS are also discovered while doing this research. We would like to make more detail investigation about this issues to improve the quality of global scheduling so we can construct a more ideal virtualization environment.
{"title":"Global Scheduling for the Embedded Virtualization System in the Multi-core Platform","authors":"Tsung-Han Lin, Hitoshi Mitake, Y. Kinebuchi, T. Nakajima","doi":"10.5220/0003906203780382","DOIUrl":"https://doi.org/10.5220/0003906203780382","url":null,"abstract":"In this paper, we are trying to address the global scheduling issues in the embedded multi-core virtualization system. Virtualization system is widely being used in the embedded device nowadays, especially with the multi-core platform also shown in the embedded system world. Global scheduling in the virtualization system makes the real-time tasks in the GPOS (General Purpose Operating System) to have chance to be scheduled against the tasks in the RTOS (Real-Time Operating System). We proposed using GPOS/RTOS mix scheduling and VCPU migration to deal with global scheduling problem. Meanwhile, some issues like interrupt latency in the GPOS and the priority inversion problem in the RTOS are also discovered while doing this research. We would like to make more detail investigation about this issues to improve the quality of global scheduling so we can construct a more ideal virtualization environment.","PeriodicalId":298357,"journal":{"name":"International Conference on Pervasive and Embedded Computing and Communication Systems","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125754724","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 : 2012-02-26DOI: 10.5220/0003821002840291
F. D. Smedt, Lars Struyf, Sander Beckers, Joost Vennekens, G. D. Samblanx, T. Goedemé
In this paper we present out experiences with the implementation of an object detector using OpenCL. With this implementation we fullfil the need for fast and robust object detection, necessary in many applications in multiple domains (surveillance, traffic, image retrieval, ...). The algorithm lends itself to be implemented in a parallel way. We exploit this opportunity by implementing it on a GPU. For this implementation, we have choosen to use the OpenCL programming language, since this allows for scalability to more performant and different types of hardware, with minimal changes to the implementation. We will discuss how the parallelization is done, and discuss the challenges we met. We will also discuss the experimental timing results we achieved and evaluate the ease-of-use of OpenCL.
{"title":"Is the Game worth the Candle? - Evaluation of OpenCL for Object Detection Algorithm Optimization","authors":"F. D. Smedt, Lars Struyf, Sander Beckers, Joost Vennekens, G. D. Samblanx, T. Goedemé","doi":"10.5220/0003821002840291","DOIUrl":"https://doi.org/10.5220/0003821002840291","url":null,"abstract":"In this paper we present out experiences with the implementation of an object detector using OpenCL. With this implementation we fullfil the need for fast and robust object detection, necessary in many applications in multiple domains (surveillance, traffic, image retrieval, ...). The algorithm lends itself to be implemented in a parallel way. We exploit this opportunity by implementing it on a GPU. For this implementation, we have choosen to use the OpenCL programming language, since this allows for scalability to more performant and different types of hardware, with minimal changes to the implementation. We will discuss how the parallelization is done, and discuss the challenges we met. We will also discuss the experimental timing results we achieved and evaluate the ease-of-use of OpenCL.","PeriodicalId":298357,"journal":{"name":"International Conference on Pervasive and Embedded Computing and Communication Systems","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128849836","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 : 2012-02-24DOI: 10.5220/0003730302710277
Tom Redant, W. Dehaene
A 802.15.3c-compatible technique for super 10 meter cm-accurate and precise ranging is introduced, achieving update rates of more than 300kHz. The implementation is realized on top of the 802.15.3c PHY HighSpeed-Interface mode, specifying a multi-carrier orthogonal frequency division multiplexed (OFDM) implementation. The aimed application conditions foresee strong discrete non-line-of-sight fading conditions. The system’s performance is evaluated over these strong channel conditions. Due to the high absorption in the 60GHz band and thus the poor signal-to-noise ratio at super 10m distances the algorithm should be noise tolerant. The algorithm combines a classic auto correlation with the MLS-Prony method, a high resolution technique for frequency content analysis.
{"title":"High Resolution Time-of-arrival for a Cm-precise Super 10 Meter 802.15.3C-based 60GHz OFDM Positioning Application","authors":"Tom Redant, W. Dehaene","doi":"10.5220/0003730302710277","DOIUrl":"https://doi.org/10.5220/0003730302710277","url":null,"abstract":"A 802.15.3c-compatible technique for super 10 meter cm-accurate and precise ranging is introduced, achieving update rates of more than 300kHz. The implementation is realized on top of the 802.15.3c PHY HighSpeed-Interface mode, specifying a multi-carrier orthogonal frequency division multiplexed (OFDM) implementation. The aimed application conditions foresee strong discrete non-line-of-sight fading conditions. The system’s performance is evaluated over these strong channel conditions. Due to the high absorption in the 60GHz band and thus the poor signal-to-noise ratio at super 10m distances the algorithm should be noise tolerant. The algorithm combines a classic auto correlation with the MLS-Prony method, a high resolution technique for frequency content analysis.","PeriodicalId":298357,"journal":{"name":"International Conference on Pervasive and Embedded Computing and Communication Systems","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122533195","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 : 2012-02-24DOI: 10.5220/0003905902140219
V. Klyuev, Y. Haralambous
In this paper, a novel approach to translate queries from Japanese into English for the CLIR task is discussed. To get all possible English senses for every Japanese term, the online dictionary SPACEALC is utilized. The EWC semantic relatedness measure is used to select the most related meanings for the results of translation. This measure combines the Wikipedia-based Explicit Semantic Analysis measure, the WordNet path measure and the mixed collocation index. The preliminary tests of the proposed technique are done utilizing the NTCIR data collection. The performance of retrieval is compared with the variant of retrieval using queries generated by Google Translate.
{"title":"Accurate Query Translation for Japanese-english Cross-language Information Retrieval","authors":"V. Klyuev, Y. Haralambous","doi":"10.5220/0003905902140219","DOIUrl":"https://doi.org/10.5220/0003905902140219","url":null,"abstract":"In this paper, a novel approach to translate queries from Japanese into English for the CLIR task is discussed. To get all possible English senses for every Japanese term, the online dictionary SPACEALC is utilized. The EWC semantic relatedness measure is used to select the most related meanings for the results of translation. This measure combines the Wikipedia-based Explicit Semantic Analysis measure, the WordNet path measure and the mixed collocation index. The preliminary tests of the proposed technique are done utilizing the NTCIR data collection. The performance of retrieval is compared with the variant of retrieval using queries generated by Google Translate.","PeriodicalId":298357,"journal":{"name":"International Conference on Pervasive and Embedded Computing and Communication Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133959801","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
扫码关注我们
求助内容：
应助结果提醒方式：