A State-of-the-art Integrated Transportation Simulation Platform

Nowadays, universities and companies have a huge need for simulation and modelling methodologies. In the particular case of traffic and transportation, making physical modifications to the real traffic networks could be highly expensive, dependent on political decisions and could be highly disruptive to the environment. However, while studying a specific domain or problem, analysing a problem through simulation may not be trivial and may need several simulation tools, hence raising interoperability issues. To overcome these problems, we propose an agent-directed transportation simulation platform, through the cloud, by means of services. We intend to use the IEEE standard HLA (High Level Architecture) for simulators interoperability and agents for controlling and coordination. Our motivations are to allow multiresolution analysis of complex domains, to allow experts to collaborate on the analysis of a common problem and to allow co-simulation and synergy of different application domains. This paper will start by presenting some preliminary background concepts to help better understand the scope of this work. After that, the results of a literature review is shown. Finally, the general architecture of a transportation simulation platform is proposed

Industrial Adoption of Model-Based Systems Engineering: Challenges and Strategies

As design teams are becoming more globally integrated, one of the biggest challenges is to efficiently communicate across the team. The increasing complexity and multi-disciplinary nature of the products are also making it difficult to keep track of all the information generated during the design process by these global team members. System engineers have identified Model-based Systems Engineering (MBSE) as a possible solution where the emphasis is placed on the application of visual modeling methods and best practices to systems engineering (SE) activities right from the beginning of the conceptual design phases through to the end of the product lifecycle. Despite several advantages, there are multiple challenges restricting the adoption of MBSE by industry. We mainly consider the following two challenges: a) Industry perceives MBSE just as a diagramming tool and does not see too much value in MBSE; b) Industrial adopters are skeptical if the products developed using MBSE approach will be accepted by the regulatory bodies. To provide counter evidence to the former challenge, we developed a generic framework for translation from an MBSE tool (Systems Modeling Language, SysML) to an analysis tool (Agent-Based Modeling, ABM). The translation is demonstrated using a simplified air traffic management problem and provides an example of a potential quite significant value: the ability to use MBSE representations directly in an analysis setting. For the latter challenge, we are developing a reference model that uses SysML to represent a generic infusion pump and SE process for planning, developing, and obtaining regulatory approval of a medical device. This reference model demonstrates how regulatory requirements can be captured effectively through model-based representations. We will present another case study at the end where we will apply the knowledge gained from both case studies to a UAV design problem

A holistic model of emergency evacuations in large, complex, public occupancy buildings

Evacuations are crucial for ensuring the safety of building occupants in the event of an emergency. In large, complex, public occupancy buildings (LCPOBs) these procedures are significantly more complex than the simple withdrawal of people from a building. This thesis has developed a novel, holistic, theoretical model of emergency evacuations in LCPOBs inspired by systems safety theory. LCPOBs are integral components of complex socio-technical systems, and therefore the model describes emergency evacuations as control actions initiated in order to return the building from an unsafe state to a safe state where occupants are not at risk of harm. The emergency evacuation process itself is comprised of four aspects - the movement (of building occupants), planning and management, environmental features, and evacuee behaviour. To demonstrate its utility and applicability, the model has been employed to examine various aspects of evacuation procedures in two example LCPOBs - airport terminals, and sports stadiums. The types of emergency events initiating evacuations in these buildings were identified through a novel hazard analysis procedure, which utilised online news articles to create events databases of previous evacuations. Security and terrorism events, false alarms, and fires were found to be the most common cause of evacuations in these buildings. The management of evacuations was explored through model-based systems engineering techniques, which identified the communication methods and responsibilities of staff members managing these events. Social media posts for an active shooting event were analysed using qualitative and machine learning methods to determine their utility for situational awareness. This data source is likely not informative for this purpose, as few posts detail occupant behaviours. Finally, an experimental study on pedestrian dynamics with movement devices was conducted, which determined that walking speeds during evacuations were unaffected by evacuees dragging luggage, but those pushing pushchairs and wheelchairs will walk significantly slower.Open Acces

A Model-based Approach for Designing Cyber-Physical Production Systems

The most recent development trend related to manufacturing is called "Industry 4.0". It proposes to transition from "blind" mechatronics systems to Cyber-Physical Production Systems (CPPSs). Such systems are capable of communicating with each other, acquiring and transmitting real-time production data. Their management and control require a structured software architecture, which is tipically referred to as the "Automation Pyramid". The design of both the software architecture and the components (i.e., the CPPSs) is a complex task, where the complexity is induced by the heterogeneity of the required functionalities. In such a context, the target of this thesis is to propose a model-based framework for the analysis and the design of production lines, compliant with the Industry 4.0 paradigm. In particular, this framework exploits the Systems Modeling Language (SysML) as a unified representation for the different viewpoints of a manufacturing system. At the components level, the structural and behavioral diagrams provided by SysML are used to produce a set of logical propositions about the system and components under design. Such an approach is specifically tailored towards constructing Assume-Guarantee contracts. By exploiting reactive synthesis techniques, contracts are used to prototype portions of components' behaviors and to verify whether implementations are consistent with the requirements. At the software level, the framework proposes a particular architecture based on the concept of "service". Such an architecture facilitates the reconfiguration of components and integrates an advanced scheduling technique, taking advantage of the production recipe SysML model. The proposed framework has been built coupled with the construction of the ICE Laboratory, a research facility consisting of a full-fledged production line. Such an approach has been adopted to construct models of the laboratory, to virtual prototype parts of the system and to manage the physical system through the proposed software architecture

An Executable System Architecture Approach to Discrete Events System Modeling Using SysML in Conjunction with Colored Petri Net

This paper proposes an executable system architecting paradigm for discrete event system modeling and analysis through integration of a set of architecting tools, executable modeling tools, analytical tools, and visualization tools. The essential step is translating SysML-based specifications into colored Petri nets (CPNs) which enables rigorous static and dynamic system analysis as well as formal verification of the behavior and functionality of the SysML-based design. A set of tools have been studied and integrated that enable a structured architecture design process. Some basic principles of executable system architecture for discrete event system modeling that guide the process of executable architecture specification and analysis are discussed. This paradigm is aimed at general system design. Its feasibility was demonstrated with a C4- type network centric system as an example. The simulation results was used to check the overall integrity and internal consistency of the architecture models, refine the architecture design, and, finally, verify the behavior and functionality of the system being modeled

Model-driven engineering techniques and tools for machine learning-enabled IoT applications: A scoping review

This paper reviews the literature on model-driven engineering (MDE) tools and languages for the internet of things (IoT). Due to the abundance of big data in the IoT, data analytics and machine learning (DAML) techniques play a key role in providing smart IoT applications. In particular, since a significant portion of the IoT data is sequential time series data, such as sensor data, time series analysis techniques are required. Therefore, IoT modeling languages and tools are expected to support DAML methods, including time series analysis techniques, out of the box. In this paper, we study and classify prior work in the literature through the mentioned lens and following the scoping review approach. Hence, the key underlying research questions are what MDE approaches, tools, and languages have been proposed and which ones have supported DAML techniques at the modeling level and in the scope of smart IoT services.info:eu-repo/semantics/publishedVersio

A contingency base camp framework using model based systems engineering and adaptive agents

This research investigates the use of adaptive agents and hybridization of those agents to improve resource allocation in dynamic systems and environments. These agents are applied to contingency bases in an object oriented approach utilizing Model-based Systems Engineering (MBSE) processes and tools to accomplish these goals. Contingency bases provide the tools and resources for the military to perform missions effectively. There has been increasing interest in improving the sustainability and resilience of the camps, as inefficiencies in resource usage increases. The increase in resource usage leads to additional operational costs and added danger to military personnel guarding supply caravans. The MBSE approach alleviates some of the complexity of constructing a model of a contingency base, and allows for the introduction of 3rd party analysis tools through the XML metadata interchange standard. This approach is used to create a virtual environment for the agents to learn the system patterns and behaviors within the system. An agent based approach is used to address the dynamic nature of base camp operations and resource utilization. , helping with extensibility and scalability issues since larger camps have a very high computation load. To train the agents to adjust to base camp operations, an evolutionary algorithm was created to develop the control mechanism. This allows for a faster time to convergence for the control mechanisms when a change is observed. Results have shown a decrease in resource consumption of up to 20% with respect to fuel usage, which will further help reduce base costs and risk --Abstract, page iii

Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems

Automation systems exist in many variants and may evolve over time in order to deal with different environment contexts or to fulfill changing customer requirements. This induces an increased complexity during design-time as well as tedious maintenance efforts. We already proposed a multi-perspective modeling approach to improve the development of such systems. It operates on different levels of abstraction by using well-known UML-models with activity, composite structure and state chart models. Each perspective was enriched with delta modeling to manage variability and evolution. As an extension, we now focus on the development of an efficient consistency checking method at several levels to ensure valid variants of the automation system. Consistency checking must be provided for each perspective in isolation, in-between the perspectives as well as after the application of a delta.Comment: In Proceedings FMSPLE 2016, arXiv:1603.0857

Towards Developing a Digital Twin Implementation Framework for Manufacturing Systems

This research studies the implementation of digital twins in manufacturing systems. Digital transformation is relevant due to changing manufacturing techniques and user demands. It brings new business opportunities, changes organizations, and allows factories to compete in the digital era. Nevertheless, digital transformation presents many uncertainties that could bring problems to a manufacturing system. Some potential problems are loss of data, cybersecurity threats, unpredictable behavior, and so on. For instance, there are doubts about how to integrate the physical and virtual spaces. Digital twin (DT) is a modern technology that can enable the digital transformation of manufacturing companies. DT works by collecting real-time data of machines, products, and processes. DT monitors and controls operations in real-time helping in the identification of problems. It performs simulations to improve manufacturing processes and end-products. DT presents several benefits for manufacturing systems. It gives feedback to the physical system, increases the system’s reliability and availability, reduces operational risks, helps to achieve organizational goals, reduces operations and maintenance costs, predicts machine failures, etc. DT presents all these benefits without affecting the system’s operation. xv This dissertation analyzes the implementation of digital twins in manufacturing systems. It uses systems thinking methods and tools to study the problem space and define the solution space. Some of these methods are the conceptagon, systemigram, and the theory of inventive problem solving (TRIZ in Russian acronym). It also uses systems thinking tools such as the CATWOE, the 9-windows tool, and the ideal final result (IFR). This analysis gives some insights into the digital twin implementation issues and potential solutions. One of these solutions is to build a digital twin implementation framework Next, this study proposes the development of a small-scale digital twin implementation framework. This framework could help users to create digital twins in manufacturing systems. The method to build this framework uses a Model-Based Systems Engineering approach and the systems engineering “Vee” model. This framework encompasses many concepts from the digital twin literature. The framework divides these concepts along three spaces: physical, virtual, and information. It also includes other concepts such as digital thread, data, ontology, and enabling technologies. Finally, this dissertation verifies the correctness of the proposed framework. The verification process shows that the proposed framework can develop digital twins for manufacturing systems. For that purpose, this study creates a process digital twin simulation using the proposed framework. This study presents a mapping and a workflow diagram to help users use the proposed framework. Then, it compares the digital twin simulation with the digital twin user and system requirements. The comparison finds that the proposed framework was built right