[PDF] Top 20 A MDE-based optimisation process for Real-Time systems

... GAINS A. Connection-based optimisations Table I shows the content of the threads built by both Full Greedy Optimization (FGO) and Half Greedy Optimization (HGO), with the connection criteria for ... Voir le document complet

... modeling process is driven by the engineer view of the system to be ...fit a particular vision, e.g. a functional breakdown, but usually overlook another like hardware ...Thus, a re-factoring ... Voir le document complet

... Hardware/software based solutions play significant role in many domains like automotive or ...such real-time distributed systems is ...is a long- term and complex ...create a ... Voir le document complet

... OMG for a few years, puts the model paradigm in the center of the development ...the process activities rely on an intensive use of model transformations and tries as much as possible to separate ... Voir le document complet

... Off-Line Test Selection for Timed Automata: Conformance testing is the process of testing whether an implementation behaves correctly with respect to a specification. Implementations are considered ... Voir le document complet

... is a real-time multiprocessor scheduling simulator which provides various functions to simulate the scheduling process of real-time task sets and their temporal behavior when ... Voir le document complet

... In a previous work (Abbas et al., 2013), we have proposed a real-time feedback scheduler algo- rithm for environmental energy harvesting systems, in which the processor speed can ... Voir le document complet

... However, the final generated code to be used in the real system has not controlled plant code but another piece of software of hardware. Hence, we need to adapt the con- troller algorithm to synchronize with the ... Voir le document complet

... basis for our QoS model. B. Real-time Scheduling issues Real-time scheduling theory has been primarily concerned from several decades with obtaining solutions to firstly, the ... Voir le document complet

... proposed a compatible enhancement of UML templates which consists in enforcing templates to have a full model as ...notably for aspectual usages, but also to better specify the model of ... Voir le document complet

... in real-time scheduling, many real world problems are not easily supported including energy ..."adjusted" based on continuous feedback. Systems with open-loop schedulers are ... Voir le document complet

... providing a virtualization environment for the guest using KVM. A virtual machine (VM) is initiated in QEMU by us- ing the system call interface (ioctl) provided by the modules of ...of a ... Voir le document complet

... be a parametric timed game, where A is a TIOA parametrized by ∆ and W is a safety ...has a winning strategy}. Computing ∆ max would in general require to solve a para- metric ... Voir le document complet

... with a cache memory hierarchy made of several levels, shared or not between ...in a multicore architecture with two levels of cache, noted L 1x and L 2 where x is the number of the ... Voir le document complet

... harvesting based real-time system which is composed of a set of identical ...supercapacitors). A reconfigurable computing system undergoes unpre- dictable events that require adequate ... Voir le document complet

... Conclusion In this paper, we study the functional feasibility in an architecture powered by a battery. We are interested in the tasks scheduling after reconfiguration scenarios. To ensure that the system is ... Voir le document complet

... platform for intelligent management of multi-vector energy ...of a collaborative network of modules coordinated through a shared, semantic understanding of the given energy ...allows a ... Voir le document complet

... is a variable in the problem), with the idea that if buffer sizes are minimized, the phases will be indi- rectly minimized too since a phase delays the execution of the producer or consumer and thus ... Voir le document complet

... methods for shared-cache multi-cores may lack accuracy, in particular when some tasks have large memory require- ...accounting for inter-task interference during WCET estima- tion, cache partitioning ... Voir le document complet

... to Real Time Scheduling for Energy Autonomous ...celui-ci a en plus un comportement contraint par le temps et en particulier doit respecter des échéances de fin d’exécu- tion au plus ... Voir le document complet