2018 International Conference on Embedded Software (EMSOFT)最新文献_第2页

Work-in-Progress: Hierarchical Control of a Catoptric Surface 正在进行的工作:反射曲面的层次控制

2018 International Conference on Embedded Software (EMSOFT) Pub Date : 2018-09-01 DOI: 10.1109/EMSOFT.2018.8537230

R. Chamberlain, C. Ahrens, Christopher D. Gill, S. Mitchell

引用次数: 1

Work-in-Progress: Fast Snapshot Migration Using Static Code Instrumentation 正在进行的工作:使用静态代码检测的快速快照迁移

2018 International Conference on Embedded Software (EMSOFT) Pub Date : 2018-09-01 DOI: 10.1109/EMSOFT.2018.8537207

Jae-Yun Kim, Hyeon-Jae Lee, Soo-Mook Moon

{"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}

引用次数: 1

Work-in-Progress: Fog Computing for Adaptive Human-Robot Collaboration 正在进行的工作:自适应人机协作的雾计算

2018 International Conference on Embedded Software (EMSOFT) Pub Date : 2018-09-01 DOI: 10.1109/EMSOFT.2018.8537213

Václav Struhár, A. Papadopoulos, M. Behnam

引用次数: 0

Keynote: The First-Order Logic of Signals 主题演讲:信号的一阶逻辑

2018 International Conference on Embedded Software (EMSOFT) Pub Date : 2018-09-01 DOI: 10.1109/EMSOFT.2018.8537203

Alexey Bakhirkin, Thomas Ferrère, T. Henzinger, Deian Nickovicl

{"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}

引用次数: 3

EMSOFT 2018 Message from the Program Co-Chairs EMSOFT 2018项目联合主席致辞

2018 International Conference on Embedded Software (EMSOFT) Pub Date : 2018-09-01 DOI: 10.1109/emsoft.2018.8537185

引用次数: 0

2018 Proceedings of the International Conference on Embedded Software (EMSOFT) 2018年嵌入式软件国际会议论文集(EMSOFT)

2018 International Conference on Embedded Software (EMSOFT) Pub Date : 2018-09-01 DOI: 10.1109/emsoft.2018.8537192

引用次数: 0

Work-in-Progress: RTMUSRT: A Real-Time Testbed for Empirically Comparing Real-Time Multicore Schedulers 正在进行的工作:RTMUSRT:经验比较实时多核调度器的实时测试平台

2018 International Conference on Embedded Software (EMSOFT) Pub Date : 2018-09-01 DOI: 10.1109/EMSOFT.2018.8537222

Bo Wan, Bo Zhang, Xi Li, K. Zhou, Caixu Zhao, Chao Wang, Xuehai Zhou

引用次数: 0

Work-in-Progress: VerticalThings - A Language-Based Microkernel for Constrained IoT Devicer 正在进行的工作:垂直事物-一个基于语言的微内核，用于受限的物联网设备

2018 International Conference on Embedded Software (EMSOFT) Pub Date : 2018-09-01 DOI: 10.1109/EMSOFT.2018.8537193

Jayaraj Poroor

引用次数: 1