Mamadou Kaba Traoré

Learn 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)
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)
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)
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)
DEVS (Discrete Event System Specification) is an approach in the area of modeling and simulation that provides a means of specifying dynamic systems. A variety of DEVS tools have been implemented without a standard developmental guideline across the board, consequently revealing a lack of central frameworks for integrating heterogeneous DEVS simula-tors.(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)