Small satellites empower different applications for an affordable price. By dealing with a
limited capacity for using instruments with high power consumption or high data-rate …

The tradeoff between analyzability and expressiveness is a key factor when choosing a
suitable dataflow model of computation (MoC) for designing, modeling, and simulating …

This thesis (Habilitation\a diriger des recherches) presents some of my research
contributions since my Ph. D defense in 2008. I have had the chance to participate in the …

New methodologies are needed for the development of avionics systems to meet today's
software explosion in complexity and related cost due to the increased functionality in the …

Parallel and distributed simulation (PDS) is often employed to tackle the computational
intensity of system-level simulation of real-world complex embedded and cyber-physical …

Sophisticated and high performance embedded systems are present in an increasing
number of application domains. In this context, formal-based design methods have been …

In this paper, we compare two formal model-based frameworks supporting both system
modeling and simulation which are based on models of computation: Ptolemy II and …

Dataflow process networks (DPNs) are intrinsically data-driven, ie, node actions are not
synchronized among each other and may fire whenever sufficient input operands arrived at …

Simulation is a well-established technique for analyzing systems in many domains. To
analyze such systems, they are modeled at a specific level of abstraction, eg, as a software …

Runtime reconfiguration is one promising way to mitigate for increased failure rate and
thereby it fulfills safety requirements needed for future safety-critical avionics systems. In …