Sciences Pour l’Environnement

Nos tutelles

CNRS

Rechercher




Accueil > Blogs > CAPOCCHI Laurent

Publications

par campana - publié le

[hal-01343553] Discrete Event Modeling and Simulation for IoT Efficient Design Combining WComp and DEVSimPy Framework

18 juillet 2016

One of today's challenges in the framework of ubiquitous computing concerns the design of ambient systems including sensors, smart-phones, interconnected objects, computers, etc. The major difficulty is to propose a compositional adaptation which aims to integrate new features that were not (...)

Lire la suite

[hal-01337689] IoT Efficient Design Using WComp Framework and Discrete Event Modeling and Simulation

27 juin 2016

Complex systems that increasingly involves devices such as sensors, smart-phone, interconnected objects and computers, results in what is called ambient systems. One of today’s challenges in the framework of ubiquitous computing concerns the design of ambient systems. The major difficulty is to (...)

Lire la suite

[hal-01326253] System Entity Structure Extension to Integrate Abstraction Hierarchy and Time Granularity into DEVS Modeling and Simulation

3 juin 2016

The Modeling and Simulation (M&S) of complex systems often requires models described at different levels of details characterized by differences in abstraction hierarchy and/or time granularity. The Discrete Event System Specification (DEVS) is a framework based on mathematical systems (...)

Lire la suite

[hal-01315176] Using Activity Metrics for DEVS Simulation Profiling

17 mai 2016

Activity metrics can be used to profile DEVS models before and during the simulation. It is critical to get good activity metrics of models before and during their simulation. Having a means to compute a-priori activity of components (analytic activity) may be worth when simulating a model (or (...)

Lire la suite

[hal-01314305] Extension du formalisme SES pour l’intégration de la hiérarchie d’abstraction et la granularité temporelle au sein de la modélisation et la simulation DEVS

11 mai 2016

Cet article propose une extension du formalisme SES ( System Entity Structure) -défini par B.P. Zeigler- afin d'intégrer les concepts de hiérarchie d’abstraction et de granularité temporelle au sein du formalisme DEVS (Discrete EVent system Specification). Pour accomplir cette tâche, nous avons mis (...)

Lire la suite

[hal-01314290] DEVSimPy-mob : une application mobile hybride pour la simulation à événements discrets des systèmes ubiquitaires

11 mai 2016

Les modèles de simulation à événements discrets actuels subissent une révolution avec l’arrivée des systèmes ubiquitaires. Ces systèmes, qui font intervenir des terminaux mobiles (smartphones, tablettes, etc.) échangeant des quantités de données de plus en plus importantes provenant de capteurs, ont (...)

Lire la suite

[hal-01314277] PDEVS Protocol Performance Prediction using Activity Patterns with Finite Probabilistic DEVS

11 mai 2016

This paper deals with PDEVS (Parallel Discrete Event System specification) protocol performance prediction using activity patterns with Finite Probabilistic DEVS. In 2015, Zeigler et. al showed that the PDEVS protocol is a simple-to-implement distributed simulation protocol that can provide (...)

Lire la suite

[hal-01245489] Discrete Event Modeling and Simulation for IoT Efficient Design Combining WComp and DEVSimPy Framework

17 décembre 2015

One of today's challenges in the framework of ubiquitous computing concerns the design of ambient systems including sensors, smart-phones, interconnected objects, computers, etc. The major difficulty is to propose a compositional adaptation which aims to integrate new features that were not (...)

Lire la suite

[hal-01245473] Big Data Decision Making Based on Predictive Data Analysis Using DEVS Simulations

17 décembre 2015

Methods of processing and analyzing traditional data does not answer to the emergence of Big Data stemming from social networks and mobile applications. One of the best ways to bring the perspective of the customers to business decisions is by using data analysis to allow a company to deal with (...)

Lire la suite

[medihal-01083121] DEVSimPy - v2.8 - tutoriel 3

20 juillet 2015

Cette video présente la modélisation des myths avec une représentation dans Google Earth.

Lire la suite

[medihal-01083118] DEVSimPy - v2.8 - tutoriel 2

20 juillet 2015

Cette vidéo présent comment suspendre la simulation pour interagir avec les modèles. Cette fonctionnalité est présente dans DEVSimPy grâce au langage interprété et dynamique Python.

Lire la suite

[medihal-01083117] DEVSimPy - v2.8 - tutoriel 1

20 juillet 2015

Cette video présente comment créer une librairie de modèles dans le logiciel DEVSimPy en version 2.8.

Lire la suite

[medihal-01083116] Présentation du logiciel DEVSimPy au laboratoire SPE UMR CNRS 6134

20 juillet 2015

Cette video présente le logiciel DEVSimPy développé au laboratoire SPE UMR CNRS 6134.

Lire la suite

[hal-00165455] A DEVS-based Concurrent and Comparative Fault Simulation Algorithm

21 avril 2015

Concurrent and Comparative Simulation (CCS) with Multi-List Propagation (MLP) provides a way to per- form several simulations in a single execution run and Concurrent Fault Simulation (CFS) has been one of its first applications. The main obstacles to a wide use of this technique are the high (...)

Lire la suite

[hal-01143529] Optimization via simulation of catchment basin management using a discrete-event approach

17 avril 2015

This paper deals with discrete-event simulation based on optimization of a catchment basin management. The integration of optimization techniques into modeling and simulation relies on the evolution of the studied model using decisions based on previous simulation results. Three different (...)

Lire la suite

[hal-01092792] Optimization via simulation of catchment basin management using a discrete-event approach

10 décembre 2014

This paper deals with discrete-event simulation-based optimization of a catchment basin management. The integration ofoptimization techniques into modeling and simulation relies on the evolution of the studied model using decisions basedon previous simulation results. Three different categories (...)

Lire la suite

[hal-01090706] Using Activity Metrics for DEVS Simulation Profiling

6 décembre 2014

Activity metrics can be used to profile DEVS models before and during the simulation. It is critical to get good activity metrics of models before and during their simulation. Having a means to compute a-priori activity of components (analytic activ-ity) may be worth when simulating a model (or (...)

Lire la suite

[hal-01083159] Flash sous Linux avec Eclipse

18 novembre 2014

Flash est souvent considéré à la fois comme un langage et un outilpermettant de développer des animations pour des pages Web.Flash est très populaire et est inévitable en milieu professionnel.Dans cet article l'auteur montre comment développer une applicationFlash avec des outils libres sous Linux. (...)

Lire la suite

[hal-01083165] Actes de la 1ières journées du projet TIC

18 novembre 2014

Les 1 ères Journées du Projet TIC ont eulieu les 11 et 12 juin 2012 à l’Université deCorse. Le projet TIC a su depuis sa création en 2008 se développer jusqu’à atteindre une phase de maturité permettant la capitalisation des recherches autour des concepts de Modélisation et Simulation. Ces journées sont (...)

Lire la suite

[hal-01083176] DEVSimPy - Version 2.8

18 novembre 2014

Ce guide de l'utilisateur permet de prendre en main la version 2.8 de l'environnement de modélisation et de simulation DEVSimPy.

Lire la suite

[hal-01083100] A Proposed Evolution of DEVSimPy Environment Towards Activity Tracking

18 novembre 2014

This paper deals with the potential evolutions of the DEVSimPy environ-ment involving Activity Tracking (AT) concepts. The DEVSimPy environ-ment is being developed at University of Corsica in order to facilitate themodeling and the simulation of dynamic systems described with the DEVSformalism. (...)

Lire la suite

[hal-01083124] Simulation DEVS d’une machine à induction triphasée

18 novembre 2014

Ce rapport montre qu’il est possible de simuler le modèle mathématique d’une machine asynchrone triphasé avec leformalisme DEVS (Discrete EVent System Specification) et d’obtenir les mêmes résultats que ceux obtenus avec le logicielMatlab/Simulink.

Lire la suite

[hal-01083122] Simulation Maple© d’une machine à induction triphasée

18 novembre 2014

Ce rapport est consacré à la simulation numérique du modèle mathématique d’une machine à induction triphasée. Cemodèle est obtenu par une mise en équation des courants statoriques et rotoriques du modèle orienté circuit. Il consiste en un système complet de six équations différentielles linéaires du 1er (...)

Lire la suite

[hal-01083123] Étude Comparative DEVSimPy, Simulink, PowerDEVS, Maple

18 novembre 2014

Le but de ce document et de présenter les simulations effectuées sur le modèle du stator (Mada 5.5kw) avec Matlab/Simulink©, PowerDEVS, Maple© et DEVSimPy. Le modèle du stator est issue du modèle complet d'une machine asynchrone triphasée. Cette comparaison nous permettra devoir de quelle manière un (...)

Lire la suite

[hal-01083129] Integrazione dei dati di contesto nel modello matematico che utilizza le librerie DEVS

17 novembre 2014

Le attività svolte nell’ambito dell’Azione 7.1.3 (cfr. documento “7.1.3_report_RAS”) hannoevidenziato la necessità di elaborare, per il Bacino del Rio San Gerolamo, i dati relativi allasuddivisione in sottobacini omogenei per comportamento idraulico, e i valori dei tempi dicorrivazione relativi a (...)

Lire la suite

[hal-01083130] Elaboration modéle mathématique DEVS pour la prévision de crues

17 novembre 2014

Nous présentons dans ce rapport les travaux de l’Université de Corse qui concernent la collaboration avec la Région Sardaigne. Le but des travaux est de proposer une approche d’aide à la gestion de bassins versants dans le cas de crues. Cette approche reposera sur des simulations informatiques pour (...)

Lire la suite

[hal-01083096] Implementation and Analysis of DEVS Activity-Tracking with DEVSimPy

17 novembre 2014

This paper deals with the implementation of Activity-Tracking (AT) paradigmin the DEVSimPy environment. DEVSimPy has been developed at the SPE UMR CNRS6134 (University of Corsica) in order to facilitate the modeling and the simulation ofdiscrete-event systems described with the DEVS formalism. (...)

Lire la suite

[hal-01083154] DEVSimPy : un environnement Python de simulation des systèmes à événements discrets

16 novembre 2014

L’objectif de cet article est de présenter un logiciel de Modélisation et de Simulation (M&S) des systèmes à événements discrets développé en langage Python : DEVSimPy. Basé sur le formalisme DEVS (Discrete Event System Specification) introduit par le professeur B.P. Zeigler à la fin des années 70, (...)

Lire la suite

[hal-01083091] Software test automation using DEVSimPy environment

16 novembre 2014

The paper deals with test automation of GUI (General User Interface) softwareusing simulations. The development of GUI software requires a greatamount of time and cost concerning the testing aspects. In order to facilitateand speed up the testing of such GUI software an approach basedon (...)

Lire la suite

[hal-01083092] Discrete Optimization via Simulation of Catchment Basin Management Within the DEVSimPy Framework

16 novembre 2014

This paper deals with Optimization via Simulation (OvS) of the management of a catchment basin involving dams, electrical power station, pumping station, valves, etc. We explain how an iterative process allows us to integrate optimization algorithms into a discrete-event simulation using a DOvS (...)

Lire la suite

[hal-01083097] Catchment Basin Optimized Management using a Simulation Approach within DEVSimPy Framework

16 novembre 2014

This paper deals with Optimization via Simulation (OvS) of the management of a catchment basin involving dams, electrical power station, pumping station, valves, etc. We explain how an iterative process allows us to integrate optimization algorithms into a discrete-event simulation using a DOvS (...)

Lire la suite

[hal-01083099] An Efficient Architecture of Multi-Stage Neural Network for Wound-Rotor Induction Generator Short-Circuit Fault Classification

16 novembre 2014

The aim of this paper is to show the efficiency of the time-domain analysis in electrical machines fault diagnosis due to early short-circuits detection in both stator and rotor windings. The contribution is based on a multi-stage artificial neural network which has been shown to be more (...)

Lire la suite

[hal-01083102] Fuzzy Discrete-Event Systems Modeling and Simulation with Fuzzy Control Language and DEVS Formalism

16 novembre 2014

There is an increasing use of fuzzy data in the fieldof discrete-event system modeling. This paper deals with anapproach based on the use of Fuzzy Control Language (FCL)allowing to facilitate the modeling and simulation of DiscreteEVent Systems (DEVS) involving uncertainty. The main (...)

Lire la suite

[hal-01083105] IoT Component Design and Implementation using Discrete Event Specification Simulations

16 novembre 2014

The Internet of Things (IoT) approach enables rapid innovation in the area of internet connected devices and associated cloud services. An IoT node can be defined as a flexible platform for interacting with real world objects and making data about those objects accessible through the internet. (...)

Lire la suite

[hal-01083106] DEVS models design and test using AGILE-based methods with DEVSimPy

16 novembre 2014

Validation and test of DEVS models at the early phases of theDesign process is a crucial topic when dealing with complexDEVS models. Based on Software Engineering test methods,we present in this paper a new approach which integrates Agilemethods in the process of the simulation in order to (...)

Lire la suite

[hal-01083108] Wound Rotor Induction Generator Inter-Turn Short-Circuits Diagnosis Using a New Digital Neural Network

16 novembre 2014

This paper deals with a new transformation and fusion of digital input patterns used to train and test feedforward neural network for a wound-rotor three-phase induction machine windings short-circuit diagnosis. The single type of short-circuits tested by the proposed approach is based on (...)

Lire la suite

[tel-00165440] Simulation concurrente de fautes comportementales pour des systèmes à événements discrets : Application aux circuits digitaux

29 octobre 2014

La Simulation Comparative et Concurrente (SCC) permet d'effectuer plusieurs simulations d'un système en une seule exécution. Une des premières applications de la SCC a été la Simulation de Fautes Concurrente (SFC) permettant la simu- lation de fautes au sein des systèmes digitaux décrits au niveau (...)

Lire la suite

[hal-00589139] Fuzzy Inference Models For Discrete EVent Systems

28 octobre 2014

For several years, we worked to improve a discrete events modeling formalism: called DEVS. Having defined a method to take into account the inaccuracies iDEVS, in this paper, we present the second part of our research work. Generally, our approach is to associate the DEVS formalism with an (...)

Lire la suite

[hal-00589164] Manipulation of incomplete or fuzzy data for DEVS-based systems

28 octobre 2014

In this paper we present our work on the manipulation of imprecise variables using basic operations: fuzzy arithmetic (+, -, *, /). Our aim is to simulate a fuzzy module to a DEVS-based modeling and simulation environment: PowerDEVS. Our module must allow the specifying of a model with fuzzy (...)

Lire la suite

[hal-00603736] A NEW DEVS-BASED GENERIC ARTFICIAL NEURAL NETWORK MODELING APPROACH

28 octobre 2014

The Artificial Neural Network (ANN) is a black box model capable of resolving paradigms that linear computing cannot. Therefore, the configuration of ANN is a hard task for modeler since it depends on the application complexity. The Discrete EVent system Specification (DEVS) is a formalism to (...)

Lire la suite

[hal-00588328] New Trends and Solutions for the Simulation of Electrical Circuits Using a Discrete Event Approach

28 octobre 2014

It is well known that a model of any electrical circuit can be translated into a system of ordinary differential equations (ODE). Usually, the simulation is performed in the time-domain using classical discrete approaches convenient for both linear and non-linear systems. An other method consists (...)

Lire la suite

[hal-00165444] BFS-DEVS : A General DEVS-Based Formalism For Behavioral Fault Simulation

28 octobre 2014

Discrete event modeling allows designing an easy-to-handle and reusable representation of a system but, in its classical form, only permits one simulation at a time for a system. Concurrent and Comparative Simulation (CCS) with Multi-List Propagation (MLP) appears to be an adapted solution, by (...)

Lire la suite

[hal-00165462] Transformation of VHDL Descriptions into DEVS Models for Fault Modeling and Simulation

28 octobre 2014

We propose in this article an approach for the transformation of VHDL descriptions into DEVS models for an easy and fast fault simulation. VHDL allows description of the structure of a design, that is how it is decomposed into sub-designs, and how those designs are interconnected. The (...)

Lire la suite

[hal-00165449] A BFS-DEVS Approach for induction Generator Non Traditional Modelling

28 octobre 2014

The goal of this paper is to propose a behavioral modelling method of the electrical machine functioning, and more particularly of an induction generator machine. Our approach is based on VHDL-AMS (Very high speed integrated circuits Hardware Description Language for Analog and Mixed Signal) (...)

Lire la suite

[hal-00165465] Behavioral Fault Simulation for VHDL Description using DEVS Formalism

28 octobre 2014

One of the main problems is that today the tools for test generation are unable to quickly and easily create and simulate behavioral fault models directly from the VHDL descriptions. A way to solve this problem is to encapsulate these descriptions in easily simulable and evolutive models using (...)

Lire la suite

[hal-00165433] Simulation of AC Electrical Machines Behaviour Using Discrete Event System Simulator

28 octobre 2014

This paper deals with the adaptation of AC elec- trical machine models for discrete event system simulator. The formalism chosen is DEVS (Discrete Event system Specification) which has been adapted recently for hybrid system simulation. The software PowerDEVS is close to MATLAB/Simulink(C) but (...)

Lire la suite

[hal-00165460] A DEVS-based Modeling Behavioral Fault Simulator for RT-Level Digital Circuits

28 octobre 2014

The domain of fault simulation for digital circuits described at the RT-level is currently under heavy researches. The goal of these researches is to define a fast and efficient methodology for the validation of test patterns very early in the design flow. We propose in this article a new approach (...)

Lire la suite

[hal-00371191] Asymmetrical Behavior of a Double­Fed Induction Generator : Modeling, Discrete Event Simulation and Validation

28 octobre 2014

The aim of this paper is to present a discrete event simulation of a three-phase wound-rotor induction machine in order to show the efficiency of the proposed method to take into account the different winding unbalances. In fact, these machines are used in large power wind turbine generators in (...)

Lire la suite

[hal-00603745] Wound-Rotor Induction Generator Short-Circuit Fault Classification Using a New Neural Network Based on Digital Data

28 octobre 2014

This paper deals with a new transformation and fusion of digital input patterns used to train and test feed-forward neural network for a wound rotor three-phase induction machine winding short-circuits classification. Used input/output data have been binary coded in order to reduce the (...)

Lire la suite

[hal-00440834] Simulation-based validation of VHDL descriptions using constraints logic programming

11 décembre 2011

This paper presents a simulation based validation approach for test vectors generation. We suggest to borrow techniques used successfully in the software testing and constraints logic programming areas. Our methodology is based on the three following steps: VHDL code modeling and analysis, (...)

Lire la suite

[hal-00603465] Visualization of Folktales on a map by coupling dynamic DEVS simulation within Google Earth

27 juin 2011

This paper deals with dynamic visualization of folktales on a map. The visualization is performed using a coupling of dynamic simulation with the google earth API. The simulation is based on the DEVS (Discrete EVent system Specification) formalism. We have defined a set of basic models to (...)

Lire la suite

[hal-00603466] DEVSimPy : A Collaborative Python Software for Modeling and Simulation of DEVS Systems

26 juin 2011

The Modeling and Simulation (M&S) of complex systems leans on the collaboration between different actors coming from specific domains. These actors have to communicate through an efficient way in order to improve the M&S process. We therefore propose in this article a collaborative (...)

Lire la suite