Publications

2014

  • Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jeremie Guiochet, David Powell, Hélène Waeselynck. Specifying Safety Monitors for Autonomous Systems using Model-checking. International Conference on Computer Safety, Reliability and Security (Safecomp), 2014.
  • Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy. Run-time Control to Increase Task Parallelism in Mixed-Critical Systems.Euromicro Conference on Real-Time Systems (ECRTS), 2014.
  • Gabriel Fernandez, Jaume Abella, Eduardo Quinones, Christine Rochange, Tullio Vardanega, Francisco Cazorla. Contention in Multicore Hardware Shared Resources: Understanding of the State of the Art. Workshop on WCET Analysis, 2014.
  • Yang Zhibin, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Ma Dianfu. A Verified Transformation: From Polychronous Programs to a Variant of Clocked Guarded Actions. International Workshop on Software and Compilers for Embedded Systems (SCOPES), June 2014.
  • Yang Zhibin, Hu Kai, Ma Dianfu, Jean-Paul Bodeveux, Pi Lei, Jean-Pierre Talpin. From AADL to Timed Abstract State Machines: A Verified Model Transformation. Journal of Systems and Software vol. 93, July 2013.
  • A. Kritikakou, F. Catthoor, C. Goutis. Scalable & Near-optimal methodologies for memory management & processing of embedded systems. PhD Forum at Int’l Conf. Design, Automation and Test in Europe (DATE), 2014.
  • Philip Axer, Rolf Ernst, Heiko Falk, Alain Girault, D\ aniel Grund, Nan Guan, Bengt Jonsson, Peter Marwedel, Jan Reineke, Christine Rochange, Maurice Sebastian, Reinhard Von Hanxl\ eden, Reinhard Wilhelm, Wang Yi. Building Timing Predictable Embedded Systems. In ACM Transactions on Embedded Systems 13(4), February 2014.
  • A.Kritikakou, F. Catthoor, V. Kelefouras and C. Goutis. Near-optimal & Scalable Representation of Access Schemes for Memory Management. ACM Transaction on Architecture and code Optimization (TACO) 11(1), February 2014.

2013

  • Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy, Fabian Vargas. Monitoring On-line Timing Information to Support Mixed-Critical Workloads. Real-Time System Symposium WiP session(RTSS-WiP), 2013.
  • Gilles Lasnier, Janette Cardoso, Pierre Siron, Claire Pagetti, Patricia Derler. Distributed Simulation of Heterogeneous and Real-Time Systems. 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT0), 2013
  • Wolfgang Puffitsch, Eric Noulard, Claire Pagetti. Mapping a Multi-Rate Synchronous Language to a Many-Core Processor. In 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Philadelphia, USA, April 9 - 11, 2013.
  • Yang Zhibin, Jean-Paul Bodeveix, Mamoun Filali. A comparative study of two formal semantics of the SIGNAL language. Frontiers of Computer Science 7(5), Springer, October 2013.
  • Hu Kai, Zhang Teng, Zhibin Yang. Multi-threaded code generation from Signal program to OpenMP. Frontiers of Computer Science 7(5), Springer, October 2013.
  • Gilles Lasnier, Janette Cardoso, Claire Pagetti, Pierre Siron. Environnement de coopération de simulation pour la conception de systèmes cyber-physiques. Actes du colloque francophone MSR 2013 publiés dans le Journal européen des systèmes automatisés (JESA), Mai 2013.
  • Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti. End-to-end latency computation in a multi-periodic design. In 28th ACM Symposium on Applied Computing (SAC),Coimbra, Portugal, March 18-22, 2013.
  • Nadège Pontisso, Philippe Quéinnec, Gérard Padiou. Analysis of Distributed Multi-Periodic Systems to Achieve Consistent Data Matching. In Concurrency and Computation: Practice and Experience, 25(2), February 2013
  • Roman Bourgade, Christine Rochange, Pascal Sainrat. Predictable Two-Level Bus Arbitration for Heterogeneous Task Sets. In International Conference on Architecture of Computing Systems (ARCS), Springer, February 2013.

2012

  • Wolfgang Puffitsch. Design and analysis of a hard real-time garbage collector for a Java chip multi-processor. In Concurrency and Computation : Practice and Experience (published online, to appear in print), Sept. 2012
  • Wolfgang Puffitsch and Martin Schoeberl. On the scalability of time-predictable chip-multiprocessing.In 10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), October 2012.
  • Albert Benveniste, Benoît Caillaud, Jean-Baptiste Raclet. Application of interface theories to the separate compilation of synchronous programs. In Proc. of the 51th IEEE Conference on Decision and Control (CDC), 2012
  • Florian Kluge, Benoît Triquet, Christine Rochange, Theo Ungerer. Operating Systems for Manycore Processors from the Perspective of Safety-Critical Systems. In International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT), July 2012.
  • Frédéric Boniol, Hugues Cassé, Eric Noulard, Claire Pagetti. Deterministic Execution Model on COTS Hardware. In 25th International Conference on Architecture of Computing Systems (ARCS), 2012

2011

  • Jean-Paul Bodeveix, Mamoun Filali. Event B Development of a Synchronous AADL Scheduler. InElectronic Notes in Theoretical Computer Science, Elsevier, Proceedings of the B 2011 Workshop, a satellite event of the 17th International Symposium on Formal Methods (FM), Vol. 280, p. 23-33, Dec. 2011.
 

Partners

Contact

Claire Pagetti

ONERA - DTIM
2 avenue Edouard Belin
31055 Toulouse, France

claire dot pagetti at onera dot fr