Pub Date : 2020-12-01DOI: 10.1109/euc50751.2020.00002
{"title":"[Title page iii]","authors":"","doi":"10.1109/euc50751.2020.00002","DOIUrl":"https://doi.org/10.1109/euc50751.2020.00002","url":null,"abstract":"","PeriodicalId":331605,"journal":{"name":"2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC)","volume":"126 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121464817","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}
Effective construction of large, complex embedded systems involve the enhancement of potential reusability by dividing the software into subsystems and converting them into distinct parts (i.e., component-based development (CBD) for embedded systems). CBD can be used to improve development efficiency and reduce costs and is also applied to ensure software reusability: however, there are few approaches for testing CBD systems. General CBD systems do not provide methods for evaluating whether each component behaves as expected, making it necessary to manually connect individual components, which makes it difficult to test and fix bugs. To address these issues, this paper describes a unit testing framework for the embedded component systems (called TECSUnit), allowing the assessment of the behavior of each component. This framework increases the efficiency of testing component systems based on a design focusing on flexibility and efficiency.
{"title":"Unit Testing Framework for Embedded Component Systems","authors":"Shuichiro Morisaki, Seito Shirata, Hiroshi Oyama, Takuya Azumi","doi":"10.1109/EUC50751.2020.00013","DOIUrl":"https://doi.org/10.1109/EUC50751.2020.00013","url":null,"abstract":"Effective construction of large, complex embedded systems involve the enhancement of potential reusability by dividing the software into subsystems and converting them into distinct parts (i.e., component-based development (CBD) for embedded systems). CBD can be used to improve development efficiency and reduce costs and is also applied to ensure software reusability: however, there are few approaches for testing CBD systems. General CBD systems do not provide methods for evaluating whether each component behaves as expected, making it necessary to manually connect individual components, which makes it difficult to test and fix bugs. To address these issues, this paper describes a unit testing framework for the embedded component systems (called TECSUnit), allowing the assessment of the behavior of each component. This framework increases the efficiency of testing component systems based on a design focusing on flexibility and efficiency.","PeriodicalId":331605,"journal":{"name":"2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC)","volume":"352 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115097590","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 : 2020-12-01DOI: 10.1109/EUC50751.2020.00015
Keita Miura, Takuya Azumi
This paper presents a converting driving scenarios to generate a format suitable for LGSVL simulator. Autonomous vehicles are developed worldwide. To reduce the test cost, virtual simulators are used in the automotive industry. However, the virtual simulators require simulation environments, such as roads, pedestrians, and vehicles. To set these parameters of many test cases is not efficient for developers. MATLAB/Simulink can create the scenarios graphically. Therefore, we proposed a framework to convert scenarios created with MATLAB/Simulink to a format suitable for LGSVL simulator which is an autonomous vehicle simulator. The converted scenarios can perform in LGSVL simulator like the scenarios defined with MATLAB/Simulink. Moreover, LGSVL simulator has cooperated with Autoware, which is an open-source self-driving system. This cooperation facilitates testing the self-driving systems. This framework can help developers create scenarios.
{"title":"Converting Driving Scenario Framework for Testing Self-Driving Systems","authors":"Keita Miura, Takuya Azumi","doi":"10.1109/EUC50751.2020.00015","DOIUrl":"https://doi.org/10.1109/EUC50751.2020.00015","url":null,"abstract":"This paper presents a converting driving scenarios to generate a format suitable for LGSVL simulator. Autonomous vehicles are developed worldwide. To reduce the test cost, virtual simulators are used in the automotive industry. However, the virtual simulators require simulation environments, such as roads, pedestrians, and vehicles. To set these parameters of many test cases is not efficient for developers. MATLAB/Simulink can create the scenarios graphically. Therefore, we proposed a framework to convert scenarios created with MATLAB/Simulink to a format suitable for LGSVL simulator which is an autonomous vehicle simulator. The converted scenarios can perform in LGSVL simulator like the scenarios defined with MATLAB/Simulink. Moreover, LGSVL simulator has cooperated with Autoware, which is an open-source self-driving system. This cooperation facilitates testing the self-driving systems. This framework can help developers create scenarios.","PeriodicalId":331605,"journal":{"name":"2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC)","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124161247","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 : 2020-12-01DOI: 10.1109/EUC50751.2020.00011
K. Honda, Hiroshi Fujimoto, Takuya Azumi
Embedded systems such as automotive systems require high computational power and low power consumption. To meet these requirements, many-core processors have attracted attention. Compared with single-core processors, many-core processors can execute multiple processes in parallel, allowing for improved power consumption and performance. Due to their performance, many-core processors can be used in automotive systems which have strict real-time requirements. Therefore, it is important to obtain accurate hardware and software information. In this paper, we propose a method for estimating the execution time of an application supported by MATLAB/Simulink on a many-core platform. The proposed method considers operating system (OS) overheads with a real-time OS and Kalray MPPA-256 cluster structure which contains many-core processors. The effectiveness, and the experimental results demonstrate that the proposed method is more accurate than existing methods.
{"title":"Estimation Method Considering OS Overheads for Embedded Many-Core Platform","authors":"K. Honda, Hiroshi Fujimoto, Takuya Azumi","doi":"10.1109/EUC50751.2020.00011","DOIUrl":"https://doi.org/10.1109/EUC50751.2020.00011","url":null,"abstract":"Embedded systems such as automotive systems require high computational power and low power consumption. To meet these requirements, many-core processors have attracted attention. Compared with single-core processors, many-core processors can execute multiple processes in parallel, allowing for improved power consumption and performance. Due to their performance, many-core processors can be used in automotive systems which have strict real-time requirements. Therefore, it is important to obtain accurate hardware and software information. In this paper, we propose a method for estimating the execution time of an application supported by MATLAB/Simulink on a many-core platform. The proposed method considers operating system (OS) overheads with a real-time OS and Kalray MPPA-256 cluster structure which contains many-core processors. The effectiveness, and the experimental results demonstrate that the proposed method is more accurate than existing methods.","PeriodicalId":331605,"journal":{"name":"2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127060959","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 : 2020-12-01DOI: 10.1109/euc50751.2020.00003
{"title":"[Copyright notice]","authors":"","doi":"10.1109/euc50751.2020.00003","DOIUrl":"https://doi.org/10.1109/euc50751.2020.00003","url":null,"abstract":"","PeriodicalId":331605,"journal":{"name":"2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC)","volume":"351 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133538105","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 : 2020-12-01DOI: 10.1109/EUC50751.2020.00008
Hamza el Baccouri, Goulven Guillou, Jean-Philippe Babau
Cyber-physical systems evolving in uncertain environment endure fluctuating dynamics during their lifetime. In such a variable context, controlling systems towards safety and system performances is challenging. In particular, controller tuning (finding optimal control parameters) is a challenging process due to the multiplicity of contexts to be considered. In this paper, we use a combination of model-driven simulation, dimensionality reduction, clustering and prediction techniques to define adequate control parameter settings. First, we propose to explore the controller behavior by simulating different configurations, a configuration is defined by a context (controlled process, environment, sensors, actuators) and a control parameters setting. From simulation results, a discretization is performed by binning the evaluation of quality of control. Then, we apply feature selection algorithms to identify contextual parameters that have a significant impact on performances of the controller. Considering only selected parameters, we finally carry out a clustering aiming at identifying for context domains an optimal control parameter setting. The approach is iterative to define the boundaries of the controller for a given context domain. For non simulated contexts, we propose a prediction module based on regression techniques.To evaluate the proposed approach, we compare it with classical control theory and we apply it to a proportional controller used for a leader/follower application. The experiment shows effectiveness in the identification of control parameters setting for different contexts.
{"title":"An Iterative Approach to Automate the Tuning of Continuous Controller Parameters","authors":"Hamza el Baccouri, Goulven Guillou, Jean-Philippe Babau","doi":"10.1109/EUC50751.2020.00008","DOIUrl":"https://doi.org/10.1109/EUC50751.2020.00008","url":null,"abstract":"Cyber-physical systems evolving in uncertain environment endure fluctuating dynamics during their lifetime. In such a variable context, controlling systems towards safety and system performances is challenging. In particular, controller tuning (finding optimal control parameters) is a challenging process due to the multiplicity of contexts to be considered. In this paper, we use a combination of model-driven simulation, dimensionality reduction, clustering and prediction techniques to define adequate control parameter settings. First, we propose to explore the controller behavior by simulating different configurations, a configuration is defined by a context (controlled process, environment, sensors, actuators) and a control parameters setting. From simulation results, a discretization is performed by binning the evaluation of quality of control. Then, we apply feature selection algorithms to identify contextual parameters that have a significant impact on performances of the controller. Considering only selected parameters, we finally carry out a clustering aiming at identifying for context domains an optimal control parameter setting. The approach is iterative to define the boundaries of the controller for a given context domain. For non simulated contexts, we propose a prediction module based on regression techniques.To evaluate the proposed approach, we compare it with classical control theory and we apply it to a proportional controller used for a leader/follower application. The experiment shows effectiveness in the identification of control parameters setting for different contexts.","PeriodicalId":331605,"journal":{"name":"2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125566229","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 : 2020-12-01DOI: 10.1109/euc50751.2020.00001
{"title":"[Title page i]","authors":"","doi":"10.1109/euc50751.2020.00001","DOIUrl":"https://doi.org/10.1109/euc50751.2020.00001","url":null,"abstract":"","PeriodicalId":331605,"journal":{"name":"2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133775215","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 : 2020-12-01DOI: 10.1109/EUC50751.2020.00009
Luis Ramirez Rivera, Xiaofang Wang
Emerging threats of untrustworthy third-party Intellectual Property (IP) cores (3PIPs) are increasingly raising crucial security concerns about field-programmable gate arrays (FPGAs), especially those used in military, medical, financial, and other critical systems. Detecting Trojans in blackbox 3PIPs is extremely challenging, especially for FPGAs due to their memory nature and dynamic partial or full reconfigurability. This paper presents a novel run-time methodology to prevent, detect, and manage the activation of hardware Trojans inside 3PIPs in FPGAs. Taking advantage of the native parallelism of FPGA designs, an isolated redundancy scheme is proposed to detect and protect a circuit from a Trojan payload. 3PIPs are placed in isolated regions in FPGAs and are controlled by an on-chip ARM processor system. The processor performs partial reconfiguration (PR) to temporarily remove an offending IP for a random amount of time that increases exponentially between each detection, or permanently if the IP has been positively detected as infected. Additionally, security policies are enacted by implementing reference monitors that control the communication between the IPs and various resources inside the FPGA. The design was implemented and verified on a Xilinx SoC FPGA development board using the Trust Hub benchmarks.
{"title":"Run-time Hardware Trojan Detection and Recovery for Third-Party IPs in SoC FPGAs","authors":"Luis Ramirez Rivera, Xiaofang Wang","doi":"10.1109/EUC50751.2020.00009","DOIUrl":"https://doi.org/10.1109/EUC50751.2020.00009","url":null,"abstract":"Emerging threats of untrustworthy third-party Intellectual Property (IP) cores (3PIPs) are increasingly raising crucial security concerns about field-programmable gate arrays (FPGAs), especially those used in military, medical, financial, and other critical systems. Detecting Trojans in blackbox 3PIPs is extremely challenging, especially for FPGAs due to their memory nature and dynamic partial or full reconfigurability. This paper presents a novel run-time methodology to prevent, detect, and manage the activation of hardware Trojans inside 3PIPs in FPGAs. Taking advantage of the native parallelism of FPGA designs, an isolated redundancy scheme is proposed to detect and protect a circuit from a Trojan payload. 3PIPs are placed in isolated regions in FPGAs and are controlled by an on-chip ARM processor system. The processor performs partial reconfiguration (PR) to temporarily remove an offending IP for a random amount of time that increases exponentially between each detection, or permanently if the IP has been positively detected as infected. Additionally, security policies are enacted by implementing reference monitors that control the communication between the IPs and various resources inside the FPGA. The design was implemented and verified on a Xilinx SoC FPGA development board using the Trust Hub benchmarks.","PeriodicalId":331605,"journal":{"name":"2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130717711","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 : 2020-12-01DOI: 10.1109/euc50751.2020.00007
{"title":"IEEE EUC 2020 Organizing and Program Committees","authors":"","doi":"10.1109/euc50751.2020.00007","DOIUrl":"https://doi.org/10.1109/euc50751.2020.00007","url":null,"abstract":"","PeriodicalId":331605,"journal":{"name":"2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132161818","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 : 2020-12-01DOI: 10.1109/EUC50751.2020.00014
Di Zheng, Xianfeng Zhang, Lin Chen
With rapid development of intelligent ecological applications, higher requirements have been put forward for more intelligent ecological monitoring business and more intelligent ecological monitoring instruments. The instruments themselves are required to have more abundant data collection and uploading capabilities, and can be used for spot monitoring better. At the same time, the types of ecological monitoring instruments are very complex, their interface standards, data uploading ability and transmission protocol are also very different, so existing processing methods cannot meet the requirements well. Therefore, we have chosen edge computing to overcome this problem and construct the pervasive ecological monitoring system. In this paper, we have designed a set of edge computing services for universal intelligent ecological monitoring instruments access including edge nodes design as well as transmission protocol analysis, microservice running based on cloud platform and so on.
{"title":"Research of pervasive ecological monitoring applications based on edge computing technologies","authors":"Di Zheng, Xianfeng Zhang, Lin Chen","doi":"10.1109/EUC50751.2020.00014","DOIUrl":"https://doi.org/10.1109/EUC50751.2020.00014","url":null,"abstract":"With rapid development of intelligent ecological applications, higher requirements have been put forward for more intelligent ecological monitoring business and more intelligent ecological monitoring instruments. The instruments themselves are required to have more abundant data collection and uploading capabilities, and can be used for spot monitoring better. At the same time, the types of ecological monitoring instruments are very complex, their interface standards, data uploading ability and transmission protocol are also very different, so existing processing methods cannot meet the requirements well. Therefore, we have chosen edge computing to overcome this problem and construct the pervasive ecological monitoring system. In this paper, we have designed a set of edge computing services for universal intelligent ecological monitoring instruments access including edge nodes design as well as transmission protocol analysis, microservice running based on cloud platform and so on.","PeriodicalId":331605,"journal":{"name":"2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC)","volume":"158 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124764109","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
扫码关注我们
求助内容：
应助结果提醒方式：