International audienceOne of the most important challenges in complex embedded systems design is developing methods and tools for modeling and analyzing the behavior of application software running on multi-processor platforms. We propose a tool-supported flow for systematic and compositional construction of mixed software/hardware system models. These models are intended to represent, in an operational way, the set of timed executions of parallel application software statically mapped on a multi-processor platform. As such, system models will be used for performance analysis using simulation-based techniques as well as for code generation on specific platforms. The construction of the system model proceeds in two steps. In the first step, ...
Embedded systems are becoming increasingly complex and more distributed. Cost and quality requiremen...
International audienceEmbedded systems are becoming increasingly complex and more distributed. Cost ...
This dissertation entitled ’Model-Based Exploration of Parallelism in the Context of Automotive Mult...
A grand challenge in complex embedded systems design is developing methods and tools for modeling an...
Abstract—A grand challenge in complex embedded systems design is developing methods and tools for mo...
The development of embedded systems in information-rich contexts is governed by some intertwined tre...
International audienceA grand challenge in complex embedded systems design is developing methods and...
International audienceAs real-time systems have become more and more complex, architects rely on abs...
In the present work, we tackle the problem of modeling and evaluating performance in the context of ...
Embedded software development relies on various tools - compilers, simulators, execution time estima...
In this paper, we describe a computation platform called ReachLab, which enables automatic analysis ...
The complexity of state-of-the-art embedded systems requires designers to focus on abstraction level...
International audienceFor a long time, the code generation from domain-specific and/or model-based l...
International audienceEmbedded systems are increasingly being developed using models. These models m...
International audienceThe need for higher level models during system design has resulted in many di ...
Embedded systems are becoming increasingly complex and more distributed. Cost and quality requiremen...
International audienceEmbedded systems are becoming increasingly complex and more distributed. Cost ...
This dissertation entitled ’Model-Based Exploration of Parallelism in the Context of Automotive Mult...
A grand challenge in complex embedded systems design is developing methods and tools for modeling an...
Abstract—A grand challenge in complex embedded systems design is developing methods and tools for mo...
The development of embedded systems in information-rich contexts is governed by some intertwined tre...
International audienceA grand challenge in complex embedded systems design is developing methods and...
International audienceAs real-time systems have become more and more complex, architects rely on abs...
In the present work, we tackle the problem of modeling and evaluating performance in the context of ...
Embedded software development relies on various tools - compilers, simulators, execution time estima...
In this paper, we describe a computation platform called ReachLab, which enables automatic analysis ...
The complexity of state-of-the-art embedded systems requires designers to focus on abstraction level...
International audienceFor a long time, the code generation from domain-specific and/or model-based l...
International audienceEmbedded systems are increasingly being developed using models. These models m...
International audienceThe need for higher level models during system design has resulted in many di ...
Embedded systems are becoming increasingly complex and more distributed. Cost and quality requiremen...
International audienceEmbedded systems are becoming increasingly complex and more distributed. Cost ...
This dissertation entitled ’Model-Based Exploration of Parallelism in the Context of Automotive Mult...