2016 16th International Conference on Application of Concurrency to System Design (ACSD)最新文献

筛选

英文中文

Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata 基于混合自动机的MPSoC数据流应用中电池QoS的模型检测与评估

2016 16th International Conference on Application of Concurrency to System Design (ACSD) Pub Date : 2016-04-15 DOI: 10.1109/ACSD.2016.18

W. Ahmad, M. Jongerden, M. Stoelinga, J. Pol

{"title":"Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata","authors":"W. Ahmad, M. Jongerden, M. Stoelinga, J. Pol","doi":"10.1109/ACSD.2016.18","DOIUrl":"https://doi.org/10.1109/ACSD.2016.18","url":null,"abstract":"System lifetime is a major design constraint for battery-powered mobile embedded systems. The increasing gap between the energy demand of portable devices and their battery capacities is further limiting durability of mobile devices. Thus, the guarantees over Quality of Service (QoS) of battery-constrained devices under strict battery capacities are of primary interest for mobile embedded systems' manufacturers and stakeholders. This paper presents a novel approach for deriving QoS of applications modelled as synchronous dataflow (SDF) graphs. We map these applications on heterogeneous multiprocessor platforms that are partitioned into Voltage and Frequency Islands, together with multiple kinetic battery models (KiBaMs). By modelling the whole system as hybrid automata, and applying model-checking, we evaluate, (1) system lifetime, and (2) minimum required initial battery capacities to achieve the desired application performance. We demonstrate that our approach shows a significant improvement in terms of scalability, as compared to a priced timed automata based KiBaM model. This approach also allows early detection of design errors via model checking.","PeriodicalId":334903,"journal":{"name":"2016 16th International Conference on Application of Concurrency to System Design (ACSD)","volume":"224 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127294457","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}

引用次数: 6

Weaving True-Concurrent Aspects Using Constraint Solvers 使用约束求解器编织真正的并发方面

2016 16th International Conference on Application of Concurrency to System Design (ACSD) Pub Date : 2016-04-12 DOI: 10.1109/ACSD.2016.19

J. Bowles, B. Bordbar, Mohammed Alwanain

引用次数: 9

首页上一页