Jean François Santucci

Learn More
Studying complex propagation phenomena is usually performed through cellular simulation models. Usually cellular models are specific cellular automata developed by non-computer specialists. We attempt to present here a mathematical specification of a new kind of CA. The latter allows to soundly specify cellular models using a discrete time base, avoiding(More)
This paper presents a simulation performance improvementof the application of the Multicomponent Discrete TimeSystem Specification (MultiDTSS) formalism to a firespread. Multicomponent choice is explained through bothMulticomponent systems and networks of systems criticalstudy for cell spaces modeling and simulation. A new functionhas been appended to the(More)
An important class of ecological problems concerns propagation processes. In ecological modelling, these phenomena generally occur on large scales and are generally difficult to simulate efficiently because of the number of entities. Studies of this kind of phenomena lack genericity and reusability because they are often presented from the point of view of(More)
The fire spreading phenomenon is highly complex, and existing mathematical models of fire are so complex themselves, that any possibility of analytical solution is precluded. Instead, there has been some success when studying fire spread by means of simulation. However, precise and reliable mathematical models are still under development. They require(More)
The paper deals with a Wireless Sensor Network (WSN) as a reliable solution for capturing the kinematics of a fire front spreading over a fuel bed. To provide reliable information in fire studies and support fire fighting strategies, a Wireless Sensor Network must be able to perform three sequential actions: 1) sensing thermal data in the open as the gas(More)
The paper deals with test automation of GUI (General User Interface) software using simulations. The development of GUI software requires a great amount of time and cost concerning the testing aspects. In order to facilitate and speed up the testing of such GUI software an approach based on discrete-event modeling and simulation is proposed. Traditionally,(More)
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 software in order to improve the M&S process. We therefore propose in this article a collaborative M&S software framework called DEVSimPY. We point out the use of(More)
Validation of VHDL descriptions at the early phases of the microelectronic design is one of the most time consuming task design. This paper presents a test vector generation method for behavioral VHDL design. This method analyzes control and dependence flow of VHDL program. We use the cyclomatic complexity, that is a software metric based on a graph(More)