Mamadou Kaba Traoré

Learn More
Simulation models are usually built in an objective-driven context. Capturing the relationship between a model and its context is a key issue in Modeling and Simulation (M&S). A better driving of the M&S life cycle requires the objectives, assumptions and constraints in disguise behind this relationship to be explicit. A sound systemic-based foundation is(More)
This paper shows how a simulation model can be specified so that its static and temporal properties can be formally analyzed. The approach adopted is based on the integration of formal methods (FMs) and the DEVS paradigm. FMs are known to allow symbolic manipulation and reasoning, while DEVS is known as being a well-establish modeling and simulation(More)
There is an increasing interest in the distribution of parallel random number streams in the high-performance computing community particularly, with the manycore shift. Even if we have at our disposal statistically sound random number generators according to the latest and thorough testing libraries, their parallelization can still be a delicate problem.(More)
Modeling and Simulation (M&S) is becoming the core of scientific activities addressing nature complexity. To tackle complexity, we need to integrate heterogeneous formalisms in the same model. Models then become multimodels. Furthermore, M&S softwares have to assist take into account the M&S activity cycle, i.e. modellers to design and to implement models,(More)
SimStudio is a Modeling & Simulation environment based on the DEVS formalism (Discrete EVent Systems Specification). Its architecture aims at integrating in a single platform tools for modeling, simulation, analysis and collaboration, by proposing model transformation features (code generation, among others) in order to smooth the modeling and simulation(More)
A current notable effort in the DEVS community is to provide a worldwide platform for distributed modeling and simulation based on Web Services and related technologies. Such an infrastructure will allow the sharing and reuse of simulation models and experiments. This will permit attacking different aspects of interoperability at the right level of(More)
DEVS (Discrete Event System Specification) is an approach in the area of Modeling and Simulation (M&S) that provides a means of specifying dynamic systems. A variety of DEVS tools have been implemented without a standard developmental guideline across board consequently revealing a lack of central frameworks for integrating heterogeneous DEVS simulators.(More)
We propose DDML (DEVS-Driven Modeling Language), a graphical notation for DEVS modeling and simulation. This notation aims at providing a way to drive easily the modeling activity (by drawing and linking graphical symbols and augmenting them with text), and to catch at the same time the results of the simulation activity. This means that both structure and(More)