IEEE International Symposium on Distributed Simulation and Real-Time Applications最新文献

{"title":"Keynote Speaker: Credible Simulation Models - Provenance beyond Reproducibility","authors":"A. Uhrmacher","doi":"10.1109/DISTRA.2018.8600928","DOIUrl":"https://doi.org/10.1109/DISTRA.2018.8600928","url":null,"abstract":"When expressing concerns about the credibility of simulation studies, simulation data have been traditionally in the focus. However, what about another and, some might argue, even more central product of simulation studies, i.e., the simulation model itself? How can the credibility of a simulation model be assessed? Therefore, information about the process of generating a simulation model is needed. This provenance relates entities (or artifacts) and activities involved in the generating process. Based on simulation studies we will illuminate how the provenance of a simulation model relates the refinement, extension, composition, calibration and validation of simulation models to the diverse sources used in these processes. To exploit this information, unambiguously means for specifying entities play a central role. For example, a formal domain-specific language for modeling facilitates assessing and reusing simulation models. Similarly, a declarative domain-specific language for specifying simulation experiments, helps utilizing simulation experiments done with earlier models for future models. Thus, provenance, information about the past, does not only allow to understand the present, but also to design the future, in opening up new avenues for generating and analyzing simulation models.","PeriodicalId":196377,"journal":{"name":"IEEE International Symposium on Distributed Simulation and Real-Time Applications","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115904891","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":"Keynote 1: Discrete-event modeling and simulation for development of embedded and real-time systems","authors":"Gabriel A. Wainer","doi":"10.1109/DISTRA.2017.8167659","DOIUrl":"https://doi.org/10.1109/DISTRA.2017.8167659","url":null,"abstract":"Embedded real-time software construction has usually posed interesting challenges due to the complexity of the tasks these systems have to execute. Most methods for developing these systems are either hard to scale up for large systems, or require a difficult testing effort with no guarantee for bug-free software products. Although formal methods have showed promising results, they are difficult to apply when the complexity of the system under development scales up. Instead, systems engineers have often relied on the use of modeling and simulation (M&S) techniques in order to make system development tasks manageable. Construction of system models and their analysis through simulation reduces both end costs and risks, while enhancing system capabilities and improving the quality of the final products. M&S let users experiment with “virtual’ systems, allowing them to explore changes, and test dynamic conditions in a risk-free environment. This is a useful approach, moreover considering that testing under actual operating conditions may be impractical and in some cases impossible. In this talk, we will present a Modeling and Simulation-based framework to develop embedded systems based on the DEVS (Discrete Event systems Specification) formalism. DEVS provides a formal foundation to M&S that proved to be successful for different complex systems. This approach combines the advantages of a simulationbased approach with the rigor of a formal methodology. We will discuss how to use this framework to incrementally develop embedded applications, and to integrate simulation models with hardware components seamlessly. One of the main aspects of the methodology is that it can be integrated with models of the environment in which the embedded controller will act. We will show how the Cell-DEVS and the QSS methods can be used for this task. We will introduce the main characteristics of the Cell-DEVS and QSS methods, and will show how to model physical systems. We will introduce an integrated environment that deals with these issues, orchestrating a cellular-based simulator (CD++), a GIS (GRASS) and data visualization (Google Earth), to simulate behavior and analyze results supporting the decision making for varied environmental scenarios. Our approach does not impose any order in the deployment of the actual hardware components, providing flexibility to the overall process. The use of DEVS improves reliability (in terms of logical correctness and timing), enables model reuse, and permits reducing development and testing times for the overall process. Consequently, the development cycle is shortened, its cost reduced, and quality and reliability of the final product is improved.","PeriodicalId":196377,"journal":{"name":"IEEE International Symposium on Distributed Simulation and Real-Time Applications","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132185830","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":"Synchronised Range Queries in Distributed Simulations of Multi-agent Systems","authors":"Vinoth Suryanarayanan, B. Craenen, G. Theodoropoulos","doi":"10.1109/DS-RT.2010.18","DOIUrl":"https://doi.org/10.1109/DS-RT.2010.18","url":null,"abstract":"Range-Query is an important associative form of data access in distributed simulations and Distributed Virtual Environments. This paper discusses the problem of Range-Queries in the context of distributed simulation of multi-agent systems. An algorithm is presented for performing instantaneous Queries within an optimistic synchronisation framework and in the presence of dynamic migration of the simulation state. A quantitative evaluation of the effectiveness of the algorithm under different conditions is also presented.","PeriodicalId":196377,"journal":{"name":"IEEE International Symposium on Distributed Simulation and Real-Time Applications","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125084482","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":"Efficient Load Balancing Schemes for Large-Scale Real-Time HLA/RTI Based Distributed Simulations","authors":"A. Boukerche, A. Shadid, Ming Zhang","doi":"10.1109/DS-RT.2007.25","DOIUrl":"https://doi.org/10.1109/DS-RT.2007.25","url":null,"abstract":"The Real-time extension of High Level Architecture (HLA) is very essential and useful for many large-scale distributed simulation systems. Most previous attempts to design the real-time Run time Infrastructure (RT-RTI) have enabled the usage of supported scheduling and prioritization services from underlying Real-time operating systems (RTOSs) augmented by communication QoS mechanisms. In this paper, we wish to build on this functionality by proposing an algorithm that differentiates services process- ing within the RTI itself by incorporating resources load balancing mechanisms with several scheduling and allocation policies. We focus our efforts on making the RTI's internal operations organized and well suited to the tasks and services it will be providing throughout the lifetime of HLA-compliant federations. We discuss our load balancing strategies and demonstrate through our analytical performance evaluation and simulation experiments that our proposed Real-time RTI framework exhibits a better performance in terms of the number of tasks served within deadlines compared with existing real-time RTI frameworks.","PeriodicalId":196377,"journal":{"name":"IEEE International Symposium on Distributed Simulation and Real-Time Applications","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127719964","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":"A Lightweight Heuristic-based Mechanism for Collecting Committed Consistent Global States in Optimistic Simulation","authors":"Diego Cucuzzo, S. D'Alessio, F. Quaglia, P. Romano","doi":"10.1109/DS-RT.2007.9","DOIUrl":"https://doi.org/10.1109/DS-RT.2007.9","url":null,"abstract":"In this paper we study how to reuse checkpoints taken in an uncorrelated manner during the forward execution phase in an optimistic simulation system in order to construct global consistent snapshots which are also committed (i.e. the logical time they refer to is lower than the current GVT value). This is done by introducing a heuristic-based mechanism relying on update operations applied to local committed checkpoints of the involved logical processes so to eliminate mutual dependencies among the final achieved state values. The mechanism is lightweight since it does not require any form of (distributed) coordination to determine which are the checkpoint update operations to be performed. At the same time it is likely to reduce the amount of checkpoint update operations required to realign the consistent global state exactly to the current GVT value, taken as the reference time for the snapshot. Our proposal can support, in a performance effective manner, termination detection schemes based on global predicates evaluated on a committed and consistent global snapshot, which represent an alternative as relevant as classical termination check only relying on the current GVT value. Another application concerns interactive simulation environments, where (aggregate) output information about committed and consistent snapshots needs to be frequently provided, hence requiring lightweight mechanisms for the construction of the snapshots.","PeriodicalId":196377,"journal":{"name":"IEEE International Symposium on Distributed Simulation and Real-Time Applications","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114586784","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":"Deterministic Simulation of Hybrid Flow Components","authors":"F. Barros","doi":"10.1109/DS-RT.2007.20","DOIUrl":"https://doi.org/10.1109/DS-RT.2007.20","url":null,"abstract":"Determinism plays a key role in both model verification and in achieving accurate simulation statistical results. In this paper we present a general framework for achieving determinism in the execution of hybrid simulation models. This framework guarantees that models will produce the same results irrespective to the simulation kernel they are executed. Thus, hybrid models can produce the same trace when executed in sequential or parallel machines and in this case when conservative or optimistic approaches are employed. For describing hybrid flow models we use the Heterogeneous Flow System Specification (HFSS), a hierarchical and modular formalism that can represent systems with a dynamic topology. The paper also solves the problems introduced by these systems in achieving deterministic simulations.","PeriodicalId":196377,"journal":{"name":"IEEE International Symposium on Distributed Simulation and Real-Time Applications","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127907703","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 Distinctive Challenges of Pervasive Games as Distributed Real-Time Applications","authors":"S. Benford","doi":"10.1109/DS-RT.2006.41","DOIUrl":"https://doi.org/10.1109/DS-RT.2006.41","url":null,"abstract":"Pervasive games are an emerging form of distributed real-time application that extend computer gaming out into the real world. From the city streets to the remote wilderness, players with mobile computing devices move through the world, sensors capture information about their current context, including their location, and this is used to deliver a gaming experience that adapts to where they are, what they are doing, and even how they are feeling. Players becomes unchained from their consoles and experience a game that is interwoven with thereal world and that is potentially available at any place and any time. Pervasive Games raise significant new challenges for the designers of distributed real-time applications, many of which arise from the distinctive characteristics of the underlying fabric of sensing and wireless communications technologies that constitute the ubiquitous computing infrastructure. Drawing on a series of recent collaborations with artists to develop, tour and study pervasive games, I will articulate these distinctive design challenges, exploring issues such as support for location-based play, revealing the nature of the ubiquitous infrastructure to designers, and adapting long-term persistent games with patterns of daily life.","PeriodicalId":196377,"journal":{"name":"IEEE International Symposium on Distributed Simulation and Real-Time Applications","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125421979","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":"Multi-Level Modeling and Simulation in Systems Biology -- Promises and Challenges","authors":"A. Uhrmacher","doi":"10.1109/DS-RT.2006.24","DOIUrl":"https://doi.org/10.1109/DS-RT.2006.24","url":null,"abstract":"Systems Biology is aimed at analyzing the behavior and interrelationships of biological systems and is characterized by combining experimentation, theory, and computation. Multi-level models describe systems at different levels of organization and abstraction. To apply them in systems biology implies typically that concentration changes as well as the discrete behavior of single entities and their interactions need to be taken into account in modeling and simulation. A variety of approaches have been developed offering specific perspectives on cellular systems in modeling and simulation. We will explore how far multi-level aspects are already supported and identify challenges yet to be met.","PeriodicalId":196377,"journal":{"name":"IEEE International Symposium on Distributed Simulation and Real-Time Applications","volume":"44 10","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132708272","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":"Grids for the GiG and Real Time Simulations","authors":"G. Fox, A. Ho, S. Pallickara, M. Pierce, Wenjun Wu","doi":"10.1109/DISTRA.2005.23","DOIUrl":"https://doi.org/10.1109/DISTRA.2005.23","url":null,"abstract":"We study the current architecture of the grid and Web services and that of the global information grid (GiG) with the Network Centric Operations and Warfare (NCOW) from the Department of Defense. We compare the GiG core enterprise services with those being developed for Grids (the open grid services architecture) and Web Services (so called WS-* specifications), identifying both similarities and differences. We discuss both modeling and simulation with HLA (high level architecture) and broad defense NCOW applications. We illustrate this analysis with an open geospatial community (OGC) compatible set of geographical information system grid services. We illustrate the use of grids to efficiently support realtime simulation by an application of grids to audio-video conferencing.","PeriodicalId":196377,"journal":{"name":"IEEE International Symposium on Distributed Simulation and Real-Time Applications","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133291240","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":"Distributed Simulation of Vehicular Networks","authors":"R. Fujimoto","doi":"10.1109/DISTRA.2005.19","DOIUrl":"https://doi.org/10.1109/DISTRA.2005.19","url":null,"abstract":"Surface transportation systems continue to be plagued by concerns regarding safety, excessive delays, and pollution. These problems will only become progressively worse in the future, particularly in developing nations as they modernize and become more mobile. The widespread deployment of smart vehicles that include unprecedented computation, wireless communication, and sensing capabilities will revolutionize the transportation industry, offering new approaches to alleviating these problems. For example, systems soon to be launched under the Vehicle-Infrastructure Integration (VII) initiative by government agencies and private companies will deploy a variety of roadside and mobile sensing platforms. Such systems can also offer a rich variety of new computation and communication services to travelers. Due to their highly mobile and dynamic nature, distributed systems composed of networked in-vehicle computers and roadside infrastructure present new challenges to manage the flood of data that will be created as well as to provide effective information services. Suitable system evaluation tools are essential to understand these systems and evaluate alternate design approaches. Such tools must be able to capture both realistic vehicle movements as well as communication and computer system behaviors. This presentation will describe challenges and our experiences in experimenting with and evaluating vehicular networks through analysis, simulation, and experimentation. We will describe a distributed simulation testbed that has been developed that federates transportation and wireless network simulators, and has been populated with data corresponding to the Atlanta metropolitan area.","PeriodicalId":196377,"journal":{"name":"IEEE International Symposium on Distributed Simulation and Real-Time Applications","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123578428","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}