Bibliography

Major publications by the team in recent years

[1]

C. André, F. Mallet, R. de Simone.
Modeling Time(s), in: MoDELS'2007 10th Intern. Conf. on Model Driven Engineering Languages and Systems, 2007.

[2]

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, R. de Simone.
Synchronous Languages Twelve Years Later, in: Proceedings of the IEEE, January 2003.

[3]

L. Cucu, N. Pernet, Y. Sorel.
Periodic real-time scheduling: from deadline-based model to latency-based model, in: Annals of Operations Research, 2007
http://www-rocq.inria.fr/syndex/publications/pubs/aor07/aor07.pdf.

[4]

R. de Simone, D. Potop-Butucaru, Jean-Pierre. Talpin.
8, in: The Synchronous Hypothesis and Synchronous Languages, CRC Press, 2005.

[5]

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
http://www-rocq.inria.fr/syndex/publications/pubs/memocode03/memocode03.pdf.

[6]

O. Kermia, 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
http://www-rocq.inria.fr/syndex/publications/pubs/pdcs07/pdcs07.pdf.

[7]

P. Meumeu Yomsi, 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
http://www-rocq.inria.fr/syndex/publications/pubs/ecrts07/ecrts07.pdf.

[8]

D. Potop-Butucaru, S. Edwards, G. Berry.
Compiling Esterel, Springer, 2007.

[9]

D. Potop-Butucaru, R. de Simone.
Optimizations for Faster Execution of Esterel Programs, in: MEMOCODE'03, 2003.

[10]

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 of the year

Doctoral Dissertations and Habilitation Theses

[11]

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, Université de Paris Sud, 2009
http://www-rocq.inria.fr/syndex/publications/pubs/theses/THOK.pdf, Spécialité Physique.

[12]

P. Meumeu Yomsi.
Prise en compte du coût exact de la préemption dans l'ordonnancement temps réel monoprocesseur avec contraintes multiples, Université de Paris Sud, 2009
http://www-rocq.inria.fr/syndex/publications/pubs/theses/THPM.pdf, Spécialité Physique.

Articles in International Peer-Reviewed Journal

[13]

C. André, F. Mallet.
Modèles de contraintes temporelles pour systèmes polychrones, in: JESA, 2009, vol. 43, n^o 7–8–9, p. 725–739.

[14]

P. Meumeu Yomsi, L. George, Y. Sorel, D. de Rauglaudre.
Improving the Quality of Control of Periodic Tasks Scheduled by FP with an Asynchronous Approach, in: International Journal on Advances in Systems and Measurements, 2009, vol. 2, n^o 2
http://www-rocq.inria.fr/syndex/publications/pubs/ijasm09/ijasm09.pdf, to appear.

Articles in National Peer-Reviewed Journal

[15]

A. Albinet, H. Dubois, Marie-Agnès. Peraldi-Frati.
MeMVaTEx : des exigences aux modèles dans le domaine automobile, in: Revue de l'électricité et de l'électronique, February 2009, n^o 2, p. 52–59.

[16]

C. André, M. Belaunde, B. Berthomieu, C. Brunette, A. Canals, H. Garavel, S. Graf, F. Lang, V. Mahé, M. Nakhlé, R. Schnekenburger, R. de Simone, J.-P. Talpin, F. Vernadat.
Présentation des résultats du projet OpenEmbeDD, in: Génie Logiciel, 2009, p. 25–30
http://hal.inria.fr/inria-00381639/en/.

[17]

C. André, F. Mallet.
Les modèles de temps de MARTE et CCSL, in: Génie logiciel, 2009, n^o 89, p. 44–49
http://hal.inria.fr/inria-00416597/en/.

International Peer-Reviewed Conference/Proceedings

[18]

C. André, F. Mallet.
Specification and Verification of Time Requirements with CCSL and Esterel, in: Languages, Compilers, and Tools for Embedded Systems ACM SIGPLAN Notices, Irlande Dublin, C. Kirsch, M. Kandemir (editors), ACM SIGPLAN/SIGBED, 2009, vol. 44, p. 167-176
http://hal.inria.fr/inria-00416654/en/.

[19]

L. Cucu-Grosjean, 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
http://www-rocq.inria.fr/syndex/publications/pubs/mapsp09/mapsp09.pdf.

[20]

F. Mallet, C. André, J. Deantoni.
Executing AADL models with UML/Marte, in: Int. Conf. Engineering of Complex Computer Systems - ICECCS'09, Allemagne Potsdam, IEEE Computer Society, 2009, p. pp. 371-376
http://hal.inria.fr/inria-00416592/en/.

[21]

F. Mallet, C. André.
On the semantics of UML/Marte Clock Constraints, in: Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), Japon Tokyo, IEEE, 2009, p. 305–312
http://hal.inria.fr/inria-00383279/en/.

[22]

F. Mallet, F. Lagarde, C. André, S. Gérard, F. Terrier.
An automated process for implementing multilevel domain models, in: 2nd Int. Conf. on Software Language Engineering, SLE 2009, October 2009.

[23]

F. Mallet, M.-A. Peraldi-Frati, C. André.
Marte CCSL to execute East-ADL Timing Requirements, in: Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), Japon Tokyo, IEEE, 2009, p. 249–253
http://hal.inria.fr/inria-00383262/en/.

[24]

A. Mehmood Khan, F. Mallet, C. André, R. de Simone.
IP-XACT components with abstract time characterization, in: Forum on specification, verification and design languages, FDL 2009, September 2009.

[25]

P. Meumeu Yomsi, L. George, Y. Sorel, 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
http://www-rocq.inria.fr/syndex/publications/pubs/icons09/icons09.pdf.

[26]

P. Meumeu Yomsi, 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, Oct 2009
http://www-rocq.inria.fr/syndex/publications/pubs/rtns09/rtns09.pdf.

[27]

P. Meumeu Yomsi, 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
http://www-rocq.inria.fr/syndex/publications/pubs/mista09/mista09.pdf.

[28]

D. Potop-Butucaru, R. de Simone, Y. Sorel, J.-P. Talpin.
Clock-driven distributed real-time implementation of endochronous synchronous programs, in: Proceedings of the 7th International Conference on Embedded Software (EMSOFT), Grenoble, October 2009
http://www-rocq.inria.fr/syndex/publications/pubs/emsoft09/emsoft09.pdf.

[29]

D. Potop-Butucaru, R. de Simone, Y. Sorel, 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
http://www-rocq.inria.fr/syndex/publications/pubs/acsd09/acsd09.pdf.

Scientific Books (or Scientific Book chapters)

[30]

R. de Simone, D. Potop-Butucaru, Jean-Pierre. Talpin.
6, in: The Synchronous Hypothesis and Polychronous Languages, CRC Press, 2009.

[31]

F. Mallet, R. de Simone.
MARTE vs. AADL for Discrete-Event and Discrete-Time Domains, in: Languages for Embedded Systems and their Applications, M. Radetzki (editor), Springer, 2009, vol. 36, p. 27-41
http://hal.inria.fr/inria-00416656/en/.

Internal Reports

[32]

C. André.
Syntax and Semantics of the Clock Constraint Specification Language (CCSL), INRIA, 05 2009
http://hal.inria.fr/inria-00384077/en/, RR-6925.

[33]

C. André, F. Mallet.
Combining CCSL and Esterel to specify and verify time requirements, INRIA, 2009
http://hal.inria.fr/inria-00360528/en/, RR-6839.

[34]

J. Boucaron, A. Coadou.
Dynamic Variable Stage Pipeline: an Implementation of its Control, INRIA, 2009
http://hal.inria.fr/inria-00381563/en/, RR-6918.

[35]

J. Boucaron, A. Coadou, R. de Simone.
Throughput and FIFO Sizing: an Application to Latency-Insensitive Design, INRIA, 2009
http://hal.inria.fr/inria-00381644/en/, RR-6919.

Scientific Popularization

[36]

J. Deantoni, Jean-Philippe. Babau.
SAIA : une utilisation conjointe du génie logiciel et des méthodes formelles, 2010, Journal du département IF de l'INSA de Lyon.

Patents and standards

[37]

OMG.
UML Profile for MARTE, v1.0, OMG (Object Management Group), November 2009
http://www.omg.org/spec/MARTE/1.0/PDF/, Document number: formal/2009-11-02.

Other Publications

[38]

J. Deantoni, F. Mallet, C. André.
On the Formal Execution of UML and DSL models, April 2009
http://www.mdd4dres.info/_media/mdd4dreswip09_submission_10.pdf?id=wip&cache=cache, 4th Int. School on Model-Driven Development for Distributed, Realtime, Embedded Systems.

[39]

J. Deantoni, F. Mallet, C. André, B. Ferrero.
TimeSquare, on the Formal Execution of UML and DSL models, April 2009
http://www.mdd4dres.info/_tools/1f3d0539532e6396ad1ecadc4d363a9a, 4th Int. School on Model-Driven Development for Distributed, Realtime, Embedded Systems.

[40]

B. Ferrero, C. André, F. Mallet, R. de Simone.
TimeSquare: a software environment for timed systems, April 2009
http://www-sop.inria.fr/oasis/SAFA/Abstracts_SAFA2009.html, Design, Automation & Test in Europe (DATE'09), U-Booth session.

[41]

Jean-François. Le Tallec, J. Deantoni.
Toward a TLM to RTL refinement: a formal approach, October 2009
http://rtns09.ece.fr, 3rd Junior Researcher Workshop on Real-Time Computing.

[42]

F. Mallet.
MARTE: The OMG UML2 Profile for Modeling and Analysis of Real-Time and Embedded systems, September 2009, Keynote speaker.

References in notes

[43]

C. André.
Representation and Analysis of Reactive Behavior: a Synchronous Approach, in: Computational Engineering in Systems Applications (CESA), IEEE-SMC, 1996, p. 19–29.

[44]

F. Baccelli, G. Cohen, Geert Jan. Olsder, Jean-Pierre. Quadrat.
Synchronization and Linearity: an algebra for discrete event systems, John Wiley & Sons, 1992
http://cermics.enpc.fr/~cohen-g/SED/book-online.html.

[45]

A. Benveniste, G. Berry.
The Synchronous Approach to Reactive and Real-Time Systems, in: Proceedings of the IEEE, September 1991, vol. 79, n^o 9, p. 1270-1282.

[46]

F. Boussinot, R. de Simone.
The Esterel Language, in: Proceedings of the IEEE, September 1991.

[47]

J. Carlier, P. Chrétienne.
Problèmes d'ordonnancement, Masson, 1988.

[48]

L. Carloni, K. McMillan, A. Sangiovanni-Vincentelli.
Theory of Latency-Insensitive Design, in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2001.

[49]

J.B. Dennis.
First Version of a Dataflow Procedure Language, in: Lecture Notes in Computer Sci., Springer-Verlag, 1975, vol. 19, p. 362-376.

[50]

S. Edwards.
Languages for Digital Embedded Systems, Kluwer, 2000.

[51]

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, 1999.

[52]

N. Halbwachs.
Synchronous Programming of Reactive Systems, in: Computer Aided Verification, 1998, p. 1-16
http://citeseer.ist.psu.edu/10686.html.

[53]

H. Heinecke.
AUTOSAR, an industrywide initiative to manage the complexity of emerging Automotive E/E-Architecture, in: Electronic Systems for Vehicles 2003, VDI Congress, Baden-Baden, 2003.

[54]

Edward A. Lee, D. G. Messerschmitt.
Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing, in: IEEE Trans. Computers, 1987.

[55]

C.L. Liu, J.W. Layland.
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, in: Journal of the ACM, 1973.

[56]

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.