Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub


Major publications by the team in recent years
S. Andalam, P. Roop, A. Girault, C. Traulsen.
A Predictable Framework for Safety-Critical Embedded Systems, in: IEEE Trans. on Computers, July 2014, vol. 63, no 7, pp. 1600–1612.
S. Djoko Djoko, R. Douence, P. Fradet.
Aspects preserving properties, in: Science of Computer Programming, 2012, vol. 77, no 3, pp. 393-422.
G. Frehse, A. Hamann, S. Quinton, M. Wöhrle.
Formal Analysis of Timing Effects on Closed-loop Properties of Control Software, in: 35th IEEE Real-Time Systems Symposium 2014 (RTSS), Rome, Italy, December 2014.
A. Girard, G. Gössler, S. Mouelhi.
Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models, in: IEEE Transactions on Automatic Control, 2016, vol. 61, no 6, pp. 1537-1549. [ DOI : 10.1109/TAC.2015.2478131 ]
A. Girault, H. Kalla.
A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate, in: IEEE Trans. Dependable Secure Comput., December 2009, vol. 6, no 4, pp. 241–254, Research report Inria 6319.
G. Gössler, D. Le Métayer.
A general framework for blaming in component-based systems, in: Science of Computer Programming, 2015, vol. 113, Part 3. [ DOI : 10.1016/j.scico.2015.06.010 ]
S. Lenglet, A. Schmitt, J.-B. Stefani.
Characterizing Contextual Equivalence in Calculi with Passivation, in: Inf. Comput., 2011, vol. 209, no 11, pp. 1390–1433.
S. Quinton, M. Hanke, R. Ernst.
Formal analysis of sporadic overload in real-time systems, in: 2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March, 2012, 2012, pp. 515–520.
Publications of the year

Articles in International Peer-Reviewed Journals

L. Ahrendts, S. Quinton, R. Ernst.
Exploiting Execution Dynamics in Timing Analysis Using Job Sequences, in: IEEE Design & Test of Computers, August 2017. [ DOI : 10.1109/MDAT.2017.2746638 ]
A. Bouakaz, P. Fradet, A. Girault.
A Survey of Parametric Dataflow Models of Computation, in: ACM Transactions on Design Automation of Electronic Systems (TODAES), January 2017.
A. Bouakaz, P. Fradet, A. Girault.
Symbolic Analyses of Dataflow Graphs, in: ACM Transactions on Design Automation of Electronic Systems (TODAES), January 2017.

Invited Conferences

P. Fradet, A. Girault, L. Jamshidian, X. Nicollin, A. Shafiei.
Lossy channels in a dataflow model of computation, in: Principles of Modeling, Festschrift in Honor of Edward A. Lee, Berkeley, United States, Lecture Notes in Computer Science, Springer, October 2017.
L. Shan, S. Graf, S. Quinton, L. Fejoz.
A Framework for Evaluating Schedulability Analysis Tools, in: Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, Aalborg, Denmark, August 2017.

International Conferences with Proceedings

I. Assayad, A. Girault.
Adaptive Mapping for Multiple Applications on Parallel Architectures, in: Third International Symposium on Ubiquitous Networking, UNET'17, Casablanca, Morocco, May 2017.
X. Guo, S. Quinton, P. Fradet, J.-F. Monin.
Work In Progress: Toward a Coq-certified Tool for the Schedulability Analysis of Tasks with Offsets, in: RTSS 2017 - IEEE Real-Time Systems Symposium, Paris, France, IEEE, December 2017, pp. 1-3.
G. Gössler, O. Sokolsky, J.-B. Stefani.
Counterfactual Causality from First Principles?, in: 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017), Uppsala, Sweden, 2017, vol. 259, pp. 47 - 53, [ DOI : 10.4204/EPTCS.259.5 ]
Z. A. H. Hammadeh, R. Ernst, S. Quinton, R. Henia, L. Rioux.
Bounding Deadline Misses in Weakly-Hard Real-Time Systems with Task Dependencies, in: Design, Automation & Test in Europe Conference & Exhibition (DATE 2017), Lausanne, Switzerland, March 2017.
Z. A. H. Hammadeh, S. Quinton, M. Panunzio, R. Henia, L. Rioux, R. Ernst.
Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems, in: 29th Euromicro Conference on Real-Time Systems (ECRTS) 2017, Dubrovnik, Croatia, June 2017. [ DOI : 10.4230/LIPIcs.ECRTS.2017.17 ]
S. Quinton, L. Ahrendts, R. Ernst.
Finite Ready Queues As a Mean for Overload Reduction in Weakly-Hard Real-Time Systems, in: Proceedings of the 25th International Conference on Real-Time Networks and Systems (RTNS) 2017, Grenoble, France, October 2017. [ DOI : 10.1145/3139258.3139259 ]
R. von Hanxleden, T. Bourke, A. Girault.
Real-Time Ticks for Synchronous Programming, in: FDL 2017 - 12th Forum on Specification and Design Languages, Vérone, Italy, Electronic Chips & System Design Initiative (ECSI), September 2017.

Internal Reports

B. Gaujal, A. Girault, S. Plassart.
Dynamic Speed Scaling Minimizing Expected Energy Consumption for Real-Time Tasks, UGA - Université Grenoble Alpes ; Inria Grenoble Rhône-Alpes ; Université de Grenoble, October 2017, no RR-9101, pp. 1-35.

Other Publications

R. Henia, L. Rioux, N. Sordon, Z. A. H. Hammadeh, R. Ernst, S. Quinton.
Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLA, April 2017, 2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) 2017, Poster.
References in notes
Automotive Open System Architecture, 2003.
G. Leavens, M. Sitaraman (editors)
Foundations of Component-Based Systems, Cambridge University Press, 2000.
Z. Liu, H. Jifeng (editors)
Mathematical Frameworks for Component Software - Models for Analysis and Synthesis, World Scientific, 2006.
A Library for formally proven schedulability analysis.
ARTEMIS Joint Undertaking.
ARTEMIS Strategic Research Agenda, 2011.
I. Assayad, A. Girault, H. Kalla.
Tradeoff Exploration between Reliability, Power Consumption, and Execution Time for Embedded Systems, in: Int. J. Software Tools for Technology Transfer, June 2013, vol. 15, no 3, pp. 229–245.
E. Bainomugisha, A. Carreton, T. Van Cutsem, S. Mostinckx, W. De Meuter.
A Survey on Reactive Programming, in: ACM Computing Surveys, 2013, vol. 45, no 4.
N. Bansal, T. Kimbrel, K. Pruhs.
Speed Scaling to Manage Energy and Temperature, in: Journal of the ACM, 2007, vol. 54, no 1.
A. Basu, S. Bensalem, M. Bozga, J. Combaz, M. Jaber, T.-H. Nguyen, J. Sifakis.
Rigorous Component-Based System Design Using the BIP Framework, in: IEEE Software, 2011, vol. 28, no 3.
V. Bebelis, P. Fradet, A. Girault, B. Lavigueur.
BPDF: A Statically Analyzable Dataflow Model with Integer and Boolean Parameters, in: International Conference on Embedded Software, EMSOFT'13, Montreal, Canada, ACM, September 2013.
A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. Le Guernic, R. de Simone.
The synchronous languages 12 years later, in: Proceedings of the IEEE, 2003, vol. 91, no 1.
A. Benveniste, J. Raclet, B. Caillaud, D. Nickovic, R. Passerone, A. Sangiovanni-Vicentelli, T. Henzinger, K. Larsen.
Contracts for the Design of Embedded Systems Part I: Methodology and Use Cases, in: Proceedings of the IEEE, 2012.
A. Benveniste, J. Raclet, B. Caillaud, D. Nickovic, R. Passerone, A. Sangiovanni-Vicentelli, T. Henzinger, K. Larsen.
Contracts for the Design of Embedded Systems Part II: Theory, in: Proceedings of the IEEE, 2012.
B. Bonakdarpour, S. S. Kulkarni, F. Abujarad.
Symbolic synthesis of masking fault-tolerant distributed programs, in: Distributed Computing, 2012, vol. 25, no 1.
S. Borkar.
Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and Degradation, in: IEEE Micro, 2005, vol. 25, no 6.
E. Bruneton, T. Coupaye, M. Leclercq, V. Quema, J.-B. Stefani.
The Fractal Component Model and its Support in Java, in: Software - Practice and Experience, 2006, vol. 36, no 11-12.
R. Bruni, H. C. Melgratti, U. Montanari.
Theoretical foundations for compensations in flow composition languages, in: 32nd ACM Symposium on Principles of Programming Languages (POPL), ACM, 2005.
T. Chothia, D. Duggan.
Abstractions for fault-tolerant global computing, in: Theor. Comput. Sci., 2004, vol. 322, no 3.
R. Davis, A. Burns.
A Survey of Hard Real-Time Scheduling for Multiprocessor Systems, in: ACM Computing Surveys, 2011, vol. 43, no 4.
V. De Florio, C. Blondia.
A Survey of Linguistic Structures for Application-Level Fault-Tolerance, in: ACM Computing Surveys, 2008, vol. 40, no 2.
J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, Y. Xiong.
Taming heterogeneity - the Ptolemy approach, in: Proceedings of the IEEE, 2003, vol. 91, no 1.
J. Field, C. A. Varela.
Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments, in: 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), ACM, 2005.
A. Girard, G. Pappas.
Approximation metrics for discrete and continuous systems, in: IEEE Trans. on Automatic Control, 2007, vol. 52, no 5, pp. 782–798.
A. Girault, H. Kalla.
A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate, in: IEEE Trans. Dependable Secure Comput., December 2009, vol. 6, no 4, pp. 241–254, Research report Inria 6319.
D. Gizopoulos, M. Psarakis, S. V. Adve, P. Ramachandran, S. K. S. Hari, D. Sorin, A. Meixner, A. Biswas, X. Vera.
Architectures for Online Error Detection and Recovery in Multicore Processors, in: Design Automation and Test in Europe (DATE), 2011.
C. Glymour, D. Danks, B. Glymour, F. Eberhardt, J. Ramsey, R. Scheines, P. Spirtes, C. M. Teng, J. Zhang.
Actual causation: a stone soup essay, in: Synthese, 2010, vol. 175, no 2, pp. 169–192.
F. C. Gärtner.
Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments, in: ACM Computing Surveys, 1999, vol. 31, no 1.
G. Gössler, J.-B. Stefani.
Fault Ascription in Concurrent Systems, in: Proc. Trustworthy Global Computing - 10th International Symposium, TGC 2015, P. Ganty, M. Loreti (editors), LNCS, Springer, 2016, vol. 9533.
S. Haar, E. Fabre.
Diagnosis with Petri Net Unfoldings, in: Control of Discrete-Event Systems, Lecture Notes in Control and Information Sciences, Springer, 2013, vol. 433, chap. 15.
Y. Haimes, L. Lasdon, D. Wismer.
On a Bicriterion Formulation of the Problems of Integrated System Identification and System Optimization, in: IEEE Trans. Systems, Man, and Cybernetics, 1971, vol. 1, pp. 296–297.
J. Y. Halpern.
A Modification of the Halpern-Pearl Definition of Causality, in: Proc. Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, Q. Yang, M. Wooldridge (editors), AAAI Press, 2015, pp. 3022–3033.
J. Halpern, J. Pearl.
Causes and Explanations: A Structural-Model Approach. Part I: Causes, in: British Journal for the Philosophy of Science, 2005, vol. 56, no 4, pp. 843-887.
D. Harmanci, V. Gramoli, P. Felber.
Atomic Boxes: Coordinated Exception Handling with Transactional Memory, in: 25th European Conference on Object-Oriented Programming (ECOOP), Lecture Notes in Computer Science, 2011, vol. 6813.
T. Henzinger, J. Sifakis.
The Embedded Systems Design Challenge, in: Formal Methods 2006, Lecture Notes in Computer Science, Springer, 2006, vol. 4085.
I. Hwang, S. Kim, Y. Kim, C. E. Seah.
A Survey of Fault Detection, Isolation and Reconfiguration Methods, in: IEEE Trans. on Control Systems Technology, 2010, vol. 18, no 3.
V. Izosimov, P. Pop, P. Eles, Z. Peng.
Scheduling and Optimization of Fault-Tolerant Embedded Systems with Transparency/Performance Trade-Offs, in: ACM Trans. Embedded Comput. Syst., 2012, vol. 11, no 3, 61 p.
C. M. Kirsch, A. Sokolova.
The Logical Execution Time Paradigm, in: Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years), 2012, pp. 103–120.
R. Küsters, T. Truderung, A. Vogt.
Accountability: definition and relationship to verifiability, in: ACM Conference on Computer and Communications Security, 2010, pp. 526-535.
I. Lanese, C. A. Mezzina, J.-B. Stefani.
Reversing Higher-Order Pi, in: 21th International Conference on Concurrency Theory (CONCUR), Lecture Notes in Computer Science, Springer, 2010, vol. 6269.
E. A. Lee, A. L. Sangiovanni-Vincentelli.
Component-based design for the future, in: Design, Automation and Test in Europe, DATE 2011, IEEE, 2011.
P. Menzies.
Counterfactual Theories of Causation, in: Stanford Encyclopedia of Philosophy, E. Zalta (editor), Stanford University, 2009.
M. Moore.
Causation and Responsibility, Oxford, 1999.
J. Pearl.
Causal inference in statistics: An overview, in: Statistics Surveys, 2009, vol. 3, pp. 96-146.
P. Ramadge, W. Wonham.
Supervisory Control of a Class of Discrete Event Processes, in: SIAM Journal on control and optimization, January 1987, vol. 25, no 1, pp. 206–230.
G. Ramalingam, K. Vaswani.
Fault tolerance via idempotence, in: 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), ACM, 2013.
B. Randell.
System Structure for Software Fault Tolerance, in: IEEE Trans. on Software Engineering, 1975, vol. 1, no 2.
J. Rushby.
Partitioning for Safety and Security: Requirements, Mechanisms, and Assurance, NASA Langley Research Center, 1999, no CR-1999-209347.
J.-B. Stefani.
Components as Location Graphs, in: 11th International Symposium on Formal Aspects of Component Software, Bertinoro, Italy, Lecture Notes in Computer Science, September 2014, vol. 8997.
P. Tabuada.
Verification and Control of Hybrid Systems - A Symbolic Approach, Springer, 2009.
K. Tindell.
Using offset information to analyse static priority pre-emptively scheduled task sets, Technical report YCS 182, University of York, Department of Computer Science, 1992.
D. Walker, L. W. Mackey, J. Ligatti, G. A. Reis, D. I. August.
Static typing for a faulty lambda calculus, in: 11th ACM SIGPLAN International Conference on Functional Programming (ICFP), ACM, 2006.
F. Yao, A. Demers, S. Shenker.
A scheduling model for reduced CPU energy, in: Proceedings of lEEE Annual Foundations of Computer Science, 1995, pp. 374–382.