International ICST Conference on Simulation Tools and Techniques最新文献

{"title":"ProDEVS: an event-driven modeling and simulation tool for hybrid systems using state diagrams","authors":"Le-Hung Vu, D. Foures, Vincent Albert","doi":"10.4108/eai.24-8-2015.2261136","DOIUrl":"https://doi.org/10.4108/eai.24-8-2015.2261136","url":null,"abstract":"This paper introduces a new event-driven modeling and simulation tool for the simulation of hybrid systems. The particularity of this software called ProDEVS lies in its graphical language to define model components behaviour. This graphical language customizes state diagrams for DEVS and quantized based numerical methods. In this paper, syntax and operational semantic of the language are explained, and a mapping from DEVS to this language is illustrated across two simple examples in discrete-event and continuous domain. Finally a complete hybrid system is modeled and simulated to show the usability and the efficiency of this model.","PeriodicalId":132237,"journal":{"name":"International ICST Conference on Simulation Tools and Techniques","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121766298","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}

{"title":"TiPeNeSS: a timed petri net simulator software with generally distributed firing delays","authors":"Ádám Horváth, A. Molnár","doi":"10.4108/eai.24-8-2015.2261343","DOIUrl":"https://doi.org/10.4108/eai.24-8-2015.2261343","url":null,"abstract":"Performance analysis can be carried out in several ways, especially in case of Markovian models. In order to interpret high level of abstraction, we often use modeling tools like timed Petri nets (TPNs). Although some subclasses of TPNs (e.g. stochastic Petri nets (SPNs) [17, 19]) can be handled analytically, a general timed Petri net is hard to evaluate via numerical analysis. However, the simulation of SPNs or deterministic and stochastic Petri nets (DSPNs) [16] are supported by many known tools (see, e.g. [3, 20]), it is hard to find a simulation tool for timed Petri nets with generally distributed (i.e., particular but arbitrarily chosen) firing times. \u0000 \u0000In this paper, we present TiPeNeSS (Timed Petri Net Simulator Software) which supports the simulation of timed Petri nets containing transitions with generally distributed firing delays. The input of the software (the Petri net and the parameters) is defined in an XML file, what allows us to generate results in batch mode. Besides, we describe a case study in which we optimize the frequency of the regular maintenance in a manufacturing process.","PeriodicalId":132237,"journal":{"name":"International ICST Conference on Simulation Tools and Techniques","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126571357","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}

{"title":"Simulating power saver network links in MATLAB","authors":"H. Abaci, G. Parr, S. McClean, A. Moore, Louise Krug","doi":"10.4108/eai.24-8-2015.2261118","DOIUrl":"https://doi.org/10.4108/eai.24-8-2015.2261118","url":null,"abstract":"Network devices, meeting increasing workload demand, are not efficiently power-workload proportionate and consume a considerable amount of power even when the workload (utilisation) is low. Proposed Slowing Mechanism (SM) provides power workload proportionality for a wired network equipment to reduce power consumption. In order to implement the SM we wrote a simulation in MATLAB to analyse the feasibility of the solution. The simulation provides an insight into how a power saving technique can be employed in a network environment and how the parameters of hardware and ICT applications are interlinked with each other. The simulation creates incoming traffic, packet processing, buffer occupancy, packet delay, throughput, and outputs power consumption and power overhead of the SM.","PeriodicalId":132237,"journal":{"name":"International ICST Conference on Simulation Tools and Techniques","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132343253","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}

{"title":"Analytical model of data center infrastructure efficiency for system level simulations","authors":"T. Malkamäki, S. Ovaska","doi":"10.4108/eai.24-8-2015.2261123","DOIUrl":"https://doi.org/10.4108/eai.24-8-2015.2261123","url":null,"abstract":"Data center energy efficiency has risen to the forefront within a short period of time. Efficiency improvements can have significant economical and environmental effects; hence, they are actively sought out by data center operators. Developing techniques and associated tools for the evaluation of overall data center efficiency is therefore a pivotal research area. Ability to evaluate the efficiency of existing and especially emerging solutions and technological advances requires methods capable of predicting the energy use at a fundamental level. Analytical modeling and numerical simulations are the key techniques for these tasks. This paper studies high-level, analytical methods for modeling the total data center energy efficiency, and evaluates the opportunities such models provide for simulations. Polynomial efficiency models for cooling and power-conversion equipment are used to construct system-level simulation models for various powering schemes. And these models are applied in example cases to demonstrate benefits of the proposed modeling approach.","PeriodicalId":132237,"journal":{"name":"International ICST Conference on Simulation Tools and Techniques","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129380671","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}

{"title":"Development of a virtual home visit serious game for physiotherapy students to use when formulating a falls risk management plan for an older adult","authors":"T. Petta, Danny Stefanic, G. Mulvey, T. Redwood, L. Bainbridge, A. Furness","doi":"10.4108/eai.24-8-2015.2261305","DOIUrl":"https://doi.org/10.4108/eai.24-8-2015.2261305","url":null,"abstract":"A virtual home visit serious game was developed to give students a \"picture\" of the processes around the aims of a home visit and to provide them with an authentic experience where they needed to gather information in order to formulate a falls risk management plan for a client. A key factor in terms of the development of the game was to make it easily accessible to students with minimum requirements from technological support and to be available on desktop, tablet and mobile devices. \u0000 \u0000One hundred and forty-seven (41 males and 106 females) third year physiotherapy students enrolled in physiotherapy courses at Curtin University Perth WA played the virtual home visit serious game in order to gather the appropriate data to formulate a falls risk management plan for the client \u0000 \u0000The virtual home visit serious game was developed using HTML5. It does not need any plugin or extra downloads. It can be played on desktop, tablet, mobile and virtual reality devices. Students access the serious game from the Moodle Learning Management System allowing tracking of student engagement. \u0000 \u0000The virtual home visit provides students with an experience of the processes involved when undertaking a home visit where the aim of the visit is to assess the older client for their risk of falling. While playing the game, students are required to gather information about the client and the hazards and falls risks within her home and then use this information to formulate a falls risk management plan. Students also were required to identify the type of hazards and risks in order to gain points toward a game score. Students had the opportunity to play the game 3 times to either gain as much information as possible or to gain a higher score. \u0000 \u0000Data indicated that students found it easy to access the virtual home visit serious game via Moodle Learning Management System and that there were very few technological issues that needed to be solved in a timely fashion in order for students to complete the learning tasks. The administration of the game from an academic perspective also required very little assistance from technical support. Feedback indicated that the virtual home visit serious game assisted students with the application of theory to practice. \u0000 \u0000Students were also asked to complete a survey that asked them about their use of computer and mobile devices and gaming behavior. Analysis of the technology survey indicated males (n=17) were more likely to play computer games to rate their computer skills higher in comparison to others of a similar age (n=15; 75%) than females (n=30; 60%). Even though females spent longer playing the game than males all students gathered appropriate amount of information in order to complete the falls risk management plan. \u0000 \u0000Students found it easy to access the virtual home visit serious game via Moodle Learning Management System. There were very few technological issues that needed to be solved in a timely fashion in order for students t","PeriodicalId":132237,"journal":{"name":"International ICST Conference on Simulation Tools and Techniques","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115902997","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}

{"title":"Energy consumption of scheduling policies for HTC jobs in the cloud","authors":"Osama Nasser Alrajeh, N. Thomas","doi":"10.4108/eai.24-8-2015.2261103","DOIUrl":"https://doi.org/10.4108/eai.24-8-2015.2261103","url":null,"abstract":"Organisations often exploit idle time on existing local computing infrastructure through High Throughput Computing (HTC) to perform computation. More recently the same approach has been employed to make use of cloud resources in large-scale computation. To date, the impact of HTC scheduling policies within a cloud environment have received limited attention in the literature. The key focus of this paper is to extend an existing cloud simulation system to incorporate energy measurement, and evaluate the energy and performance impact of existing policies for scheduling HTC jobs to cloud resources. We demonstrate through trace-driven simulation the trade-off between energy consumption and system performance for a number of HTC scheduling policies.","PeriodicalId":132237,"journal":{"name":"International ICST Conference on Simulation Tools and Techniques","volume":"134 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114751117","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}

{"title":"Parallel simulation of queueing petri nets","authors":"J. Walter, Simon Spinner, Samuel Kounev","doi":"10.4108/eai.24-8-2015.2261102","DOIUrl":"https://doi.org/10.4108/eai.24-8-2015.2261102","url":null,"abstract":"Queueing Petri Nets (QPNs) are a powerful formalism to model the performance of software systems. Such models can be solved using analytical or simulation techniques. Analytical techniques suffer from scalability issues, whereas simulation techniques often require very long simulation runs. Existing simulation techniques for QPNs are strictly sequential and cannot exploit the parallelism provided by modern multi-core processors. In this paper, we present an approach to parallel discrete-event simulation of QPNs using a conservative synchronization algorithm. We consider the spatial decomposition of QPNs as well as the lookahead calculation for different scheduling strategies. Additionally, we propose techniques to reduce the synchronization overhead when simulating performance models describing systems with open workloads. The approach is evaluated in three case studies using performance models of real-world software systems. We observe speedups between 1.9 and 2.5 for these case studies. We also assessed the maximum speedup that can be achieved with our approach using synthetic models.","PeriodicalId":132237,"journal":{"name":"International ICST Conference on Simulation Tools and Techniques","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127053431","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}

{"title":"Combination of intra-flow network coding and opportunistic routing: reliable communications over wireless mesh networks","authors":"Pablo Garrido, David Gómez, Ramón Agüero, J. Serrat","doi":"10.4108/eai.24-8-2015.2261115","DOIUrl":"https://doi.org/10.4108/eai.24-8-2015.2261115","url":null,"abstract":"Opportunistic routing has recently appeared as a technique aimed to increase the performance of wireless mesh networks, by taking advantage of the broadcast nature of the wireless medium. Despite the remarkable attention the research community has paid to it, there are still some issues that need to be addressed; one of the most relevant ones is the unnecessary forwarding of the same packet by a number of nodes. Since Random Linear Coding (RLC) mechanisms randomly mix packets before forwarding them, they can be exploited to avoid (or at least to minimize) the aforementioned problem. In a previous work we introduced a flexible Network Coding (NC) entity that we integrated within the ns-3 framework. We extend herewith its functionalities, by integrating an opportunistic routing module that enables it to be used over random topologies. In addition, we assess the performance of using different external algebraical libraries to carry out the coding/recoding/decoding operations (i.e. matrix inverse and rank calculation).","PeriodicalId":132237,"journal":{"name":"International ICST Conference on Simulation Tools and Techniques","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126065482","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}

{"title":"Merging OMG standards in a general modeling, transformation, and simulation framework","authors":"Vitali Schneider, Anna Yupatova, W. Dulz, R. German","doi":"10.4108/eai.24-8-2015.2261049","DOIUrl":"https://doi.org/10.4108/eai.24-8-2015.2261049","url":null,"abstract":"Test-driven Agile Simulation (TAS) is a general-purpose approach that combines model-driven engineering, simulation, and testing techniques to improve overall quality for the development process. TAS focuses on the construction of system and test specification models that are conform to the standards provided by the Object Management Group (OMG). Specifically, this approach aims at the detection of design errors by simulating the specified system and executing test cases as soon as possible at an early modeling level. In order to facilitate the development process we propose SimTAny: a versatile framework that enables seamless modeling, simulation, and testing of model specifications. The framework combines appropriate tools and software components within an integrated environment based on service-oriented architecture (SOA) and Eclipse RCP. The TAS approach as well as the SimTAny framework rely on various OMG standards and widely accepted tools. In particular, a combination of the UML and several standardized extension profiles namely SysML, MARTE, and UTP enables the development of high-quality software products based on a standard conform tool chain. The framework provides, among others, a MOFM2T standard conform model-to-text transformation component in order to generate executable simulation code for the simulation engine OMNeT++. In this paper we introduce the main features of the SimTAny framework with a special focus on the utilized OMG standards.","PeriodicalId":132237,"journal":{"name":"International ICST Conference on Simulation Tools and Techniques","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126787540","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}

{"title":"The serious gaming surgical cognitive education and training framework and SKY script scripting language","authors":"B. Cowan, B. Kapralos, Fuad Moussa, A. Dubrowski","doi":"10.4108/EAI.24-8-2015.2261370","DOIUrl":"https://doi.org/10.4108/EAI.24-8-2015.2261370","url":null,"abstract":"Developing effective serious games is a difficult and time consuming process often requiring technical expertise which is lacking by many educators employing such tools within their curriculum. We have recently begun development of a serious game surgical cognitive education and training framework (SCETF) for use in surgical skills training and education. Novel to the SCETF is the Sky Script scripting language that balances the functionality, and flexibility, allowing educators to design and build their own interactive content without any prior programming knowledge. Here we provide a brief overview of the SCETF and introduce Sky Script, both of which are currently under development.","PeriodicalId":132237,"journal":{"name":"International ICST Conference on Simulation Tools and Techniques","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124855594","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}