Yves Sorel

发表

Schedulability Analysis using Exact Number of Preemptions and no Idle time for Real-Time Sys- tems with Precedence and Strict Periodicity Constraints

Patrick Meumeu Yomsi, Yves Sorel, Y. Sorel, 2006 .

Scheduling Real-Time HiL Co-Simulation of Cyber-Physical Systems on Multi-Core Architectures

Yves Sorel, Salah Eddine Saidi, Nicolas Pernet, 2018, 2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).

Optimized Implementation of Distributed Real-Time Embedded Systems Mixing Control and Data Processing

Yves Sorel, Nicolas Pernet, 2003, CAINE.

SynDEx-Mix: A hardware/software partitioning CAD tool

Nouri Masmoudi, Yves Sorel, Mohamed Akil, 2014, 2014 15th International Conference on Sciences and Techniques of Automatic Control and Computer Engineering (STA).

Scheduling non-preemptive hard real-time tasks with strict periods

Yves Sorel, Mohamed Marouf, 2011, ETFA2011.

A Denotational Theory of Synchronous Reactive Systems

Yves Sorel, Albert Benveniste, Paul Le Guernic, 1992, Inf. Comput..

Non-preemptive scheduling algorithms and schedulability conditions for real-time systems with precedence and latency constraints

Yves Sorel, Liliana Cucu, 2004 .

Real-time embedded image processing applications using the A/sup 3/ methodology

Yves Sorel, Y. Sorel, 1996, Proceedings of 3rd IEEE International Conference on Image Processing.

New Results - Upgrades in SAS software

Yves Sorel, Daniel de Rauglaudre, 2010 .

Generation of fault-tolerant static scheduling for real-time distributed embedded systems with multi-point links

Yves Sorel, Alain Girault, Mihaela Sighireanu, 2001, Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001.

Model-Based Methodology for Requirements Traceability in Embedded Systems

Yves Sorel, Jean-Louis Boulanger, Arnaud Albinet, 2007 .

An algorithm for automatically obtaining distributed and fault-tolerant static schedules

Yves Sorel, Alain Girault, Mihaela Sighireanu, 2003, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..

Time Triggered Offline Scheduling of Data Dependent Real-Time Tasks Accounting for the Preemption and Scheduler Cost

Liliana Cucu-Grosjean, Yves Sorel, Falou Ndoye, 2019 .

Software - SynDEx-IC

Yves Sorel, Mohamed Akil, Thierry Grandpierre, 2005 .

Schedulability analysis for a combination of preemptive strict periodic tasks and sporadic tasks

Yves Sorel, Laurent George, Mohamed Marouf, 2011 .

A Methodology to Implement Real-Time Applications onto Reconfigurable Circuits

Yves Sorel, Mohamed Akil, Thierry Grandpierre, 2004, The Journal of Supercomputing.

New Results - Real-time scheduling and code generation for time-triggered platforms

Yves Sorel, Thomas Carle, Raul Gorcitz, 2014 .

Guest editorial—RTNS 2010

Sanjoy K. Baruah, Yves Sorel, 2011, Real-Time Systems.

Feedback control static scheduling for real-time distributed embedded systems

Yves Sorel, Tolga Ayav, Y. Sorel, 2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05).

P2I: an innovative MDA methodology for embedded real-time system

Robert de Simone, Yves Sorel, Arnaud Cuccuru, 2005, 8th Euromicro Conference on Digital System Design (DSD'05).

Off-line real-time fault-tolerant scheduling

Yves Sorel, Alain Girault, Catalin Dima, 2001, Proceedings Ninth Euromicro Workshop on Parallel and Distributed Processing.

A New Model for Hard Real-Time Systems

Patrick Meumeu Yomsi, Yves Sorel, 2009 .

Schedulability Analysis for Non-Preemptive Tasks under Strict Periodicity Constraints

Yves Sorel, Omar Kermia, 2008, 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.

Improving the Sensitivity of Deadlines with a Specific Asynchronous Scenario for Harmonic Periodic Tasks scheduled by FP

Patrick Meumeu Yomsi, Yves Sorel, Laurent George, 2009, 2009 Fourth International Conference on Systems.

Job vs. portioned partitioning for the earliest deadline first semi-partitioned scheduling

Yves Sorel, Laurent George, Pierre Courbin, 2011, J. Syst. Archit..

AAA and SynDEx-Ic: A Methodology and a Software Framework for the Implementation of Real-Time Applications onto Reconfigurable Circuits

Yves Sorel, Mohamed Akil, Thierry Grandpierre, 2004, FPL.

Latency analysis for data chains of real-time periodic tasks

Yves Sorel, Antoine Bertout, Tomasz Kloda, 2018, 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA).

Load Balancing and Efficient Memory Usage for Homogeneous Distributed Real-Time Embedded Systems

Yves Sorel, Omar Kermia, 2008, 2008 International Conference on Parallel Processing - Workshops.

Monoprocessor Real-Time Scheduling of Data Dependent Tasks with Exact Preemption Cost for Embedded Systems

Yves Sorel, Falou Ndoye, 2013, 2013 IEEE 16th International Conference on Computational Science and Engineering.

An Active Replication Scheme that Tolerates Failures in Distributed Embedded Real-Time Systems

Yves Sorel, Alain Girault, Hamoudi Kalla, 2004, DIPES.

Scientific Foundations - Languages and Models

Julien Boucaron, Robert de Simone, Yves Sorel, 2006 .

Extending Rate Monotonic Analysis with Exact Cost of Preemptions for Hard Real-Time Systems

Patrick Meumeu Yomsi, Yves Sorel, Y. Sorel, 2007, 19th Euromicro Conference on Real-Time Systems (ECRTS'07).

Schedulability analysis for a combination of non-preemptive strict periodic tasks and preemptive sporadic tasks

Yves Sorel, Laurent George, Mohamed Marouf, 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

From Algorithm Graph Specification to Automatic Synthesis of FPGA Circuit: A Seamless Flow of Graphs Transformations

Yves Sorel, Mohamed Akil, Thierry Grandpierre, 2003, FPL.

Necessary and sufficient conditions for deterministic desynchronization

Robert de Simone, Yves Sorel, Dumitru Potop-Butucaru, 2007, EMSOFT '07.

A rapid heuristic for scheduling non-preemptive dependent periodic tasks onto multiprocessor

Yves Sorel, Omar Kermia, 2007, ISCA PDCS.

From algorithm and architecture specifications to automatic generation of distributed real-time executives: a seamless flow of graphs transformations

Yves Sorel, Thierry Grandpierre, 2003, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings..

Co-design of Control Systems and their real-time implementation - A Tool Survey

Karl-Erik Årzén, Yves Sorel, Christoph M. Kirsch, 2006 .

Synchronous Approach and Scheduling

Yves Sorel, Dumitru Potop-Butucaru, 2014 .

Fault-tolerant static scheduling for real-time distributed embedded systems

Yves Sorel, Alain Girault, Mihaela Sighireanu, 2001, Proceedings 21st International Conference on Distributed Computing Systems.

Rapid Prototyping for Heterogeneous Multicomponent Systems: An MPEG-4 Stream over a UMTS Communication Link

Mickaël Raulet, Jean-François Nezan, Olivier Déforges, 2006, EURASIP J. Adv. Signal Process..

An Algebraic Approach for Fixed-Priority Scheduling of Hard Real-time Systems with Exact Preemption Cost

Patrick Meumeu Yomsi, Yves Sorel, Y. Sorel, 2011 .

Transient Processor/Bus Fault Tolerance for Embedded Systems

Yves Sorel, Alain Girault, Hamoudi Kalla, 2006, DIPES.

Performance Optimization of Multiprocessor Real-Time Applications by Graphs Transformations

Yves Sorel, Christophe Lavarenne, 1993, PARCO.

Schedulability conditions for non-preemptive hard real-time tasks with strict period

Yves Sorel, Mohamed Marouf, Inria Rocquencourt, 2010 .

Acceleration of FMU Co-Simulation On Multi-core Architectures

Yves Sorel, Salah Eddine Saidi, Nicolas Pernet, 2016 .

Exploring system architectures in AADL via Polychrony and SynDEx

Yves Sorel, Paul Le Guernic, Thierry Gautier, 2013, Frontiers of Computer Science.

Non-Schedulability Conditions for Off-line Scheduling of Real-Time Systems Subject to Precedence and Strict Periodicity Constraints

Patrick Meumeu Yomsi, Yves Sorel, 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

Scientific Foundations - The AAA (Algorithm-Architecture Adequation) methodology and Real-Time Scheduling

Yves Sorel, Laurent George, Dumitru Potop Butucaru, 2010 .

PROMPT: a mapping environment for telecom applications on “system-on-a-chip”

Yves Sorel, Juliette Mattioli, Michel Barreteau, 2000, CASES '00.

Latency upper bound for data chains of real-time periodic tasks

Yves Sorel, Antoine Bertout, Tomasz Kloda, 2020, J. Syst. Archit..

Optimized rapid prototyping for real-time embedded heterogeneous multiprocessors

Yves Sorel, Thierry Grandpierre, Christophe Lavarenne, 1999, Proceedings of the Seventh International Workshop on Hardware/Software Codesign (CODES'99) (IEEE Cat. No.99TH8450).

Clock-driven distributed real-time implementation of endochronous synchronous programs

Robert de Simone, Yves Sorel, Jean-Pierre Talpin, 2009, EMSOFT '09.

Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders

Yves Sorel, Alain Girault, Catalin Dima, 2004, FORMATS/FTRTFT.

A methodology for improving software design lifecycle in embedded control systems

Yves Sorel, Rédha Hamouche, Rémy Kocik, 2008, 2008 Design, Automation and Test in Europe.

Scientific Foundations - Transformations and analysis

Julien Boucaron, Robert de Simone, Yves Sorel, 2006 .

Automatic parallelization of multi-rate FMI-based co-simulation on multi-core

Yves Sorel, Salah Eddine Saidi, Nicolas Pernet, 2017, SpringSim.

Work-in-Progress Abstract: WKS, a local unsupervised statistical algorithm for the detection of transitions in timing analysis

Liliana Cucu-Grosjean, Yves Sorel, Adriana Gogonel, 2021, 2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).

Work-in-Progress Abstract: The impact of the period variation on execution time distributions of programs

Liliana Cucu-Grosjean, Yves Sorel, Avner Bar-Hen, 2021, 2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).

Preemptive Multiprocessor Real-Time Scheduling with Exact Preemption Cost

Yves Sorel, Falou Ndoye, Paris-Rocquencourt, 2012 .

Non-preemptive multiprocessor scheduling of strict periodic systems with precedence constraints

Yves Sorel, Liliana Cucu, Y. Sorel, 2004 .

SynDEx : System-Level CAD Software for Optimizing Distributed Real-Time Embedded Systems

Yves Sorel, 2004 .

Models and Methods for the Analysis and Optimization of Systems with Real-time and Embedded Constraints

Mickaël Raulet, Julien Boucaron, Robert de Simone, 2006 .

Real-time scheduling for systems with precedence , periodicity and latency constraints

Yves Sorel, Rémy Kocik, Liliana Cucu, 2002 .

Schedulability Analysis for non Necessarily Harmonic Real-Time Systems with Precedence and Strict Periodicity Constraints using the Exact Number of Preemptions and no Idle Time

Patrick Meumeu Yomsi, Yves Sorel, 2008 .

From Modeling / Simulation with Scilab / Scicos to Optimized Distributed Embedded Real-Time Implementation with SynDEx

Yves Sorel, Y. Sorel, 2005 .

Non-preemptive multiprocessor static scheduling for systems with precedence and strict periodicity constraints

Yves Sorel, Omar Kermia, Liliana Cucu, 2006 .

Static fault-tolerant scheduling with “ pseudo-topological ” orderings

Yves Sorel, Alain Girault, Cătălin Dima, .