Search results for "Simulation."

Towards a Formal Analysis of MQtt Protocol in the Context of Communicating Vehicles

2017

International audience; The paper presents a formal approach to model, analyze, and verify a variant of Message Queue Telemetry Transport protocol (MQtt), dedicated to communicating vehicles (MQtt-CV) that send collected data to automotive infrastructures(subscribers). Our formal approach is based on Promela language and its system verification tool, the model checker SPIN. We propose a slight modification of MQtt protocol to reduce the big volume of data collected and sent by vehicles to infrastructures. Indeed, in the original version of MQtt protocol, when a broker receives data from publishers, it sends them directly to its subscribers without any filtration. As consequence, subscribers…

Verifying a medical protocol with temporal graphs: the case of a nosocomial disease.

2014

Abstract Objective Our contribution focuses on the implementation of a formal verification approach for medical protocols with graphical temporal reasoning paths to facilitate the understanding of verification steps. Materials and methods Formal medical guideline specifications and background knowledge are represented through conceptual graphs, and reasoning is based on graph homomorphism. These materials explain the underlying principles or rationale that guide the functioning of verifications. Results An illustration of this proposal is made using a medical protocol defining guidelines for the monitoring and prevention of nosocomial infections. Such infections, which are acquired in the h…

Formal Modeling and Discrete-Time Analysis of BPEL Web Services

2008

International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…

Using the Rasch model to assess a University Service on the Basis of Students Opinions

2008

In this paper we use the Rasch model (RM) as a tool to measure the perceived quality of student services at the Reception Office of an Italian university faculty. This paper has both a substantive and a methodological aim. The former is concerned with measuring the service quality of the Reception Office, while the latter concerns the definition and validation of an instrument for measuring perceived quality. The sample comprised 273 students enrolled at the Faculty of Economics at the University of Palermo (Aiello F. Il modello di Rasch per la costruzione di uno strumento di misura della qualit`a di un Servizio. Ph.D. Thesis, University of Palermo, Palermo, 2005). The RM is applied to prod…

A heuristic for problem formalization in agent based simulation studies

2015

Agent Based Modeling and Simulation (ABMS) is considered an effective approach for conducting simulation studies in many fields. In order to develop high quality simulation models, methodological approaches are demanded. In such direction we are moving by proposing a heuristic for the formalization of agent based simulation problems. The proposed heuristic is based on some guidelines developed for identifying the main elements of the problem domain description by analysing verbs and their common taxonomy in grammar.

Modeling and Simulation of Mobile Radio Channels

2012

Robust H<inf>∞</inf> filtering for stochastic networked control systems

2014

Using the Modelling and Simulation Techniques to Improve the Management of SMEs Belonging to Regional Clusters

2015

Abstract The efficiency of exploiting the software takes on new dimensions under the conditions of integrated exploitation at the level of process and structural organization of SMEs found within the regional strategic alliances. The modeling and simulation of the leadership and regulation processes of the supply, sales and production flows imply a complex display of forces between the different partners of the logistic chain which can be supported by the existence of some data bases developed based on information partnership whose purpose is to counterattack the communication barriers and to ensure a flow and flexibility of the entire logistic flow. The modeling and simulation of the non-i…

Modeling and simulation of an offshore crane

2018

This paper presents a mathematical modeling of a crane system using robot modeling theory as well as the numerical simulation of the dynamics of a crane and a marine craft. The simulations are performed in SimulationX and Matlab Simulink. The simulation platform includes a SimulationX-model of the crane, a realistic model of a marine craft using the Marine Systems Simulator(MSS) and the hydrodynamic sea-keeping calculations (VERES program code). The simulation results show a very good picture of the dynamic behavior of the real crane in offshore environment and verify the validation and effectiveness of the presented modeling approach.

Concept of Client-Server Environment for Agent-Based Modeling and Simulation of Living Systems

2015

In the paper a concept for integrated and simple-to-use agent-based modeling and simulation environment is presented. The modeling environment allows simulating massive agent-based systems. Modeling environment itself is not domain specific, but it is expandable and allows creating domain-specific models. Hierarchical environment structure is supported. Individual agents could evolve by its individual path and pace. We use the General Living Systems theory as a reference model to check whether proposed modeling and simulation environment may also be used to describe models of living systems that are most complex systems around. The main concepts of proposed modeling environment such as agen…