A constraint-based design space exploration framework for real-time applications on MPSoCs
Design space exploration (DSE) is a critical step in the design process of real-time
multiprocessor systems. Combining a formal base in form of SDF graphs with predictable …
multiprocessor systems. Combining a formal base in form of SDF graphs with predictable …
Flexible and tradeoff-aware constraint-based design space exploration for streaming applications on heterogeneous platforms
Due to its complexity, the problem of map** and scheduling streaming applications on
heterogeneous MPSoCs under real-time and performance constraints has traditionally been …
heterogeneous MPSoCs under real-time and performance constraints has traditionally been …
Latency evaluation of SDFGs on heterogeneous processors using timed automata
Synchronous Data Flow (SDF) is a graphical computation model used for analyzing digital
signal processing and real time multimedia applications. In general, these applications have …
signal processing and real time multimedia applications. In general, these applications have …
Resource-constrained optimal scheduling of synchronous dataflow graphs via timed automata
Synchronous dataflow (SDF) graphs are a widely used formalism for modelling, analysing
and realising streaming applications, both on a single processor and in a multiprocessing …
and realising streaming applications, both on a single processor and in a multiprocessing …
A modular design space exploration framework for multiprocessor real-time systems
Embedded system designers often face a large number of design alternatives when
designing complex systems. A designer must select an alternative which satisfies …
designing complex systems. A designer must select an alternative which satisfies …
Throughput propagation in constraint-based design space exploration for mixed-criticality systems
When designing complex mixed-critical systems on multiprocessor platforms, a huge
number of design alternatives has to be evaluated. Therefore, there is a need for tools which …
number of design alternatives has to be evaluated. Therefore, there is a need for tools which …
Model checking of finite-state machine-based scenario-aware dataflow using timed automata
Dataflow formalisms are widely used for modeling and analyzing streaming applications. An
important distinction is between static and dynamic formalisms, the latter allowing for the …
important distinction is between static and dynamic formalisms, the latter allowing for the …
Static optimal scheduling for synchronous data flow graphs with model checking
Synchronous data flow graphs (SDFGs) are widely used to model digital signal processing
and streaming media applications. In this paper, we present exact methods for static optimal …
and streaming media applications. In this paper, we present exact methods for static optimal …
State-based real-time analysis of SDF applications on MPSoCs with shared communication resources
The timing predictability of Multi-Processor System on Chip (MPSoC) platforms with hard
real-time applications is much more challenging than that of traditional platforms due to their …
real-time applications is much more challenging than that of traditional platforms due to their …
Fast and accurate performance models for probabilistic timing analysis of sdfgs on mpsocs
HD Vu - 2021 - hal.science
Timing analysis is a very important step in the design phase of multiprocessor system-
onchip (MPSoC) to guarantee that timing constraints are fully met with acceptable analysis …
onchip (MPSoC) to guarantee that timing constraints are fully met with acceptable analysis …