16,452 research outputs found

    A toolkit of designs for mixing discrete event simulation and system dynamics

    Get PDF
    In recent years there has been significant interest in multimethodology and the mixing of OR/MS methods, including Discrete Event Simulation (DES) with System Dynamics (SD). Several examples of mixing DES and SD are described in the literature but there is no overarching framework which characterises the spectrum of options available to modellers. This paper draws on a sample of published case studies, in conjunction with the theoretical literature on mixing methods, to propose a toolkit of designs for mixing DES and SD which can be implemented as a set of questions which a modeller should ask in order to guide the choice of design and inform the associated project methodology. The impetus for this work was the perceived need to transfer insight from reported practice in order to formalise how the two methods can be and have been mixed

    Formal and Informal Methods for Multi-Core Design Space Exploration

    Full text link
    We propose a tool-supported methodology for design-space exploration for embedded systems. It provides means to define high-level models of applications and multi-processor architectures and evaluate the performance of different deployment (mapping, scheduling) strategies while taking uncertainty into account. We argue that this extension of the scope of formal verification is important for the viability of the domain.Comment: In Proceedings QAPL 2014, arXiv:1406.156

    The integrated use of enterprise and system dynamics modelling techniques in support of business decisions

    Get PDF
    Enterprise modelling techniques support business process re-engineering by capturing existing processes and based on perceived outputs, support the design of future process models capable of meeting enterprise requirements. System dynamics modelling tools on the other hand are used extensively for policy analysis and modelling aspects of dynamics which impact on businesses. In this paper, the use of enterprise and system dynamics modelling techniques has been integrated to facilitate qualitative and quantitative reasoning about the structures and behaviours of processes and resource systems used by a Manufacturing Enterprise during the production of composite bearings. The case study testing reported has led to the specification of a new modelling methodology for analysing and managing dynamics and complexities in production systems. This methodology is based on a systematic transformation process, which synergises the use of a selection of public domain enterprise modelling, causal loop and continuous simulationmodelling techniques. The success of the modelling process defined relies on the creation of useful CIMOSA process models which are then converted to causal loops. The causal loop models are then structured and translated to equivalent dynamic simulation models using the proprietary continuous simulation modelling tool iThink
    corecore