Activities

Annual workshops with invited speakers

Other events

Seminars

Torrents seminars are organized within the seminar series on software verification (see here).

  • Forthcoming talks:
    • Dec. 14, 2015: Nicolat Navet (University of Luxembourg) - Write Once Run Anywhere with timing-equivalent execution – the CPAL approach
      Read more ...
      ONERA, salle du boulon, 10:00
  • Past talks:
    • Nov. 2, 2015: Zhishan Guo (University of North Carolina at Chapel Hill, USA) - Dealing with uncertainties in mixed criticality systems
      Read more ...
    • May 29, 2015: Florence Maraninchi (Verimag, Grenoble, France) - Dataflow Synchronous languages as System-level Languages
      Read more ...
    • March 2, 2015: Marcello Coppolla (ST Microelectronics, France) - Adding Real-Time support to modern Multicore SoC architecture for embedded systems
      Read more ...
    • Nov. 3, 2014: Sylvain Conchon (LRI, France) - Cubicle : an SMT based model checker for parameterized systems
      Read more ...
    • Sept. 22, 2014: Gerhard Fohler (TU Kaiserslautern, Germany) - Offline Scheduling for Real-time Systems: From Determinism to Flexibility and Mixed Criticality
      Read more ...
    • Sept. 18, 2014: Jan Reineke (Saarland University, Germany) - Challenges for Worst-Case Execution Time Analysis of Multi-Core Architectures
      Read more ...   Slides
    • June 25, 2014: David Saussié (Ecole Polytechnique de Montréal) - From automation to embedded systems: the ROSACE Case Study
      Read more ...
    • June 19, 2014: Klaus Schneider (Univ. Kaiserslautern) - Using Synchronous Models for the Design of Parallel Embedded Systems
      Read more ...
    • June 19, 2014: Jean-Pierre Talpin (INRIA) - Constructive polychronous systems: toward abstract constructivity
      Read more ...
    • June 4, 2014: Philip Koopman (Carnegie Mellon University) - \ Software Quality, Dependability and Safety in Embedded Systems Read more ...
    • May 26, 2014: Marco Ziccardi (Univ. of Padova) - The PROXIMA project
    • Read more ...
      IRIT salle des thèses, 10:00
    • May 26, 2014: Marco Ziccardi (Univ. of Padova) - The PROXIMA project
      Read more ...
    • Feb. 17, 2014: Wolfgang Puffitsch (Technical University of Denmark) - T-CREST: Time-Predictable Multi-Core Architecture for Embedded Systems
      Read more ...
    • Jan. 27, 2014: Jakob Zwirchmayr (IRIT) - Symbolic Methods for the Timing Analysis of Programs
      Read more ...
    • Nov. 4, 2013: Angeliki Kritikakou (ONERA) - Scalable and near-optimal Design Space Exploration methodologies for loop dominated embedded systems
      Read more ...
    • Oct. 8, 2013: Fanny Dufossé (LAAS) - Mapping Applications on Volatile Resources
      Read more ...
    • Sept. 16, 2013: Yang Zhibin (IRIT) - Designing Safety-Critical Real-Time Systems with Data-flow Synchronous Languages
      Read more ...
    • June 28, 2013: Jean-Baptiste Chaudron (TTTech) - TTEthernet
      Read more ...
    • July 12, 2013: Jean-Luc Béchennec (IRCCyn, Nantes) and Franck Cassez (NICTA, Australia) - Computing WCET using Pro \ gram Slicing and Real-Time Model-Checking
      Read more ...
    • March 27, 2013: Marco Caccamo (University of Illinois) - Predictable Integration of Safety-Critical Software on COTS-based Embedded Systems
      Read more ...
    • March 11, 2013: Aymeric Vincent (LABRI, Bordeaux) - Le framework d'analyse de code binaire Insight
      Read more ...
    • Jan. 28, 2013: Frédéric Herbreteau (LABRI, Bordeaux) - Using non-convex approximations for efficient analysis of timed automata
      Read more ...   Slides
    • Nov. 20, 2012: Julien Galizzi (CNES, Toulouse) - Embedded software architectures for satellites at CNES
      Read more ...
    • Oct. 16, 2012: Gilles Lasnier (ISAE) - Une Approche Intégrée pour la Validation et la Génération de\ Systèmes Critiques par Raffinement Incrémental de Modèles Architecturaux
      Read more ...
    • June 28, 2012: Wolfgang Puffitsch (ONERA - STAE) - Hard Real-Time Garbage Collection on Chip Multi-Processors
      Read more ...
    • Dec. 16, 2011: Fabian Vargas (PUCRS, Brazil) - Design of On-Chip Cores and Sensors to Improve Embedded System Reliability
      Read more ...
    • Nov. 14, 2011: Janette Cardoso (ISAE/DMIA, Toulouse) - Ptolemy et la modélisation de systèmes cyber-physiques
      Read more ...
    • Nov. 21, 2011: Patricia Derler (Univ. of Berkeley, USA) - Ptides: A Model-based Design Approach for Deterministic, Event-driven Real-time Applications
      Read more ...
    • Nov. 22, 2011: Denis Claraz (Continental Automotive France SAS Powertrain Engine Systems) - Handling of Engine Management real-time architecture at Continental Automotive
      Read more ...
    • Sept. 27, 2011: Florian Kluge (Univ. of Augsburg, Germany) - Real-Time Operating Systems for ManyCore Processors
      Read more ...
 

Partners

Contact

Claire Pagetti

ONERA - DTIM
2 avenue Edouard Belin
31055 Toulouse, France

claire dot pagetti at onera dot fr