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

A fast, lightweight, and reliable file system for wireless sensor networks 用于无线传感器网络的快速、轻量级和可靠的文件系统

2016 International Conference on Embedded Software (EMSOFT) Pub Date : 2016-10-01 DOI: 10.1145/2968478.2968486

B. Mazumder, J. Hallstrom

{"title":"A fast, lightweight, and reliable file system for wireless sensor networks","authors":"B. Mazumder, J. Hallstrom","doi":"10.1145/2968478.2968486","DOIUrl":"https://doi.org/10.1145/2968478.2968486","url":null,"abstract":"Sensor nodes are increasingly used in critical applications. A file storage system that is fast, lightweight, and reliable across device failures is important to safeguard the data that these devices record. A fast and lightweight file system should enable sensed data to be sampled and stored quickly for later transmission, while imposing a small resource footprint. A reliable file system should provide storage integrity in the face of hardware, software, and other failures. We present the design and implementation of LoggerFS, a fast, lightweight, and reliable file system for wireless sensor networks which uses a hybrid memory design consisting of RAM, FRAM, and flash. LoggerFS is engineered to provide fast data storage, have a small memory footprint, and provide data reliability across system failures. Additionally, LoggerFS is designed to be power efficient. LoggerFS adapts a log-structured file system approach, augmented with data persistence and reliability guarantees. A caching mechanism allows for flash wear-leveling and fast data buffering. We present a performance evaluation of LoggerFS using a prototypical in situ sensing platform, and demonstrate between 50% and 800% improvements for various workloads using the FRAM write-back cache.","PeriodicalId":223619,"journal":{"name":"2016 International Conference on Embedded Software (EMSOFT)","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130875668","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}

引用次数: 4

Energy and timing aware synchronous programming 能源和时间感知同步编程

2016 International Conference on Embedded Software (EMSOFT) Pub Date : 2016-10-01 DOI: 10.1145/2968478.2968500

J. Wang, P. Roop, A. Girault

引用次数: 7

PCFIRE: Towards provable preventative Control-Flow Integrity enforcement for realistic embedded software PCFIRE:面向现实嵌入式软件的可证明的预防性控制流完整性实施

2016 International Conference on Embedded Software (EMSOFT) Pub Date : 2016-10-01 DOI: 10.1145/2968478.2968492

Jiaqi Tan, Hui Jun Tay, Utsav Drolia, R. Gandhi, P. Narasimhan

引用次数: 7

Darboux-type barrier certificates for safety verification of nonlinear hybrid systems 非线性混合系统安全验证的达布式屏障证书

2016 International Conference on Embedded Software (EMSOFT) Pub Date : 2016-10-01 DOI: 10.1145/2968478.2968484

Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen, Lilei Wang

{"title":"Darboux-type barrier certificates for safety verification of nonlinear hybrid systems","authors":"Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen, Lilei Wang","doi":"10.1145/2968478.2968484","DOIUrl":"https://doi.org/10.1145/2968478.2968484","url":null,"abstract":"Benefit from less computational difficulty, barrier certificate based method has attracted much attention in safety verification of hybrid systems. Barrier certificates are inherent existences of a hybrid system and may have different types. A set of well-defined verification conditions is a prerequisite for successfully identifying barrier certificates of a specific type. Therefore, how to define verification conditions that can identify barrier certificates invisible to existing conditions becomes an essential problem in barrier certificate based verification. This paper proposes a set of verification conditions that helps to construct a new type of barrier certificate, namely, the Darboux-type barrier certificate made of Darboux polynomial. The proposed verification conditions provide powerful aids in non-linear hybrid system verification as the Darboux-type barrier certificates can verify systems that may not be settled by existing verification conditions. Furthermore, we give a novel computational approach, combining the sampling-based relaxation method with least-squares and quadratic programming (LS-QP) alternating projection, to find Darboux-type barrier certificates. We demonstrate on the benchmark examples from the literature that our verification conditions can enhance the capability of barrier certificate based approaches through successfully verifying those systems that are difficult to be handled by existing verification conditions, and our algorithm is efficient.","PeriodicalId":223619,"journal":{"name":"2016 International Conference on Embedded Software (EMSOFT)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128500291","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}

引用次数: 17

I/O scheduling with mapping cache awareness for flash based storage systems 基于闪存的存储系统的具有映射缓存感知的I/O调度

2016 International Conference on Embedded Software (EMSOFT) Pub Date : 2016-10-01 DOI: 10.1145/2968478.2968503

Cheng Ji, Chao Wu, Li-Pin Chang, Liang Shi, C. Xue

引用次数: 1

Underminer: A framework for automatically identifying non-converging behaviors in black box system models Underminer:用于自动识别黑箱系统模型中非收敛行为的框架

2016 International Conference on Embedded Software (EMSOFT) Pub Date : 2016-10-01 DOI: 10.1145/2968478.2968487

Ayca Balkan, P. Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, J. Kapinski

{"title":"Underminer: A framework for automatically identifying non-converging behaviors in black box system models","authors":"Ayca Balkan, P. Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, J. Kapinski","doi":"10.1145/2968478.2968487","DOIUrl":"https://doi.org/10.1145/2968478.2968487","url":null,"abstract":"Evaluation of industrial embedded control system designs is a time-consuming and imperfect process. While an ideal process would apply a formal verification technique such as model checking or theorem proving, these techniques do not scale to industrial design problems, and it is often difficult to use these techniques to verify performance aspects of control system designs, such as stability or convergence. For industrial designs, engineers rely on testing processes to identify critical or unexpected behaviors. We propose a novel framework called Underminer to improve the testing process; this is an automated technique to identify non-converging behaviors in embedded control system designs. Underminer treats the system as a black box, and lets the designer indicate the model parameters, inputs and outputs that are of interest. It supports a multiplicity of convergence-like notions, such as those based on Lyapunov analysis and those based on temporal logic formulae. Underminer can be applied in the context of testing models created in the controller-design phase, and can also be applied in a scenario such as hardware-in-the-loop testing. We demonstrate the efficacy of Underminer by evaluating its performance on several examples.","PeriodicalId":223619,"journal":{"name":"2016 International Conference on Embedded Software (EMSOFT)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114328607","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}

引用次数: 20

Schedulability analysis of mixed-criticality systems with multiple frequency specifications 多频混合临界系统的可调度性分析

2016 International Conference on Embedded Software (EMSOFT) Pub Date : 2016-10-01 DOI: 10.1145/2968478.2968488

Sanjoy Baruah

引用次数: 16

On-the-fly fast overrun budgeting for mixed-criticality systems 混合临界系统的动态快速超支预算

2016 International Conference on Embedded Software (EMSOFT) Pub Date : 2016-10-01 DOI: 10.1145/2968478.2968491

Biao Hu, Kai Huang, Pengcheng Huang, L. Thiele, A. Knoll

{"title":"On-the-fly fast overrun budgeting for mixed-criticality systems","authors":"Biao Hu, Kai Huang, Pengcheng Huang, L. Thiele, A. Knoll","doi":"10.1145/2968478.2968491","DOIUrl":"https://doi.org/10.1145/2968478.2968491","url":null,"abstract":"In mixed-criticality scheduling, the widely assumed mode-switch scheme assumes that both high- and low-criticality tasks are schedulable when no tasks overrun (normal mode) and all high-criticality tasks are schedulable even when they overrun (critical mode, where low-criticality tasks are abandoned/degraded). However, this scheme triggers a mode-switch immediately after any task overruns, which can be abrupt and pessimistic. In this paper, we tackle dual-criticality systems scheduled by earliest-deadline-first, and propose light-weight mode-switch schemes that are effective in keeping the system “away” from the critical mode. Our main idea is to perform overrun budgeting for all tasks as a whole, by monitoring task executions and updating a common overrun budget. This way, the overrun budget is shared among all tasks, and adaptively replenished leveraging run-time information; consequently, mode-switch can be postponed as much as possible. Experimental results demonstrate that the proposed mode-switch schemes outperform existing solutions to a large extent, in reducing the abandoned jobs and mode-switch frequencies, as well as in increasing the time ratio that all tasks are scheduled in the system.","PeriodicalId":223619,"journal":{"name":"2016 International Conference on Embedded Software (EMSOFT)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121866202","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}

引用次数: 18

A flattened hierarchical scheduler for real-time virtualization 用于实时虚拟化的扁平分层调度器

2016 International Conference on Embedded Software (EMSOFT) Pub Date : 2016-10-01 DOI: 10.1145/2968478.2968501

M. Drescher, Vincent Legout, A. Barbalace, B. Ravindran

{"title":"A flattened hierarchical scheduler for real-time virtualization","authors":"M. Drescher, Vincent Legout, A. Barbalace, B. Ravindran","doi":"10.1145/2968478.2968501","DOIUrl":"https://doi.org/10.1145/2968478.2968501","url":null,"abstract":"Migrating legacy real-time software stacks to newer hardware platforms can be achieved with virtualization which allows several software stacks to run on a single machine. Existing solutions guarantee that deadlines of virtualized real-time systems are met but can only accommodate a reduced number of systems. Therefore, this paper introduces ExVM, a new scheduling framework to maximize the number of legacy uniprocessor real-time systems able to run on a single machine. Contrary to most existing solutions, ExVM uses a flattening approach where the host schedules the virtual machine which contains the task with the earliest deadline. The real-time characteristics of tasks are obtained through introspection during the execution. We implemented this framework using Linux's SCHED DEADLINE real-time scheduling policy in the host. Simulations using an exact schedulability test show that ExVM is able to schedule 96% of randomly generated tasksets with a utilization of at least 0.8, while state-of-the-art solutions are only able to schedule 40% of the same tasksets. Experimental evaluations performed using synthetic benchmarks and production real-time applications show that ExVM always outperforms the existing solutions, always meeting more than 80% of deadlines while these solutions fall below 50% when the utilization increases.","PeriodicalId":223619,"journal":{"name":"2016 International Conference on Embedded Software (EMSOFT)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125175064","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}

引用次数: 8

Making DDS really real-time with OpenFlow 用OpenFlow使DDS真正实时

2016 International Conference on Embedded Software (EMSOFT) Pub Date : 2016-10-01 DOI: 10.1145/2968478.2968479

Hyon-Young Choi, Andrew L. King, Insup Lee

引用次数: 15