2017 Forum on Specification and Design Languages (FDL)最新文献

筛选

英文中文

Identifying bottlenecks in manufacturing systems using stochastic criticality analysis 利用随机临界性分析识别制造系统中的瓶颈

2017 Forum on Specification and Design Languages (FDL) Pub Date : 2017-09-01 DOI: 10.1109/FDL.2017.8303901

J. Bastos, Bram van der Sanden, O. Donk, J. Voeten, S. Stuijk, R. Schiffelers, H. Corporaal

{"title":"Identifying bottlenecks in manufacturing systems using stochastic criticality analysis","authors":"J. Bastos, Bram van der Sanden, O. Donk, J. Voeten, S. Stuijk, R. Schiffelers, H. Corporaal","doi":"10.1109/FDL.2017.8303901","DOIUrl":"https://doi.org/10.1109/FDL.2017.8303901","url":null,"abstract":"System design is a difficult process with many design-choices for which the impact may be difficult to foresee. Manufacturing system design is no exception to this. Increased use of flexible manufacturing systems which are able to perform different operations/use-cases further raises the design complexity. One important criterion to consider is the overall makespan and associated critical path for the different use-cases of the system. Stochastic critical path analysis plays a fundamental role in providing useful feedback for system designers to evaluate alternative specifications, which traditional fixed-time analysis cannot. In this paper, we extend our formal model-based framework, for the specification and design of manufacturing systems, with stochastic analysis abilities by associating a criticality index to each action performed by the system. This index can then be visualized and used within the framework such that a system designer can make better informed decisions. We propose a Monte-Carlo method as an estimation algorithm and we explicitly define and use confidence intervals to achieve an acceptable estimation error. We further demonstrate the use of the extended framework and stochastic analysis with an example manufacturing system.","PeriodicalId":370459,"journal":{"name":"2017 Forum on Specification and Design Languages (FDL)","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125961742","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

Towards early validation of firmware-based power management using virtual prototypes: A constrained random approach 使用虚拟原型对基于固件的电源管理进行早期验证:一种约束随机方法

2017 Forum on Specification and Design Languages (FDL) Pub Date : 2017-09-01 DOI: 10.1109/FDL.2017.8303898

V. Herdt, H. M. Le, Daniel Große, R. Drechsler

引用次数: 13

Runtime task mapping for lifetime budgeting in many-core systems 在多核心系统中用于生命周期预算的运行时任务映射

2017 Forum on Specification and Design Languages (FDL) Pub Date : 2017-09-01 DOI: 10.1109/FDL.2017.8303900

Liang Wang, Xiaohang Wang, Ho-fung Leung, T. Mak

引用次数: 1

首页上一页