The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In recent years many organizations such as, Amazon, Google, Microsoft, have accelerated the development of their cloud computing ecosystem. This rapid development has created a plethora of cloud resource management interfaces for provisioning, supervising, and managing cloud resources. Thus, there is an obvious need for the standardization of cloud resource management interfaces to cope with the prevalent...
The expansion of the Internet of Things (IoT) has resulted in a complex cyber-physical system of systems that is continually evolving. With ever more complex systems being developed and changed there has been an increasing reliance on simulation as a vital part of the design process. There is also a growing need for simulation integration and co-simulation in order to analyse the complex interactions...
UML2 sequence diagrams are interaction diagrams which have been used largely to model the behaviour of objects interaction in systems. These diagrams suffer from lack of precise semantics due to the semi-formal nature of the UML notation. This problem hinders the automatic analysis and verification of such diagrams. Process algebras have been used largely in order to deal with such problem. In this...
A technique of DEVS-driven (Discrete Event System Specification) distributed software systems validation has been proposed. As a case study the Composite Web Service usage scenario has been considered. There are have been considered two approaches to Composite Web Service validity checking - testing-driven one and the approach based on DEVS-driven simulation. Experimental results obtained have shown...
Design complex embedded systems demands method and tools that allow the simulation and verification in an efficient and practical way. This paper proposes the development and evaluation of a distributed simulation platform of heterogeneous simulators based on High Level Architecture (HLA), a middleware for distributed discrete event simulation, in order to create an environment with high-performance...
Legal policy simulation is an important decision-support tool in domains such as taxation. The primary goal of legal policy simulation is predicting how changes in the law affect measures of interest, e.g., revenue. Currently, legal policies are simulated via a combination of spreadsheets and software code. This poses a validation challenge both due to complexity reasons and due to legal experts lacking...
In recent years, the number of passengers visiting the major international airport, Taiwan Taoyuan International Airport (TPE), has increased dramatically. The passenger traffic has gone beyond the capacity of the airport as it was constructed for. One important infrastructure in the airport is the baggage handling system which consists of a set of conveyors that transport checked baggage to the baggage...
The use of simulation-based approaches for the analysis of business processes enables the design-time prediction of the process behavior and/or the operation-time process reconfiguration. However, the effectiveness of BP simulation is still limited for several reasons (e.g., lack of simulation know-how of BP analysts, simulation model parameters that can be hard to gather, large semantic gap between...
The rapidly growing of the world's population makes efficient Healthcare System (HS) management more and more important to all stakeholders, from patients and healthcare providers, to insurance companies and governments. The use of advanced information and networking technologies to advance health care management has long been recognized as the most effective way. Hence, healthcare organizations are...
This paper provides an overview of CyMRisk, an experimental architecture for computing mission risk due to cyber attack. In its current form, the approach employs a simulation of key aspects of a target business/mission process as well as attacker behavior to estimate mission impact due to cyber attacks. In addition, CyMRisk estimates worst case attacker level of effort associated with carrying out...
Systems Modeling Language (SysML) is used to define hierarchical system models in model-based engineering (MBE). Although SysML may effectively serve the description of complex systems, it can not effectively support all model-based engineering activities. For example, system validation is usually performed via simulation. In this case, SysML system models should be transformed to domain-specific...
Nowadays, communication technology is increasingly used in Chinese Train Control System. And the Railway Signal Safety Communication protocol is the upper layer protocol that ensures safety transmission of safety related information in a non-trusted channel. The characteristics and behavior pattern of the protocol are closely related to the safety of the whole railway signal system. This paper simulates...
The paper presents the up-to-date version of RAMSAS, a recently proposed model-based method for the reliability analysis of systems through simulation. RAMSAS can be easy plugged in various phases of a typical system development process ranging from the design to the testing phases so to complement other well-known and wide adopted techniques for system reliability analysis (e. g. FMECA, FTA, RBD)...
A functional design diagram for one of parallel hybrid electric vehicles performance simulation software was presented. Using the Unified Modeling Language modeling mechanism, the software system's architecture diagrams, using case diagrams and class diagrams were established. By giving an example for using the software, a compare was made between the software's result and another result which is...
In this paper, we propose a modeling approach for a spatial complex system. The targeted system is the city with its mobility patterns. The goal of MIRO project is to study service accessibility in the city. In fact, we simulate the city with multi agent systems using them to represent each part of the system(individuals, buildings, streets,). The MIRO team is composed by scientists of several domains...
Performance prediction has been intensively studied in the last decade, alongside the accelerated development of distributed systems. This paper focuses on a hybrid approach regarding model solving, combining two popular prediction techniques applied separately so far, analytical and simulation modeling, in order to benefit from the strengths of both. The input UML model with MARTE (Modeling and Analysis...
A prototype of Model-Based Design tool called MoDAL is developed for enabling the design of heterogeneous systems in a hierarchical environment. MoDAL is constructed in the framework of Generic Modeling Environment and it can be used to form a tool chain among Simulink, Ptolemy II and some other Model-Based Design tools. In MoDAL, models can be made heterogeneous by having them designed in MoDAL or...
Modeling plays an increasingly important role in the life-cycle of systems, starting from the design stage, as well as important in the process of studying an unfamiliar, existing system. Complex systems are difficult to model, making it harder for users to deeply understand their intricate behavior. Moreover, in many cases the system may exhibit complex computational and stochastic behavior, critical...
The experimental simulation system is visually modeled and designed with UML, and realized on DOTNET development platform. Practice shows that the use of Unified Modeling Language not only can have good system scalability and reusability, but also can improve the efficiency of the system.
The main goal of this paper is to introduce the tool Kaira that we are developing. This tool is intended for modelling, simulation and generation of parallel applications. A developer is able to model parallel programs and different aspects of communication using Kaira. The used model is based on the variant of Coloured Petri Nets. Coloured Petri Nets provide the theoretical background. We use their...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.