The AAA Methodology and
HOME DOWNLOAD DOCUMENTATION COLLABORATIONS PUBLICATIONS SCICOS/SynDEx SynDEx-IC

Publications


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] 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 ]
[2] 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 ]
[3] 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 ]
[4] 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 ]
[5] 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 ]
[6] 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 ]
[7] 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 ]
[8] 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 ]
[9] 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 ]
[10] 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 ]
[11] 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 ]
[12] 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 ]
[13] 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 ]
[14] 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 ]
[15] 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 ]
[16] 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 ]
[17] 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 ]
[18] 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 ]
[19] 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 ]
[20] 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 ]
[21] 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 ]
[22] 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 ]
[23] 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 ]
[24] 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 ]
[25] 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 ]
[26] 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 ]
[27] 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 ]
[28] 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 ]
[29] 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 ]
[30] 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 ]
[31] 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 ]
[32] 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 ]
[33] 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 ]
[34] 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 ]
[35] 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 ]
[36] 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 ]
[37] 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 ]
[38] 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 ]
[39] 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 ]
[40] 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 ]
[41] 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 ]
[42] 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 ]
[43] 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 ]
[44] 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 ]
[45] 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 ]
[46] 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 ]
[47] 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 ]
[48] 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 ]
[49] 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 ]
[50] 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 ]
[51] 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 ]
[52] 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 ]
[53] 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 ]
[54] 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 ]
[55] 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 ]
[56] 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 ]
[57] 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 ]
[58] 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 ]
[59] 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 ]
[60] 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 ]
[61] 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 ]
[62] 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 ]
[63] 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 ]
[64] 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 ]
[65] Y. Sorel. Syndex: System-level cad software for optimizing distributed real-time embedded systems. Journal ERCIM News, 59:68-69, October 2004.
bib | .pdf ]
[66] 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 ]
[67] 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 ]
[68] 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 ]
[69] 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 ]
[70] 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 ]
[71] 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 ]
[72] 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 ]
[73] 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 ]
[74] 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 ]
[75] 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 ]
[76] 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 ]
[77] 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 ]
[78] 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 ]
[79] 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 ]
[80] 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 ]
[81] 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 ]
[82] 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 ]
[83] 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 ]
[84] 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 ]
[85] 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 ]
[86] R. Djenidi, R. Nikoukhah, S. Steer, and Y. Sorel. Interface scicos-syndex. Rapport de recherche 4250, INRIA, septembre 2001.
bib | .pdf ]
[87] 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 ]
[88] 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 ]
[89] 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 ]
[90] 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 ]
[91] 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 ]
[92] 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 ]
[93] 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 ]
[94] 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 ]
[95] 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 ]
[96] 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 ]
[97] 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 ]
[98] 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 ]
[99] 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 ]
[100] 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 ]
[101] 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 ]
[102] 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 ]
[103] 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 ]
[104] 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 ]
[105] 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 ]
[106] 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 ]
[107] 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 ]
[108] C. Lavarenne and Y. Sorel. Modèle unifié pour la conception conjointe logiciel-matériel. Traitement du Signal, 14(6), 1997.
bib | .pdf ]
[109] 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 ]
[110] 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 ]
[111] 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 ]
[112] 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 ]
[113] 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 ]
[114] 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 ]
[115] 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 ]
[116] 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 ]
[117] 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 ]
[118] 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 ]
[119] 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 ]
[120] 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 ]
[121] 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 ]
[122] 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 ]
[123] 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 ]

This file has been generated by bibtex2html 1.96



Last update: October 17th 2016
For any question, please contact: Yves.Sorel@inria.fr