Team aoste

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Bibliography

Major publications by the team in recent years

[1]
S. Alam, R. Ibbett, F. Mallet.
Performance Evaluation of Local Communications: A Case-study, in: Proceedings of the 15th International Conference on Parallel Distributed Computings and Systems, CA,USA, november 2003.
[2]
C. André.
Semantics of SSM (Safe State Machine), Esterel Technologies, April 2003
http://www.esterel-technologies.com.
[3]
C. André, F. Boulanger, A. Girault.
Software Implementation of Synchronous Programs, in: Proceedings of the Second International Conference on Application of Concurrency to System Design, IEEE Computer Society, 2001, p. 133-142.
[4]
C. André, M.-A. Peraldi-Frati, J.-P. Rigault.
Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems, in: UML ≪2002≫, Dresden (D), Springer-Verlag, October 2002, p. 163–178.
[5]
C. André, J.-P. Rigault.
Variations on the Semantics of Graphical Models for Reactive Systems, in: SMC'02, IEEE Press, 2002.
[6]
C. André, R. de Simone.
Synchronous Programming : Properties within a Reaction, in: JESA, 2002, vol. 36, no 7, p. 891–903.
[7]
C. André, R. de Simone.
Towards a Synchronous UML Profile ?, in: Proceedings of the first Workshop on Specification and Validation of UML models for Real-Time and Embedded Systems (SVERTS'03), 2003
http://www-verimag.imag.fr/EVENTS/2003/SVERTS/PAPERS-WEB/14-Andre-UMLsync.pdf.
[8]
C. André.
Representation and Analysis of Reactive Behavior: a Synchronous Approach, in: Computational Engineering in Systems Applications (CESA), IEEE-SMC, 1996, p. 19–29.
[9]
C. André, F. Boulanger, M.-A. Peraldi-Frati, J.-P. Rigault, G. Vidal-Naquet.
Objects and Synchronous Programming, in: RAIRO-APII-JESA, 1997, vol. 31, no 3.
[10]
C. André, M.-A. Peraldi-Frati, J.-P. Rigault.
Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach, in: 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg, Germany, IEEE , May 2001.
[11]
A. Benveniste, G. Berry.
The Synchronous Approach to Reactive and Real-Time Systems, in: Proceedings of the IEEE, September 1991, vol. 79, no 9, p. 1270-1282.
[12]
A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic, R. de Simone.
Synchronous Languages Twelve Years Later, in: Proceedings of the IEEE, January 2003.
[13]
G. Berry.
The Foundations of Esterel, Foundations of Computing Series, MIT Press, 2000
http://www-sop.inria.fr/esterel.org/Html/Downloads/Doc/StartDocument.htm.
[14]
G. Berry.
The Constructive Semantics of Pure Esterel, 1999
http://www-sop.inria.fr/esterel.org/Html/Downloads/Doc/StartDocument.htm.
[15]
G. Berry.
The Esterel Language Primer, 1999
http://www-sop.inria.fr/esterel.org/Html/Downloads/Doc/StartDocument.htm.
[16]
F. Boussinot, R. de Simone.
The Esterel Language, in: Proceedings of the IEEE, September 1991.
[17]
J. Carlier, P. Chrétienne.
Problèmes d'ordonnancement, Masson, 1988.
[18]
G. Cohen, P. Moller, J. Quadrat, M. Viot.
Algebraic tools for the performance evaluation of discrete event systems, in: IEEE Proceeding: special issue on Discrete Event Systems, 1989, vol. 77, no 1, p. 39–58.
[19]
L. Cucu, R. Kocik, 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.
[20]
L. Cucu, Y. Sorel.
Schedulability condition for systems with precedence and periodicity constrainsts without preemption, in: Proceedings of 11th Real-Time Systems Conference, RTS'03, Paris, March 2003.
[21]
A. Dias, C. Lavarenne, M. Akil, 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
http://citeseer.ifi.unizh.ch/dias98optimized.html.
[22]
V. V. Dongen, G. R. Gao, Q. Ning.
A Polynomial Time Method for Optimal Software Pipelining, in: Conference on Algorithms and Hardware for Parallel Processing
http://citeseer.ist.psu.edu/vandongen92polynomial.html.
[23]
A. Girault, H. Kalla, M. Sighireanu, 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.
[24]
A. Girault, C. Lavarenne, M. Sighireanu, Y. 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.
[25]
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, Ph. D. Thesis, Université de Paris Sud, Spécialité électronique, 2000.
[26]
T. Grandpierre, C. Lavarenne, Y. Sorel.
Modèle d'exécutif distribué temps réel pour SynDEx, Rapport de Recherche, INRIA, August 1998, no 3476
http://www.inria.fr/rrrt/rr-3476.html.
[27]
T. Grandpierre, C. Lavarenne, 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.
[28]
T. Grandpierre, 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.
[29]
N. Halbwachs.
Synchronous Programming of Reactive Systems, in: Computer Aided Verification, 1998, p. 1-16
http://citeseer.ist.psu.edu/10686.html.
[30]
L. Kaouane, M. Akil, Y. Sorel, 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.
[31]
C. Lavarenne, O. Seghrouchni, Y. Sorel, 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.
[32]
C. Lavarenne, Y. Sorel.
Performance Optimization of Multiprocessor Real-Time Applications by Graph Transformations, in: Proceedings of Parallel Computing Conference, PARCO'93, Grenoble, France, September 1993.
[33]
C. Lavarenne, Y. Sorel.
Modèle unifié pour la conception conjointe logiciel-matériel, in: Traitement du Signal, 1997, vol. 14, no 6.
[34]
E. A. Lee, D. G. Messerschmitt.
Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing, 1987.
[35]
F. Mallet, R. Ibbett, S. Alam.
An Extensible Clock mechanism for Computer Architecture Simulations, in: Proceedings of the 13th International Conference on Modeling and Simulation, Los Angeles, may 2002.
[36]
F. Mallet, R. Ibbett.
JavaHase: Automatic Generation of Applets from HASE Simulation Models, in: Proceedings of the 2003 Summer Computer Simulation Conference, montreal, august 2003.
[37]
N. Pernet, Y. 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, November 2003.
[38]
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.
[39]
Y. Sorel.
Real-Time Embedded Image Processing Applications using the AAA Methodology, in: Proceedings of IEEE International Conference on Image Processing, ICIP'96, Lausanne, Switzerland, September 1996.
[40]
A. Vicard, Y. Sorel.
Formalization and Static Optimization for parallel implementations, in: Proceedings of Workshop on Distributed and Parallel Systems, DAPSYS'98, Budapest, Hungary, September 1998.
[41]
A. Vicard.
Formalisation et optimisation des systèmes informatiques distribués temps réel embarqués, Ph. D. Thesis, Université de Paris Nord, Spécialité informatique, 1999.

Publications of the year

Doctoral dissertations and Habilitation theses

[42]
H. Kalla.
Génération automatique de distributions/ordonnancements temps réel fiables et tolérant les fautes, Ph. D. Thesis, Institut National Polytechnique de Grenoble, Spécialité Systèmes et Logiciel, 2005.
[43]
L. Kaouane.
Formalisation et optimisation d'applications s'exécutant sur architecture reconfigurable, Ph. D. Thesis, Université de Marne-La-Vallée, Spécialité Informatique, 2005.

Articles in refereed journals and book chapters

[44]
C. André.
Langages et formalismes synchrones, in: RS - JESA, 2005.
[45]
C. André.
L'approche synchrone pour le développement des systèmes temps réel, in: Encyclopédie de l'informatique et des systèmes d'information, tome 1: La dimension technologique des systèmes d'information, 2005.
[46]
R. de Simone, D. Potop, J.-P. Talpin.
The Synchronous Hypothesis and Synchronous Languages, in: Embedded Systems Handbook, chapter of the Embedded Systems Handbook, CRC Press, 2005.
[47]
R. de Simone, O. Tardieu.
Loops in Esterel, in: ACM Transactions on Embedded Computing Systems, 2005.
[48]
A. M. Kordon.
A generalization of the Basic Cyclic Scheduling Problem, in: Submitted to Journal of Scheduling, june 2005.
[49]
M. Raulet, F. Urban, J.-F. Nezan, C. Moy, O. Déforges, Y. Sorel.
Rapid Prototyping For Heterogeneous Multicomponent Systems: An MPEG-4 Stream Over An UMTS Communication Link, in: Journal of Applied Signal Processing (JASP), 2005.
[50]
E. Vecchié, R. de Simone.
Syntax-driven optimizations for Reachable State Space construction of Esterel programs, in: International Journal of Embedded Systems, April 2005.

Publications in Conferences and Workshops

[51]
C. André, A. Cuccuru, J.-L. Dekeyser, R. de Simone, C. Dumoulin, J. Forge, T. Gautier, S. Gérard, F. Mallet, A. Radermacher, L. Rioux, T. Saunier, Y. Sorel.
MARTE: a new OMG profile RFP for the Modeling and Analysis for Real-Time Embedded Systems, in: Workshop on UML for SoC, DAC 2005, June 2005.
[52]
C. André, F. Mallet, M.-A. Peraldi-Frati.
Real-Time Architecture Description and Quantitative Analysis using UML, in: OMER3 Workshop, 2005.
[53]
T. Ayav, 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.
[54]
J. Boucaron, J.-V. Millo, R. de Simone.
Another glance at relay stations in latency-insensitive design, in: FMGALS'05, july 2005.
[55]
A. Cuccuru, R. de Simone, T. Saunier, G. Siegel, Y. Sorel.
P2I: An Innovative MDA Methodology for Embedded Real-Time System, in: EuroMicro'05, 2005.
[56]
L. Cucu, 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.
[57]
L. Cucu, 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.
[58]
E. Dekneuvel, C. André.
Intelligent Sensor Modelling Using a Synchronous Approach, in: 3rd International Conference on Computing, Communication and Control Technologies, 2005.
[59]
N. Pernet, 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.
[60]
N. Pernet, 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.
[61]
N. Pernet, 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.

Internal Reports

[62]
A.-M. Deplanche, M.-A. Peraldi-Frati, F. Mallet, C. André, et al..
AS 195 Composants et Architectures Temps réel — Rapport de synthèse et Annexes, Technical report, IRCCyN, 2005, no RI2005.

References in notes

[63]
R. Balakrisnan, K. Ranganathan.
A Textbook of Graph Theory, Springer, 2000.
[64]
J. Dennis.
First Version of a Dataflow Procedure Language, in: Lecture Notes in Computer Sci., Springer-Verlag, 1975, vol. 19, p. 362-376.
[65]
G. Fohler.
Joint Scheduling of Distributed Complex Periodic and Hard Aperiodic Tasks in Statically Scheduled Systems, in: Procedings of IEEE Real-Time Systems Symposium, 1995, p. 152-161.
[66]
N. Halbwachs.
Synchronous programming of reactive systems, Kluwer Academic Publishers, Dordrecht Boston, 1993.
[67]
E. Lee, D. Messerschmitt.
Synchronous Data Flow, in: Proceedings of the IEEE, 1987, vol. 75, no. 9 p.
[68]
J. Leung, W. J..
On the complexity of fixed-priority scheduling of periodic real-time tasks, in: Performance Evaluation(4), 1982.
[69]
Z. Liu, C. Corroyer.
Effectiveness of heuristics and simulated annealing for the scheduling of concurrent task. An empirical comparison, in: PARLE'93, 5th international PARLE conference, June 14-17, Munich, Germany, November 1993, p. 452-463.
[70]
C. Liu, J. Layland.
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, in: Journal of the ACM, 1973.
[71]
C. Mead, L. Conway.
Introduction to VLSI systems, Addison-Wesley, 1980.
[72]
V. Pratt.
Modeling concurrency with partial orders, in: International Journal of Parallel Programming, 1986, vol. 15, no 1.
[73]
A. Zomaya.
Parallel and distributed computing handbook, McGraw-Hill, 1996.

previous
next