Publications
Long long time ago, the article ecc91 was our first
publication about SynDEx and the article
mpcs94 our first publication about the AAA methodology. The
article codes99 gives an overview of the
AAA methodology and of the SynDEx software. Then,
article memocode03 details the graph
models used in AAA, and the automatic code generation technique
based on graph transformations. Since, we published a lot of
articles related to AAA and SynDEx that are listed below in
decreasing order by publication date.
Presentation
(same in french)
of the AAA methodology and SynDEx with applications examples.
|
[1]
|
Ismail Hawila, Liliana Cucu-Grosjean, Slim Ben Amor, and Yves Sorel.
Towards a new task model for merging control theory and real-time
scheduling problems.
In Proceedings of 16th Junior Researcher Workshop on Real-Time
Computing, JRWRTC'23, in conjunction with the 31st International conference
on Real-Time and Network Systems, RTNS'23, Dortmund, Germany, June 2023.
[ bib |
.pdf ]
|
|
[2]
|
Marwan Wehaiba El Khazen, Kevin Zagalo, Hadrien Clarke, Mehdi Mezouak, Yasmina
Abdeddaïm, Avner Bar-Hen, Slim Ben Amor, Rihab Bennour, Adriana Gogonel,
Kossivi Kougblenou, Yves Sorel, and Liliana Cucu-Grosjean.
Work in progress: Kdbench - towards open source benchmarks for
measurement-based multicore wcet estimators.
In 2022 IEEE 28th Real-Time and Embedded Technology and
Applications Symposium (RTAS), pages 309--312, 2022.
[ bib |
.pdf ]
|
|
[3]
|
Liliana Cucu-Grosjean, Avner Bar-Hen, Yves Sorel, and Hadrien Clarke.
Work-in-Progress Abstract: The impact of the period variation on
execution time distributions of programs.
In Proceedings of the IEEE 27th International Conference on
Embedded and Real-Time Computing Systems and Applications, RTCSA'21, pages
204--206, Online, France, August 2021.
[ bib |
DOI |
.pdf ]
|
|
[4]
|
Liliana Cucu-Grosjean, Marwan Wehaiba El Khazen, Adriana Gogonel, Hadrien
Clarke, and Yves Sorel.
Work-in-Progress Abstract: WKS, a local unsupervised statistical
algorithm for the detection of transitions in timing analysis.
In Proceedings of the IEEE 27th International Conference on
Embedded and Real-Time Computing Systems and Applications, RTCSA'21, pages
201--203, Online, France, August 2021.
[ bib |
DOI |
.pdf ]
|
|
[5]
|
Tomasz Kloda, Antoine Bertout, and Yves Sorel.
Latency upper bound for data chains of real-time periodic tasks.
Journal of Systems Architecture, page 101824, 2020.
[ bib |
DOI |
.pdf ]
|
|
[6]
|
Yves Sorel, Falou Ndoye, Walid Talaboulma, mehdi mezouak, and Liliana
Cucu-Grosjean.
Time Triggered Offline Scheduling of Data Dependent Real-Time Tasks
Accounting for the Preemption and Scheduler Cost.
Research Report RR-9318, Inria Paris, December 2019.
[ bib |
http |
.pdf ]
|
|
[7]
|
Salah Eddine Saidi, Nicolas Pernet, and Yves Sorel.
A method for parallel scheduling of multi-rate co-simulation on
multi-core platforms.
Oil & Gas Science and Technology - Revue d'IFP Energies
nouvelles, 74:49, 2019.
[ bib |
DOI |
http |
.pdf ]
|
|
[8]
|
T. Kloda, A. Bertout, and Y. Sorel.
Latency analysis for data chains of real-time periodic tasks.
In Proceedings of the 23rd IEEE International Conference on
Emerging Technologies and Factory Automation, ETFA'18, Torino, Italy,
September 2018.
[ bib |
.pdf ]
|
|
[9]
|
S. E. Saidi, N. Pernet, and Y. Sorel.
Scheduling real-time hil co-simulation of cyber-physical systems on
multi-core architectures.
In Proceedings of the 24th IEEE International Conference on
Embedded and Real-Time Computing Systems and Applications, Hakodate, Japan,
August 2018.
[ bib |
.pdf ]
|
|
[10]
|
S. E. Saidi.
Approches de Parallélisation Automatique et d'Ordonnancement
pour la Co-simulation de Modèles Numériques sur Processeurs
Multi-cœurs.
PhD thesis, Université Sorbonne, Spécialité Informatique,
18/04/2018.
[ bib |
.pdf ]
|
|
[11]
|
S. E. Saidi, N. Pernet, and Y. Sorel.
Automatic parallelization of multi-rate fmi-based co-simulation on
multi-core.
In Proceedings of the Symposium on Theory of Modeling &
Simulation: DEVS Integrative M&S Symposium, Virginia Beach, USA, April
2017.
[ bib |
.pdf ]
|
|
[12]
|
S. E. Saidi, N. Pernet, Y. Sorel, and A. Ben Khaled.
Acceleration of fmu co-simulation on multi-core architectures.
In Proceedings of first Japanese Modelica Conference, Tokyo,
Japan, May 2016.
[ bib |
.pdf ]
|
|
[13]
|
T. Carle, D. Potop-Butucaru, Y. Sorel, and D. Lesens.
From Dataflow Specification to Multiprocessor Partitioned
Time-triggered Real-time Implementation.
Leibniz Transactions on Embedded Systems, November 2015.
[ bib |
DOI |
http |
.pdf ]
|
|
[14]
|
R. A. Gorcitz, T. Carle, D. Lesens, D. Monchaux, D. Potop-Butucaru, and
Y. Sorel.
Automatic implementation of TTEthernet-based time-triggered avionics
applications.
In DASIA 2015, Barcelone, Spain, May 2015. Eurospace.
[ bib |
http |
.pdf ]
|
|
[15]
|
W. Talaboulma, M. Cristian, A. G. Gogonel, Y. Sorel, and L. Cucu-Grosjean.
Estimation of probabilistic worst case execution time while
accounting OS costs.
Work in Progress of the 21st IEEE Real-Time and Embedded Technology
and Applications Symposium (RTAS2015), April 2015.
Poster.
[ bib |
http ]
|
|
[16]
|
D. Potop-Butucaru and Y. Sorel.
Synchronous approach and scheduling.
In M. Chetto, editor, Real-time Systems Scheduling 2, pages
97--145. ISTE editions, 2014.
[ bib ]
|
|
[17]
|
D. Potop-Butucaru and Y. Sorel.
Approche synchrone et ordonnancement.
In M. Chetto, editor, Ordonnancement dans les systèmes temps
réel, pages 325--360. ISTE editions, 2014.
[ bib ]
|
|
[18]
|
F. Ndoye.
Ordonnancement temps réel préemptif multiprocesseur avec
prise en compte du coût du système d'exploitation.
PhD thesis, Université de Paris Sud, Spécialité Génie
Informatique, 03/04/2014.
[ bib |
.pdf ]
|
|
[19]
|
F. Ndoye and Y. Sorel.
Monoprocessor real-time scheduling of data dependent tasks with exact
preemption cost for embedded systems.
In Proceedings of 16th IEEE International Conference on
Computational Science and Engieering, CSE'13, Sydney, Australia, December
2013.
[ bib |
.pdf ]
|
|
[20]
|
O. Feki, T. Grandpierre, N. Masmoudi, M. Akil, and Y. Sorel.
Optimization of real time application on mixed architecture using aaa
methodology extension.
International Journal of Electronics Communication and Computer
Engineering, 4(5):1455--1466, 2013.
[ bib |
.pdf ]
|
|
[21]
|
H. Yu, Y. Ma, T. Gautier, L. Besnard, J.P. Talpin, P. Le Guernic, and Y. Sorel.
Exploring system architectures in aadl via polychrony and syndex.
Frontiers of Computer Science Journal, 7(5):627--649, 2013.
[ bib |
.pdf ]
|
|
[22]
|
F. Ndoye and Y. Sorel.
Sustainable multiprocessor real-time scheduling with exact preemption
cost.
International Journal on Advances in Systems and Measurements,
vol. 6(3,4):353--363, 2013.
[ bib |
.pdf ]
|
|
[23]
|
F. Ndoye and Y. Sorel.
Safety critical multiprocessor real-time scheduling with exact
preemption cost.
In Proceedings of 8th International Conference on Systems,
ICONS'13, Seville, Spain, January 2013.
[ bib |
.pdf ]
|
|
[24]
|
L. George M. Marouf and Y. Sorel.
Schedulability analysis for a combination of non-preemptive strict
periodic tasks and preemptive sporadic tasks.
In Proceedings of 17th IEEE International Conference on Emerging
Technologies and Factory Automation, ETFA'12, Kraków, Poland, September
2012.
[ bib |
.pdf ]
|
|
[25]
|
M. Marouf.
Ordonnancement temps réel dur multiprocesseur tolérant aux
fautes appliqué à la robotique mobile.
PhD thesis, Ecole des Mines de Paris, Spécialité Informatique
temps réel, robotique et automatique, 01/06/2012.
[ bib |
.pdf ]
|
|
[26]
|
D. de Rauglaudre.
Vérification formelle de conditions d'ordonnançabilité de
tâches temps-réel périodiques scrictes.
In Actes des 23e Journées Francophones des Langages
Applicatifs, JFLA,12, Carnac, France, February 2012.
[ bib |
.pdf ]
|
|
[27]
|
F. Ndoye and Y. Sorel.
Preemptive multiprocessor real-time scheduling with exact preemption
cost.
In Proceedings of 5th Junior Researcher Workshop on Real-Time
Computing, JRWRTC'11, in conjunction with the 18th International conference
on Real-Time and Network Systems, RTNS'11, Nantes, France, September 2011.
[ bib |
.pdf ]
|
|
[28]
|
M. Marouf and Y. Sorel.
Scheduling non-preemptive hard real-time tasks with strict periods.
In Proceedings of 16th IEEE International Conference on Emerging
Technologies and Factory Automation, ETFA'11, Toulouse, France, September
2011.
[ bib |
.pdf ]
|
|
[29]
|
P. Meumeu Yomsi and Y. Sorel.
An algebraic approach for fixed-priority scheduling of hard real-time
systems with exact preemption cost.
Research Report RR-7702, INRIA, August 2011.
[ bib |
.pdf ]
|
|
[30]
|
V. Papailiopoulou, D. Potop-Butucaru, Y. Sorel, R. De Simone, L. Besnard, and
J.-P. Talpin.
From concurrent multi-clock programs to concurrent multi-threaded
implementations.
Research Report RR-7577, INRIA, July 2011.
[ bib |
.pdf ]
|
|
[31]
|
M. Marouf, L. George, and Y. Sorel.
Schedulability analysis for a combination of preemptive strict
periodic tasks and sporadic tasks.
In Proceedings of the 10th Workshop on Models and Algorithms for
Planning and Scheduling Problems, MAPSP'11, Nymburk, Czech Republic, June
2011.
[ bib |
.pdf ]
|
|
[32]
|
L. George, P. Courbin, and Y. Sorel.
Job vs. portioned partitioning for the earliest deadline first
semi-partitioned scheduling.
Journal of Systems Architecture, 57(5):518 -- 535, 2011.
[ bib |
.pdf ]
|
|
[33]
|
D. Potop-Butucaru, Y. Sorel, R. de Simone, and J.-P. Talpin.
From concurrent multi-clock programs to deterministic asynchronous
implementations.
Fundamenta Informaticae, 108(1-2):91--118, 2011.
[ bib |
.pdf ]
|
|
[34]
|
D. Potop-Butucaru, R. de Simone, and Y. Sorel.
From synchronous specifications to statically scheduled hard
real-time implementations.
In S. K. Shukla and J.-P. Talpin, editors, Synthesis of Embedded
Software, pages 229--262. Springer, 2010.
[ bib ]
|
|
[35]
|
R. Davis, L. George, and P. Courbin.
Quantifying the sub-optimality of uniprocessor fixed priority
non-pre-emptive scheduling.
In Proceedings of 18th International Conference on Real-Time and
Network Systems, RTNS'10, Toulouse, France, November 2010.
[ bib |
.pdf ]
|
|
[36]
|
M. Marouf and Y. Sorel.
Schedulability conditions for non-preemptive hard real-time tasks
with strict period.
In Proceedings of 18th International Conference on Real-Time and
Network Systems, RTNS'10, Toulouse, France, November 2010.
[ bib |
.pdf ]
|
|
[37]
|
D. Potop-Butucaru, A. Azim, and S. Fischmeister.
Semantics-preserving implementation of synchronous specifications
over dynamic tdma distributed architectures.
In Proceedings of the eighth ACM international conference on
Embedded software, EMSOFT'10, Scottsdale, AZ, USA, October 2010.
[ bib |
.pdf ]
|
|
[38]
|
D. Potop-Butucaru, R. de Simone, Y. Sorel, and J.-P. Talpin.
Clock-driven distributed real-time implementation of endochronous
synchronous programs.
In Proceedings of the seventh ACM international conference on
Embedded software, EMSOFT'09, Grenoble, France, October 2009.
[ bib |
.pdf ]
|
|
[39]
|
P. Meumeu Yomsi, L. George, Y. Sorel, and D. de Rauglaudre.
Improving the quality of control of periodic tasks scheduled by fp
with an asynchronous approach.
International Journal on Advances in Systems and Measurements,
2(2), 2009.
[ bib |
.pdf ]
|
|
[40]
|
P. Meumeu Yomsi and Y. Sorel.
A new model for hard real-time systems.
In Proceedings of the 3rd Junior Researcher Workshop on
Real-Time Computing, JRWRTC'09, in conjunction with the 17th International
conference on Real-Time and Network Systems, RTNS'09, Paris, France, October
2009.
[ bib |
.pdf ]
|
|
[41]
|
P. Meumeu Yomsi and Y. Sorel.
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.
In Proceedings of the 4th Multidisciplinary International
Scheduling Conference, MISTA'09, Dublin, Ireland, August 2009.
[ bib |
.pdf ]
|
|
[42]
|
D. Potop-Butucaru, R. de Simone, Y. Sorel, and J.-P. Talpin.
From concurrent multiclock programs to deterministic asynchronous
implementations.
In Proceedings of the 9th Application of Concurrency to System
Design Conference, ACSD'09, Augsburg, Germany, July 2009.
[ bib |
.pdf ]
|
|
[43]
|
L. Cucu-Grosjean and Y. Sorel.
A schedulability test for real-time dependant periodic task systems
with latency constraints.
In Proceedings of conference Models and Algorithms for Planning
and Scheduling Problems, MAPSP'09, Abbey Rolduc, The Netherlands, July 2009.
[ bib |
.pdf ]
|
|
[44]
|
P. Meumeu Yomsi.
Prise en compte du coût exact de la préemption dans
l'ordonnancement temps réel monoprocesseur avec contraintes multiples.
PhD thesis, Université de Paris Sud, Spécialité Physique,
02/04/2009.
[ bib |
.pdf ]
|
|
[45]
|
O. Kermia.
Ordonnancement temps réel multiprocesseur de tâches non
préemptives avec contraintes de précédence, de périodicité stricte
et de latence.
PhD thesis, Université de Paris Sud, Spécialité Physique,
19/03/2009.
[ bib |
.pdf ]
|
|
[46]
|
P. Meumeu Yomsi, L. George, Y. Sorel, and D. de Rauglaudre.
Improving the sensitivity of deadlines with a specific asynchronous
scenario for harmonic periodic tasks scheduled by fp.
In Proceedings of the 4th International Conference on Systems,
ICONS'09, Cancun, Mexico, March 2009.
[ bib |
.pdf ]
|
|
[47]
|
M.-A. Peraldi-Frati and Y. Sorel.
From high-level modelling of time in marte to real-time scheduling
analysis.
In Proceedings of MODELS'08 Workshop on Architecting and
Construction of Embedded Systems-Model Based, ACES-MB'08, Toulouse, France,
September 2008.
[ bib |
.pdf ]
|
|
[48]
|
O. Kermia and Y. Sorel.
Schedulability analysis for non-preemptive tasks under strict
periodicity constraints.
In Proceedings of 14th International Conference on Real-Time
Computing Systems and Applications, RTCSA'08, Kaohsiung, Taiwan, August
2008.
[ bib |
.pdf ]
|
|
[49]
|
O. Kermia and Y. Sorel.
Load balancing and efficient memory usage for homogeneous distributed
real-time embedded systems.
In Proceedings of the 4th International Workshop on Scheduling
and Resource Management for Parallel and Distributed Systems, SRMPDS'08,
Portland, Oregon, USA, September 2008.
[ bib |
.pdf ]
|
|
[50]
|
A. Albinet, S. Begoc, J.-L. Boulanger, O. Casse, I. Dal, H. Dubois, F. Lakhal,
D. Louar, M.-A. Peraldi-Frati, Y. Sorel, and Q.-D. Van.A.
The memvatex methodology: from requirements to models in automotive
application design.
In Proceedings of 4th European Congress on Embedded Real-Time
Software, ERTS'08, Toulouse, France, February 2008.
[ bib |
.pdf ]
|
|
[51]
|
D. Potop-Butucaru, R. De Simone, and Y. Sorel.
Deterministic execution of synchronous programs in an asynchronous
environment.
Research Report RR-6656, INRIA, October 2008.
[ bib |
.pdf ]
|
|
[52]
|
D. Potop-Butucaru, R. De Simone, and Y. Sorel.
Optimized static real-time scheduling of communications on a
broadcast bus.
Research Report RR-6655, INRIA, September 2008.
[ bib |
.pdf ]
|
|
[53]
|
D. Potop-Butucaru, Y. Sorel, and R. de Simone.
Necessary and sufficient conditions for deterministic
desynchronization.
In Proceedings of Conference on Embedded Systems Software,
EMSOFT'07, Salzburg, Austria, October 2007.
[ bib |
.pdf ]
|
|
[54]
|
O. Kermia and Y. Sorel.
A rapid heuristic for scheduling non-preemptive dependent periodic
tasks onto multiprocessor.
In Proceedings of ISCA 20th International Conference on Parallel
and Distributed Computing Systems, PDCS'07, Las Vegas, Nevada, USA,
September 2007.
[ bib |
.pdf ]
|
|
[55]
|
P. Meumeu Yomsi and Y. Sorel.
Extending rate monotonic analysis with exact cost of preemptions for
hard real-time systems.
In Proceedings of 19th Euromicro Conference on Real-Time
Systems, ECRTS'07, Pisa, Italy, July 2007.
[ bib |
.pdf ]
|
|
[56]
|
A. Albinet, J-L. Boulanger, H. Dubois, M-A. Peraldi-Frati, Y. Sorel, and Q-D.
Van.
Model-based methodology for requirements traceability in embedded
systems.
In Proceedings of 3rd European Conference on Model Driven
Architecture® Foundations and Applications, ECMDA'07, Haifa, Israel, June
2007.
[ bib |
.pdf ]
|
|
[57]
|
P. Meumeu Yomsi and Y. Sorel.
Schedulability analysis with exact number of preemptions and no idle
time for real-time systems with precedence and strict periodicity
constraints.
In Proceedings of 15th International Conference on Real-Time and
Network Systems, RTNS'07, Nancy, France, March 2007.
[ bib |
.pdf ]
|
|
[58]
|
L. Cucu, N. Pernet, and Y. Sorel.
Periodic real-time scheduling: from deadline-based model to
latency-based model.
Annals of Operations Research, 2007.
[ bib |
.pdf ]
|
|
[59]
|
D. Potop-Butucaru, R. de Simone, and Y. Sorel.
From multi-clock constraints to multi-rate gals executives.
Research Report RR-6021, INRIA, Rocquencourt, France, November 2006.
[ bib |
.pdf ]
|
|
[60]
|
P. Meumeu Yomsi and Y. Sorel.
Non-schedulability conditions for off-line scheduling of real-time
systems subject to precedence and strict periodicity constraints.
In Proceedings of 11th IEEE International Conference on Emerging
technologies and Factory Automation, ETFA'06, WIP, Prague, Czech Republic,
September 2006.
[ bib |
.pdf ]
|
|
[61]
|
N. Pernet.
Implantation distribuée temps réel de programmes
conditionnés à l'aide d'ordonnancements mixtes hors-ligne en-ligne de
tâches périodiques avec contraintes de latence et acceptation de tâches
apériodiques.
PhD thesis, Université de Paris 6, Spécialité Informatique,
07/07/2006.
[ bib |
.pdf ]
|
|
[62]
|
M. Raulet.
Optimisation mémoire dans la méthodologie AAA pour code
embarqué sur architectures parallèles.
PhD thesis, Institut des Sciences Appliquées de Rennes,
Spécialité Electronique et Traitement du Signal, 18/05/2006.
[ bib |
.pdf ]
|
|
[63]
|
O. Kermia, L. Cucu, and Y. Sorel.
Non-preemptive multiprocessor static scheduling for systems with
precedence and strict periodicity constraints.
In Proceedings of the 10th International Workshop On Project
Management and Scheduling, PMS'06, Posnan, Poland, April 2006.
[ bib |
.pdf ]
|
|
[64]
|
Y. Sorel.
From modeling/simulation with scilab/scicos to optimized distributed
embedded real-time implementation with syndex.
In Proceedings of the International Workshop On Scilab and Open
Source Software Engineering, SOSSE'05, Wuhan, China, October 2005.
[ bib |
.pdf ]
|
|
[65]
|
M. Raulet, F. Urban, J.-F. Nezan, C. Moy, O. Déforges, and Y. Sorel.
Rapid Prototyping For Heterogeneous Multicomponent Systems: An
MPEG-4 Stream Over An UMTS Communication Link.
Journal of Applied Signal Processing (JASP), 2005.
[ bib |
.pdf ]
|
|
[66]
|
N. Pernet and Y. Sorel.
Transformations de spécifications incluant du contrôle en
spécification flot de données pour implantation distribuée.
In Actes de la Conférence Modélisation des Systèmes
Réactifs, MSR'05, Grenoble, France, October 2005.
[ bib |
.pdf ]
|
|
[67]
|
N. Pernet and Y. Sorel.
A design method for implementing specifications including control in
distributed embedded systems.
In Proceedings of the 10th IEEE International Conference on
Emerging Technologies and Factory Automation, ETFA'05, Catania, Italy,
September 2005.
[ bib |
.pdf ]
|
|
[68]
|
T. Ayav and Y. Sorel.
Feedback control static scheduling for real-time distributed embedded
systems.
In Proceedings of the 11th IEEE International Conference on
Embedded and Real-Time Computing Systems and Applications, RTCSA'05, Hong
Kong, China, August 2005.
[ bib |
.pdf ]
|
|
[69]
|
L. Cucu and Y. Sorel.
Periodic real-time scheduling: from latency-based model to
deadline-based model.
In Proceedings of the Multidisciplinary International Conference
on Scheduling: Theory and Applications, MISTA'05, New-York, USA, July 2005.
[ bib |
.pdf ]
|
|
[70]
|
L. Cucu and Y. Sorel.
Condition d'ordonnançabilité pour systèmes temps réel
non-préemptif à contraintes de précédences, de périodicités et de
latences.
In Actes du 6ème congrès de la Société Française de
Recherche Opérationnelle et d'Aide à la Décision, ROADEF'05, Tours,
France, February 2005.
[ bib |
.pdf ]
|
|
[71]
|
N. Pernet and Y. Sorel.
Spécification et implantation des systèmes distribués temps
réel de contrôle et traitement de données.
In Actes des Journées Francophones sur l'Adéquation
Algorithme Architecture, Dijon, France, January 2005.
[ bib |
.pdf ]
|
|
[72]
|
H. Kalla.
Génération automatique de distributions/ordonnancements
temps réel fiables et tolérant les fautes.
PhD thesis, Institut National Polytechnique de Grenoble,
Spécialité Systèmes et Logiciel, 17/12/2004.
[ bib |
.pdf ]
|
|
[73]
|
L. Kaouane.
Formalisation et optimisation d'applications s'exécutant sur
architecture reconfigurable.
PhD thesis, Université de Marne-La-Vallée, Spécialité
Informatique, 17/12/2004.
[ bib |
.pdf ]
|
|
[74]
|
L. Cucu and Y. Sorel.
Non-preemptive multiprocessor scheduling for strict periodic systems
with precedence constraints.
In Proceedings of 23rd Annual Workshop of the UK Planning and
Scheduling Special Interest Group, PLANSIG'04, Cork, Ireland, December 2004.
[ bib |
.pdf ]
|
|
[75]
|
L. Kaouane, M. Akil, T. Grandpierre, and Y. Sorel.
A methodology to implement real-time applications onto reconfigurable
circuits.
Journal of Supercomputing, 30(3):362--376, December 2004.
[ bib |
.pdf ]
|
|
[76]
|
Y. Sorel.
Syndex: System-level cad software for optimizing distributed
real-time embedded systems.
Journal ERCIM News, 59:68--69, October 2004.
[ bib |
.pdf ]
|
|
[77]
|
R. Kocik and Y. Sorel.
A methodology to reduce the design lifecycle of real-time embedded
control systems.
In Proceedings of European Simulation and Modelling Conference,
ESM'04, Paris, France, October 2004.
[ bib |
.pdf ]
|
|
[78]
|
L. Cucu and Y. Sorel.
Non-preemptive scheduling algorithms and schedulability conditions
for real-time systems with precedence and latency constraints.
Research Report RR-5403, INRIA, Rocquencourt, France, 2004.
[ bib |
.pdf ]
|
|
[79]
|
L. Cucu and Y. Sorel.
Ordonnancement non-préemptif pour systèmes temps réel à
contraintes de précédences et de latences.
In Actes de la Conférence internationale en Recherche
Opérationnelle, FRANCORO'04, Fribourg, Suisse, August 2004.
[ bib |
.pdf ]
|
|
[80]
|
C. Dima, A. Girault, and Y. Sorel.
Static fault-tolerant real-time scheduling with
“pseudo-topological” orders.
In Proceedings of Joint Conference on Formal Modelling and
Analysis of Timed Systems and Formal Techniques in Real-Time and Fault
Tolerant System, FORMATS-FTRTFT'04, volume 3253 of LNCS, Grenoble,
France, September 2004. Springer-Verlag.
[ bib |
.pdf ]
|
|
[81]
|
A. Girault, H. Kalla, and Y. Sorel.
An active replication scheme that tolerates failures in distributed
embedded real-time systems.
In Proceedings of IFIP Working Conference on Distributed and
Parallel Embedded Systems, DIPES'04, Toulouse, France, August 2004. Kluwer
Academic.
[ bib |
.pdf ]
|
|
[82]
|
A. Girault, H. Kalla, and Y. Sorel.
A scheduling heuristics for distributed real-time embedded systems
tolerant to processor and communication media failures.
International Journal of Production Research,
42(14):2877--2898, July 2004.
[ bib |
.pdf ]
|
|
[83]
|
L. Cucu.
Ordonnancement non préemptif et condition
d'ordonnançabilité pour système embarqués à contraintes temps
réel.
PhD thesis, Université de Paris Sud, Spécialité Électronique,
28/05/2004.
[ bib |
.pdf ]
|
|
[84]
|
Nicolas Pernet and Yves Sorel.
From specification to optimized implementation of distributed
real-time embedded systems mixing control and data processing.
In Proceedings of ISCA 16th International Conference: Computer
Applications in Industry and Engineering, CAINE'03, Las Vegas Nv, USA,
November 2003.
[ bib |
.pdf ]
|
|
[85]
|
A. Girault, H. Kalla, and Y. Sorel.
Une heuristique d'ordonnancement et de distribution tolérante aux
pannes pour systèmes temps-réel embarqués.
In Actes de la conférence Modélisation des Systèmes
Réactifs, MSR'03, pages 145--160, Metz, France, October 2003. Hermes.
[ bib |
.pdf ]
|
|
[86]
|
L. Kaouane, M. Akil, Y. Sorel, and T. Grandpierre.
From algorithm graph specification to automatic synthesis of fpga
circuit: a seamless flow of graph transformations.
In Proceedings of 13th international conference on
Field-Programmable Logic and Applications, FPL'03, Lisbon, Portugal,
September 2003.
[ bib |
.pdf ]
|
|
[87]
|
L. Kaouane, M. Akil, Y. Sorel, and T. Grandpierre.
Implantation optimisée sur circuit dédié d'algorithmes
spécifiés sous la forme d'un graphe factorisé de dépendances de
données: application aux traitements d'images.
In Proceedings of 19th Synposium on Signal and Image
Processing, GRETSI'03, Paris, France, September 2003.
[ bib |
.pdf ]
|
|
[88]
|
M. Raulet, M. Babel, J.-F. Nezan, O. Déforges, and Y. Sorel.
Automatic coarse-grain partitioning and automatic code generation for
heterogeneous architectures.
In Proceedings of IEEE Workshop on Signal Processing Systems,
SiPS'03, Seoul, Korea, August 2003.
[ bib |
.pdf ]
|
|
[89]
|
L. Kaouane, M. Akil, Y. Sorel, and T. Grandpierre.
A methodology to implement real-time applications on reconfigurable
circuits.
In Proceedings of International Conference on Engineering of
Reconfigurable Systems and Algorithms, ERSA'03, Las Vegas, USA, June 2003.
[ bib |
.pdf ]
|
|
[90]
|
A. Girault, H. Kalla, M. Sighireanu, and Y. Sorel.
An algorithm for automatically obtaining distributed and
fault-tolerant static schedules.
In Proceedings of International Conference on Dependable Systems
and Networks, DSN'03, San Francisco, California, USA, June 2003.
[ bib |
.pdf ]
|
|
[91]
|
T. Grandpierre and Y. Sorel.
From algorithm and architecture specification to automatic generation
of distributed real-time executives: a seamless flow of graphs
transformations.
In Proceedings of First ACM and IEEE International Conference on
Formal Methods and Models for Codesign, MEMOCODE'03, Mont Saint-Michel,
France, June 2003.
[ bib |
.pdf ]
|
|
[92]
|
L. Cucu and Y. Sorel.
Schedulability condition for systems with precedence and periodicity
constraints without preemption.
In Proceedings of 11th Real-Time Systems Conference, RTS'03,
Paris, March 2003.
[ bib |
.pdf ]
|
|
[93]
|
Q. Pan, T. Gautier, L. Besnard, and Y. Sorel.
Signal to syndex: Translation between synchronous formalisms.
internal report, 2003.
Internal report, INRIA, Rocquencourt, France, 2003.
[ bib |
.pdf ]
|
|
[94]
|
T. Grandpierre and Y. Sorel.
Un nouveau modèle générique d'architecture hététogène
pour la méthodologie aaa.
In Actes des Journées Francophones sur l'Adéquation
Algorithme Architecture, JFAAA'02, Monastir, Tunisia, December 2002.
[ bib |
.pdf ]
|
|
[95]
|
L. Cucu, R. Kocik, and Y. Sorel.
Real-time scheduling for systems with precedence, periodicity and
latency constraints.
In Proceedings of 10th Real-Time Systems Conference, RTS'02,
Paris, France, March 2002.
[ bib |
.pdf ]
|
|
[96]
|
E. Belhaire, E. Bourennane, G. Bouvier, D. Demigny, P. Garda, L. Kessal,
L. Lacassagne, F. Lohier, M. Paindavoine, Y. Sorel, L. Torres, and S. Weber.
Méthodes et architectures pour le traitement du signal et des
images en temps réel, chapter 5: Y. Sorel, Méthodologie AAA et logiciel
SynDEx, pages 79--108.
IC2. Hermes, 2001.
[ bib |
.pdf ]
|
|
[97]
|
R. Djenidi, R. Nikoukhah, S. Steer, and Y. Sorel.
Interface scicos-syndex.
Rapport de recherche 4250, INRIA, septembre 2001.
[ bib |
.pdf ]
|
|
[98]
|
R. Djenidi.
Formalisme de modélisation des systèmes dynamiques
hybrides.
PhD thesis, Université de Paris 12 Val de Marne, Spécialité
Génie informatique, automatique et traitement du signal, 02/07/2001.
[ bib ]
|
|
[99]
|
A. Girault, C. Lavarenne, M. Sighireanu, and Y. Sorel.
Generation of fault-tolerant static scheduling for real-time
distributed embedded systems with multi-point links.
In Proceedings of IEEE Workshop on Fault-Tolerant Parallel and
Distributed Systems, San Francisco, USA, April 2001.
[ bib |
.pdf ]
|
|
[100]
|
Alain Girault, C. Lavarenne, M. Sighireanu, and Yves Sorel.
Fault-tolerant static scheduling for real-time distributed embedded
systems.
In Proceedings of 21st International Conference on Distributed
Computing Systems, ICDCS'01, Phoenix, USA, April 2001.
[ bib |
.pdf ]
|
|
[101]
|
Catalin Dima, A. Girault, C. Lavarenne, and Y. Sorel.
Off-line real-time fault-tolerant scheduling.
In Proceedings of Euromicro Workshop on Parallel and Distributed
Processing, pages 410--417, Mantova, Italy, February 2001.
[ bib |
.pdf ]
|
|
[102]
|
T. Grandpierre.
Modélisation d'architectures parallèles hétérogènes
pour la génération automatique d'exécutifs distribués temps réel
optimisés.
PhD thesis, Université de Paris Sud, Spécialité électronique,
30/11/2000.
[ bib |
.pdf ]
|
|
[103]
|
M. Barreteau, P. Bonnot, T. Grandpierre, P. Kajfasz, C. Lavarenne, J. Mattioli,
and Y. Sorel.
Prompt : A mapping environment for telecom applications on “system
on a chip”.
In Proceedings of International Conference on Compilers,
Architecture and Synthesis for Embedded Systems, CASE'00,, San Jose, Cal.
USA, November 2000.
[ bib |
.pdf ]
|
|
[104]
|
A. Girault, C. Lavarenne, M. Sighireanu, and Y. Sorel.
Fault-tolerant static scheduling for real-time distributed embedded
systems.
Rapport de recherche 4006, INRIA, septembre 2000.
[ bib |
.pdf ]
|
|
[105]
|
A. Ailton.
Contribution à l'implantation optimisée d'algorithmes bas
niveau de traitement du signal et des images sur des architectures mono-FPGA
à l'aided'une méthodologie d'adéquation algorithme-architecture.
PhD thesis, Université de Paris Sud, Spécialité informatique,
12/07/2000.
[ bib |
.pdf ]
|
|
[106]
|
R. Kocik.
Sur l'optimisation des systèmes distribués temps réel
embarqués : application au prototypage rapide d'un véhicule électrique
semi-autonome.
PhD thesis, Université de Rouen, Spécialité informatique
industrielle, 22/03/2000.
[ bib |
.pdf ]
|
|
[107]
|
R. Kocik and Y. Sorel.
De la modélisation à la réalisation : réduction du cycle de
développement des applications temps réel distribuées.
In Proceedings of 8th Real-Time Systems Conference, RTS'00,
Paris, France, March 2000.
[ bib |
.pdf ]
|
|
[108]
|
Christine Ancourt, Michel Barreteau, Bernard Dion, T. Grandpierre, Irigoin
François, Jean Jourdan, Philippe Kajfasz, C. Lavarenne, and Y. Sorel.
Prompt : Placement rapide optimisé sur machines parallèles pour
applications de télécommunications.
In Actes du 5ème Worshop sur l'Adéquation Algorithme
Architecture, Paris, France, January 2000.
[ bib |
.pdf ]
|
|
[109]
|
M. Akil, A. Dias, C. Lavarenne, and Yves Sorel.
Vers la synthèse automatique de circuits à partir de graphes
algorithmiques factorisés.
In Actes du 5ème Workshop sur l'Adéquation Algorithme
Architecture, Paris, France, January 2000.
[ bib |
.pdf ]
|
|
[110]
|
Rachid Djenidi, C. Lavarenne, Ramine Nikoukhah, Y. Sorel, and S. Steer.
From hybrid system simulation to real-time implementation.
In Proceedings of 11th European Simulation Symposium and
Exhibition, ESS'99, Erlangen-Nuremberg, Germany, October 1999.
[ bib |
.pdf ]
|
|
[111]
|
A. Vicard.
Formalisation et optimisation des systèmes informatiques
distribués temps réel embarqués.
PhD thesis, Université de Paris Nord, Spécialité informatique,
5/07/1999.
[ bib |
.pdf ]
|
|
[112]
|
T. Grandpierre, C. Lavarenne, and Y. Sorel.
Optimized rapid prototyping for real-time embedded heterogeneous
multiprocessors.
In Proceedings of 7th International Workshop on
Hardware/Software Co-Design, CODES'99, Rome, Italy, May 1999.
[ bib |
.pdf ]
|
|
[113]
|
T. Grandpierre, C. Lavarenne, and Y. Sorel.
Modèle d'exécutif distribué temps réel pour SynDEx.
Rapport de Recherche 3476, INRIA, August 1998.
[ bib |
.pdf ]
|
|
[114]
|
A. Vicard and Y. Sorel.
Formalization and static optimization for parallel implementations.
In Proceedings of Workshop on Distributed and Parallel Systems,
DAPSYS'98, Budapest, Hungary, September 1998.
[ bib |
.pdf ]
|
|
[115]
|
A. Vicard and Y. Sorel.
Formalisation et optimisation statique d'implantations parallèles.
In Actes des Deuxièmes Journées francophones de recherche
opérationnelle, FRANCORO'98, Sousse, Tunisie, April 1998.
[ bib |
.pdf ]
|
|
[116]
|
R. Kocik and Y. Sorel.
A methodology to design and prototype optimized embedded robotic
systems.
In Proceedings of 2nd IMACS International Multiconference,
CESA'98, Hammamet, Tunisia, April 1998.
[ bib |
.pdf ]
|
|
[117]
|
A. Dias, C. Lavarenne, M. Akil, and Y. Sorel.
Optimized implementation of real-time image processing algorithms on
field programmable gate arrays.
In Proceedings of Fourth International Conference on Signal
Processing, ICSP'98, Beijing, China, October 1998.
[ bib |
.pdf ]
|
|
[118]
|
A. Dias, C. Lavarenne, M. Akil, and Y. Sorel.
Adéquation algorithme architecture appliquée aux circuits
reconfigurables.
In Actes des Quatrièmes Journées AAA en Traitement du Signal
et des Images, Saclay, France, January 1998.
[ bib |
.pdf ]
|
|
[119]
|
C. Lavarenne and Y. Sorel.
Modèle unifié pour la conception conjointe logiciel-matériel.
Traitement du Signal, 14(6), 1997.
[ bib |
.pdf ]
|
|
[120]
|
Collectif.
Ordinateurs et calcul parallèles, chapter XII: Y. Sorel,
Adéquation Algorithme-Architecture en traitement du signal et des images,
pages 209--228.
ARAGO 19. OFTA, Lavoisier TEC et DOC, April 1997.
[ bib |
.pdf ]
|
|
[121]
|
Y. Sorel.
Real-time embedded image processing applications using the algorithm
architecture adequation methodology.
In Proceedings of IEEE International Conference on Image
Processing, ICIP'96, Lausanne, Switzerland, September 1996.
[ bib |
.pdf ]
|
|
[122]
|
C. Aiglon, C. Lavarenne, Y. Sorel, and A. Vicard.
Utilisation de SynDEx pour le traitement d'images temps-réel.
Rapport de Recherche 2968, INRIA, September 1996.
[ bib |
.pdf ]
|
|
[123]
|
Y. Sorel.
Massively parallel systems with real time constraints, the algorithm
architecture adequation methodology.
In Proceedings of Conference on Massively Parallel Computing
Systems, MPCS'94, Ischia, Italy, May 1994.
[ bib |
.pdf ]
|
|
[124]
|
P. Bournai, C. Lavarenne, P. Le Guernic, O. Mafféës, and Y. Sorel.
Interface SIGNAL-SynDEx.
Rapport de Recherche 2206, INRIA, March 1994.
[ bib |
.pdf ]
|
|
[125]
|
C. Lavarenne and Y. Sorel.
Optimisation et génération d'exécutifs distribués
temps-réel pour algorithmes spécifiés avec les Langages Synchrones.
In Proceedings of Conference on Real Time Systems, RTS'94,
Paris, France, January 1994.
[ bib |
.pdf ]
|
|
[126]
|
C. Lavarenne and Y. Sorel.
Performance optimization of multiprocessor real-time applications by
graph transformations.
In Proceedings of Parallel Computing Conference, PARCO'93,
Grenoble, France, September 1993.
[ bib |
.pdf ]
|
|
[127]
|
C. Lavarenne, Claude Milan, Michel Paindavoine, G. Richard, and Y. Sorel.
Implantation d'algorithmes de traitement d'images sur une
architecture multi-DSP avec l'environnement d'aide à l'implantation
SynDEx.
In Actes du XIVème Colloque GRETSI, Juan-Les-Pins, France,
September 1993.
[ bib |
.pdf ]
|
|
[128]
|
C. Lavarenne, R. Reynaud, and Y. Sorel.
Spécification et validation à l'aide d'un langage synchrone d'un
protocole d'appariement de données asynchrones.
In Actes du XIVème Colloque GRETSI, Juan-Les-Pins, France,
September 1993.
[ bib |
.pdf ]
|
|
[129]
|
C. Lavarenne and Y. Sorel.
Specification, performance optimization and executive generation for
real-time embedded multiprocessor applications with SynDEx.
In Proceedings of Real-Time Embedded Processing for Space
Applications, Les Saintes Maries de la Mer, France, November 1992. CNES
International Symposium.
[ bib |
.pdf ]
|
|
[130]
|
F. Ennesser, C. Lavarenne, and Y. Sorel.
Méthode chronométrique pour l'optimisation du temps de réponse
des exécutifs SynDEx.
Rapport de Recherche 1769, INRIA, June 1992.
[ bib |
.pdf ]
|
|
[131]
|
C. Lavarenne, O. Seghrouchni, Y. Sorel, and M. Sorine.
SynDEx, un environnement de programmation pour applications de
traitement du signal distribuées.
In Actes du XIIIème Colloque GRETSI, Juan-les-Pins, France,
September 1991.
[ bib |
.pdf ]
|
|
[132]
|
C. Lavarenne, O. Seghrouchni, Y. Sorel, and M. Sorine.
The SynDEx software environment for real-time distributed systems,
design and implementation.
In Proceedings of European Control Conference, ECC'91,
Grenoble, France, July 1991.
[ bib |
.pdf ]
|
|
[133]
|
N. Ghezal, S. Matiatos, P. Piovesan, Y. Sorel, and M. Sorine.
SynDEx, un environnement de programmation pour multiprocesseur de
traitement du signal, mécanismes de communication.
Rapport de Recherche 1236, INRIA, June 1990.
[ bib |
.pdf ]
|
|
[134]
|
C. Lavarenne and Y. Sorel.
SynDEx, un environnement de programmation pour multiprocesseur de
traitement du signal. manuel de l'utilisateur v.0.
Rapport Technique 113, INRIA, 1989.
[ bib |
.pdf ]
|
|
