Pub Date : 2018-09-01DOI: 10.1109/EMSOFT.2018.8537230
R. Chamberlain, C. Ahrens, Christopher D. Gill, S. Mitchell
The control of a catoptric (mirror-based) surface is decomposed hierarchically. The positioning control of individual mirrors is handled by low-level controllers for each drive motor, and the overall control decisions are guided by a Markov decision process.
{"title":"Work-in-Progress: Hierarchical Control of a Catoptric Surface","authors":"R. Chamberlain, C. Ahrens, Christopher D. Gill, S. Mitchell","doi":"10.1109/EMSOFT.2018.8537230","DOIUrl":"https://doi.org/10.1109/EMSOFT.2018.8537230","url":null,"abstract":"The control of a catoptric (mirror-based) surface is decomposed hierarchically. The positioning control of individual mirrors is handled by low-level controllers for each drive motor, and the overall control decisions are guided by a Markov decision process.","PeriodicalId":375994,"journal":{"name":"2018 International Conference on Embedded Software (EMSOFT)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128247179","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 : 2018-09-01DOI: 10.1109/EMSOFT.2018.8537207
Jae-Yun Kim, Hyeon-Jae Lee, Soo-Mook Moon
Due to the portability advantage of web apps, we can easily save the app execution state at a device and restore it at another device, allowing app migration. Since the execution of the application includes JavaScript internal states such as closures or event handlers, how to extract them is an issue. One approach is having the browser to provide new APIs [1], which allows fast migration, but requires modification of the browser. The other approach is instrumenting the web app source code [2], [3], which allows using the existing browser, however, suffering from the performance slowdown due to the overhead of instrumented code. This paper proposes a new instrumentation-based approach, which performs faster. The key idea is to introduce a reference table which is used to keep information of closures and event handlers at runtime by our instrumented code whose overhead is small. The reference table can be easily serialized as JavaScript code, and its execution at the target device allows efficient restoration of the execution state. Our preliminary experimental result shows that the performance of our instrumented code is almost the same as the original code.
{"title":"Work-in-Progress: Fast Snapshot Migration Using Static Code Instrumentation","authors":"Jae-Yun Kim, Hyeon-Jae Lee, Soo-Mook Moon","doi":"10.1109/EMSOFT.2018.8537207","DOIUrl":"https://doi.org/10.1109/EMSOFT.2018.8537207","url":null,"abstract":"Due to the portability advantage of web apps, we can easily save the app execution state at a device and restore it at another device, allowing app migration. Since the execution of the application includes JavaScript internal states such as closures or event handlers, how to extract them is an issue. One approach is having the browser to provide new APIs [1], which allows fast migration, but requires modification of the browser. The other approach is instrumenting the web app source code [2], [3], which allows using the existing browser, however, suffering from the performance slowdown due to the overhead of instrumented code. This paper proposes a new instrumentation-based approach, which performs faster. The key idea is to introduce a reference table which is used to keep information of closures and event handlers at runtime by our instrumented code whose overhead is small. The reference table can be easily serialized as JavaScript code, and its execution at the target device allows efficient restoration of the execution state. Our preliminary experimental result shows that the performance of our instrumented code is almost the same as the original code.","PeriodicalId":375994,"journal":{"name":"2018 International Conference on Embedded Software (EMSOFT)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133113816","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 : 2018-09-01DOI: 10.1109/EMSOFT.2018.8537213
Václav Struhár, A. Papadopoulos, M. Behnam
Fog computing is an emerging technology that enables the design of novel time sensitive industrial applications. This new computing paradigm also opens several new research challenges in different scientific domains, ranging from computer architectures to networks, from robotics to real-time systems. In this paper, we present a use case in the human-robot collaboration domain, and we identify some of the most relevant research challenges.
{"title":"Work-in-Progress: Fog Computing for Adaptive Human-Robot Collaboration","authors":"Václav Struhár, A. Papadopoulos, M. Behnam","doi":"10.1109/EMSOFT.2018.8537213","DOIUrl":"https://doi.org/10.1109/EMSOFT.2018.8537213","url":null,"abstract":"Fog computing is an emerging technology that enables the design of novel time sensitive industrial applications. This new computing paradigm also opens several new research challenges in different scientific domains, ranging from computer architectures to networks, from robotics to real-time systems. In this paper, we present a use case in the human-robot collaboration domain, and we identify some of the most relevant research challenges.","PeriodicalId":375994,"journal":{"name":"2018 International Conference on Embedded Software (EMSOFT)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124816852","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 : 2018-09-01DOI: 10.1109/EMSOFT.2018.8537203
Alexey Bakhirkin, Thomas Ferrère, T. Henzinger, Deian Nickovicl
Formalizing properties of systems with continuous dynamics is a challenging task. In this paper, we propose a formal framework for specifying and monitoring rich temporal properties of real-valued signals. We introduce signal first-order logic (SFO) as a specification language that combines first-order logic with linear-real arithmetic and unary function symbols interpreted as piecewise-linear signals. We first show that while the satisfiability problem for SFO is undecidable, its membership and monitoring problems are decidable. We develop an offline monitoring procedure for SFO that has polynomial complexity in the size of the input trace and the specification, for a fixed number of quantifiers and function symbols. We show that the algorithm has computation time linear in the size of the input trace for the important fragment of bounded-response specifications interpreted over input traces with finite variability. We can use our results to extend signal temporal logic with first-order quantifiers over time and value parameters, while preserving its efficient monitoring. We finally demonstrate the practical appeal of our logic through a case study in the micro-electronics domain.
{"title":"Keynote: The First-Order Logic of Signals","authors":"Alexey Bakhirkin, Thomas Ferrère, T. Henzinger, Deian Nickovicl","doi":"10.1109/EMSOFT.2018.8537203","DOIUrl":"https://doi.org/10.1109/EMSOFT.2018.8537203","url":null,"abstract":"Formalizing properties of systems with continuous dynamics is a challenging task. In this paper, we propose a formal framework for specifying and monitoring rich temporal properties of real-valued signals. We introduce signal first-order logic (SFO) as a specification language that combines first-order logic with linear-real arithmetic and unary function symbols interpreted as piecewise-linear signals. We first show that while the satisfiability problem for SFO is undecidable, its membership and monitoring problems are decidable. We develop an offline monitoring procedure for SFO that has polynomial complexity in the size of the input trace and the specification, for a fixed number of quantifiers and function symbols. We show that the algorithm has computation time linear in the size of the input trace for the important fragment of bounded-response specifications interpreted over input traces with finite variability. We can use our results to extend signal temporal logic with first-order quantifiers over time and value parameters, while preserving its efficient monitoring. We finally demonstrate the practical appeal of our logic through a case study in the micro-electronics domain.","PeriodicalId":375994,"journal":{"name":"2018 International Conference on Embedded Software (EMSOFT)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127872057","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 : 2018-09-01DOI: 10.1109/emsoft.2018.8537185
{"title":"EMSOFT 2018 Message from the Program Co-Chairs","authors":"","doi":"10.1109/emsoft.2018.8537185","DOIUrl":"https://doi.org/10.1109/emsoft.2018.8537185","url":null,"abstract":"","PeriodicalId":375994,"journal":{"name":"2018 International Conference on Embedded Software (EMSOFT)","volume":"516 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133661070","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 : 2018-09-01DOI: 10.1109/emsoft.2018.8537192
{"title":"2018 Proceedings of the International Conference on Embedded Software (EMSOFT)","authors":"","doi":"10.1109/emsoft.2018.8537192","DOIUrl":"https://doi.org/10.1109/emsoft.2018.8537192","url":null,"abstract":"","PeriodicalId":375994,"journal":{"name":"2018 International Conference on Embedded Software (EMSOFT)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132205777","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 : 2018-09-01DOI: 10.1109/EMSOFT.2018.8537222
Bo Wan, Bo Zhang, Xi Li, K. Zhou, Caixu Zhao, Chao Wang, Xuehai Zhou
In this paper, we present a real-time testbed RTMUSRT to eliminate unpredictable behaviors and improve dependability when empirically evaluating multicore real-time scheduling algorithms. Experimental results are obtained by measuring kernel overheads of RTMUSRT, and demonstrate that RTMUSRT has fewer disturbances in task executions than other existing work.
{"title":"Work-in-Progress: RTMUSRT: A Real-Time Testbed for Empirically Comparing Real-Time Multicore Schedulers","authors":"Bo Wan, Bo Zhang, Xi Li, K. Zhou, Caixu Zhao, Chao Wang, Xuehai Zhou","doi":"10.1109/EMSOFT.2018.8537222","DOIUrl":"https://doi.org/10.1109/EMSOFT.2018.8537222","url":null,"abstract":"In this paper, we present a real-time testbed RTMUSRT to eliminate unpredictable behaviors and improve dependability when empirically evaluating multicore real-time scheduling algorithms. Experimental results are obtained by measuring kernel overheads of RTMUSRT, and demonstrate that RTMUSRT has fewer disturbances in task executions than other existing work.","PeriodicalId":375994,"journal":{"name":"2018 International Conference on Embedded Software (EMSOFT)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131675458","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 : 2018-09-01DOI: 10.1109/EMSOFT.2018.8537193
Jayaraj Poroor
A programming language that provides the functions of a secure microkernel is proposed for embedded and IoT applications. Towards this purpose, a type system based on the capability model is proposed, in which resource classes are abstracted as capability classes. Our language enables static analysis of key properties including safety, security, power, and timing considerations.
{"title":"Work-in-Progress: VerticalThings - A Language-Based Microkernel for Constrained IoT Devicer","authors":"Jayaraj Poroor","doi":"10.1109/EMSOFT.2018.8537193","DOIUrl":"https://doi.org/10.1109/EMSOFT.2018.8537193","url":null,"abstract":"A programming language that provides the functions of a secure microkernel is proposed for embedded and IoT applications. Towards this purpose, a type system based on the capability model is proposed, in which resource classes are abstracted as capability classes. Our language enables static analysis of key properties including safety, security, power, and timing considerations.","PeriodicalId":375994,"journal":{"name":"2018 International Conference on Embedded Software (EMSOFT)","volume":"19 51","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113962765","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
扫码关注我们
求助内容：
应助结果提醒方式：