Date: Monday, July 22, 2019
Tutorial Chair: Alberto Falcone
TUTORIAL SESSION A
Room, H-3004
Time: 8:30 a.m. – 10:30 a.m.
Chair: Alberto Falcone
Title 1: Information and Process Modeling for Simulation: How To Model Manufacturing Systems
Author: Gerd Wagner
Abstract: This tutorial shows how to use UML class diagrams and BPMN/DPMN process models at all three levels of model-driven simulation engineering: for making conceptual simulation models, for making platform-independent simulation design models, and for making platform-specific, executable simulation models. The proposed modeling approach is presented by showing how to model simple types of manufacturing systems. An extended version of this tutorial is available from https://sim4edu.com/reading/OEMManufacturingSystems.
Title 2: An Introduction to Statecharts Modelling, Simulation, Testing, and Deployment
Authors: Simon Van Mierlo and Hans Vangheluwe
Abstract: Statecharts is a formalism to describe the timed, reactive, orthogonal, and autonomous behavior of complex (software-intensive) systems, such as user interfaces, embedded controller software, and artificial intelligence. It uses a discrete-event abstraction: state changes can occur when an event arrives from the environment, if one is raised locally, when a timeout occurs, and/or when a condition on the (full)state of the system is satisfied. In this tutorial, we introduce Statecharts and explain how they can be constructed, simulated, tested, debugged, and ultimately deployed (by generating code). We explain the theoretical and practical aspects of Statecharts, starting from the basic (non-hierarchical) concepts of states and transitions, and then moving on to more advanced concepts of hierarchy, concurrency, and history. We use a traffic light application modeled in Yakindu (a Statecharts modeling and simulation environment built on top of the Eclipse IDE) as a running example to demonstrate each concept.
TUTORIAL SESSION B
Room, H-3007
Time: 8:30 a.m. – 10:30 a.m.
Chair: Alfredo Garro
Title 1: Applying Modelling and Simulation for Development Embedded Systems
Author: Gabriel Wainer
Abstract: Formal methods and tools help in building embedded systems with real-time constraints, but most existing methods are still hard to scale up. Instead, systems modeling and simulation (M&S) can improve the development task and provide higher quality. M&S is widely used for the early stages of projects; however, when the development tasks switch towards the target environment, early models are often abandoned. In order to deal with these issues, we introduced a methodology based on discrete-event systems specifications, which combines the advantages of a practical approach with the rigor of a formal method, in which one consistently use models throughout the development cycle.
Title 2: Introduction to Modeling and Simulation of Spatial Systems with Cell-DEVS
Author: Gabriel Wainer
Abstract: Recent advances in computer technology have influenced simulation techniques to become an effective approach to understand physical systems. In recent years, grid-shaped cellular models have gained popularity in this sense. In particular, Cellular Automata (CA) have been widely used with these purposes. Despite their usefulness to describe complex behavior, CA can require large amounts of compute time, mainly due to its synchronous nature. The use of a discrete time base also constrains the precision of the model. Besides this, CA do not describe adequately most of existing physical systems whose nature is asynchronous. The Cell-DEVS formalism was defined in order to attack these problems. The goal of Cell-DEVS is to build discrete-event cell spaces, improving their definition by making the timing specification more expressive.
We will introduce the main characteristics of the Cell-DEVS formalism, and will show how to model complex cell spaces in. We will present different examples of application, and discuss open research issues in this area. We will then show some examples of the current use of DEVS, including applications in different fields. 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. The limitations above are solved by adding raw simulation results into the georeferenced maps, associating many sources of information (even if they do not come from the simulation model), providing a more powerful analysis experience. The simulation model is fed by the GIS with updated data, while the model design process enables integrating additional information layers. The methodology uses a cellular modeling approach in which each cell is defined as a discrete event agent, and defines a procedure to couple cells evolving the state of the influenced neighbors.
TUTORIAL SESSION C
Room, H-3008
Time: 8:30 a.m. – 10:30 a.m.
Chair: Andrea D’Ambrogio
Title 1: Introduction to JavaScript-Based Simulation
Author: Luis Gustavo Nardin
Abstract: JavaScript is a dynamic functional object-oriented programming language that can be used for enriching a web page, but also for implementing various kinds of web applications, including web-based simulations. JavaScript-based simulation tools can take advantage of web resources and technologies to outperform traditional competitors on ease of use and developer productivity aspects. This tutorial (i) provides an introductiontosimulationusingtheJavaScriptprogramminglanguageand(ii)demonstrates how to implement a discrete event simulation model in two free and open source JavaScript-based simulation tools, i.e., Insight Maker and OESjs, highlighting their differences with respect to usability and customization flexibility.
Title 2: Modeling Future Generations of Vehicular Autonomous Networks for Intelligent Transportation Systems
Author: Floriano De Rango
Abstract: Vehicular Ad Hoc Networks and Future Autonomous Vehicles are gaining a lot of interest in these last years. Many potential services could be provided in the Intelligent Transportation Systems considering new enabling technologies such as 5G and Internet of Things that are providing new potentialities to VANET and Future Generation of Vehicles. However, these technological progress requests that new modeling approaches of these complex systems should be provided and additional simulation modules should be included in simulators to consider these evolving network technologies and communication paradigms. This tutorial tries to emphasize some criticisms in the current simulators in order to model realistic scenario that can become a key issue to face in order to design future effective and efficient VANETs and Autonomous Vehicles. Moreover, the tutorial will cover also issues related to electrical mobility and vehicles and how new simulators should include new models and modules able to consider also the electrical engine and recharging stations.