Title.
 
Accueil Partenaires Tâches Réunions Dissémination


Présentations du projet :

  • DO-254 User Group (Mars 2008) : présentation du projet par le coordinateur
  • CCT CNES HW/SW codesign (Janvier 2009) : présentation du projet par le coordinateur
  • European Space Research and Technology Centre (Février 2009) : présentation du projet par le coordinateur
  • EADS Technical Groups (Juin 2009) : présentation du projet par le coordinateur
  • Vitrine technologique organisée par le pôle Minalogic lors de son Assemblée Générale (Avril 2010) : présentation d'un poster sur le projet
  • IEEE Symposium on Industrial Embedded Systems, Trento (Italie), Juillet 2010 : présentation de l'article "A Design Flow for Critical Embedded Systems" (V.Lefftz, J.Bertrand, H.Cassé, C.Clienti, P.Coussy, L.Maillet-Contoz, P.Mercier, P.Moreau, L.Pierre, E.Vaumorin), présentation du projet et du flot préconisé.
  • International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), Grenoble, Septembre 2010 : présentation "OPENTLM and SoCKET: Creating an Open EcoSystem for Virtual Prototyping of Complex SOCs" (L.Maillet-Contoz).
  • Journées de présentation du projet, 14-15 Octobre 2010, Minatec (Grenoble), voir présentations ici
  • Journée ESL à l'Agence Spatiale Européenne (Septembre 2011) : présentation des résultats du projet par le coordinateur (focus sur les technologies ABV et HLS)
  • Workshop de fin du projet, 23-24 Novembre 2011, IRIT (Toulouse), voir présentations ici


Dissémination des résultats :

  • 21st Symposium on Integrated Circuits and Systems Design, Gramado (Brazil), Septembre 2008 : présentation de l'article "Executable Formal Specification and Validation of NoC Communication Infrastructures" (D.Borrione, A.Helmy, L.Pierre, J.Schmaltz), travaux en cours au Laboratoire TIMA sur la vérification des réseaux sur puce
  • Présentation de résultats sur la synthèse de haut niveau au Laboratoire Lab-STICC : "GAUT: A High-Level Synthesis Tool for DSP applications" (P.Coussy, C.Chavet, P.Bomel, D.Heller, E.Senn, E.Martin), dans "High-Level Synthesis: From Algorithm to Digital Circuits", Springer, 2008
  • International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS), Istanbul (Turkey), Juillet 2009 : présentation de l'article "A versatile generator of instruction set simulators and disassemblers" (T.Ratsiambahotra, H.Cassé, P.Sainrat), travaux en cours au Laboratoire IRIT sur la génération d'ISS
  • Forum on specification and Design Languages (FDL), Sophia-Antipolis (France), Septembre 2009 : présentation de l'article "ISIS: Runtime Verification of TLM Platforms" (L.Ferro, L.Pierre), travaux en cours au Laboratoire TIMA sur la vérification de propriétés au niveau TLM
  • Participation à la table ronde "Network on Chip", European Space Agency (Septembre 2009)
    • Présentations du Laboratoire TIMA: "Asynchronous 3D NoCs", "Multi-level fault tolerance in 2D and 3D NoCs", "A theorem-proving based approach for the formal verification of NoCs"
    • Présentation d'Astrium: "From SoC to NoC based on SCOC3 HW and SW developments"
  • 1st IEEE Latin American Symposium on Circuits and Systems (LASCAS), Iguacu Falls (Brazil), Février 2010 : présentation de l'article "A new automated instrumentation for emulation-based fault injection" (R. Leveugle, A. Prost-Boucle), travaux en cours au Laboratoire TIMA sur l'injection de fautes
  • Design, Automation and Test in Europe (DATE), Dresden (Germany), Mars 2010 : présentation de l'article "Formal Semantics for PSL Modeling Layer and Application to the Verification of Transactional Models" (L.Ferro, L.Pierre)
  • 20th IEEE International Conference on Field Programmable Logic and Applications (FPL), Milano (Italy), Septembre 2010 : présentation de l'article "Hierarchical and Multiple-Clock Domain High-Level Synthesis for Low-Power Design on FPGA" (G.Lhairech-Lebreton, P.Coussy, E.Martin)
  • Décembre 2010 : white paper "Using IEEE 1685 standard (IP-XACT) for specifications and requirements traceability in critical system design flow" Airbus et Magillem
  • Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO), Heraklion (Greece), Janvier 2011 : présentation de l'article "Fast Instruction-Accurate Simulation with SimNML" (H.Cassé, J.Barre, R.Vaillant-David, P.Sainrat)
  • Conference Embedded World, Nuremberg (Germany), Mars 2011 : stand Magillem
  • Participation à la conférence Design, Automation and Test in Europe (DATE), Grenoble (Mars 2011)
    • Démonstrations de l'outil GAUT (Lab-STICC)
    • Démonstrations de l'outil ISIS (TIMA)
    • Stand Magillem
  • 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Trento (Italy), Aout 2011 : présentation de l'article "Runtime Verification of Typical Requirements for a Space Critical SoC Platform" (L.Ferro, L.Pierre, Z.Bel Hadj Amor, J.Lachaize, V.Lefftz), travaux en commun Astrium/TIMA
  • Conférence SAE 2011 AeroTech, Toulouse, Octobre 2011 : présentation "A Model-Based Approach for Airborne Electronic Hardware Design" (P.Moreau), activités d'Airbus sur SystemC TLM et les plateformes virtuelles
  • IEEE International Conference on ASIC (ASICON 2011), Xiamen (Chine), Octobre 2011 : présentation invitée "High-Level Synthesis: On the Path to ESL Design" (P.Coussy, D.Heller, C.Chavet)
  • CTIC International Conference, Toulouse, Octobre 2011 : présentation "Challenges of model based design in airborne electronic hardware" (P.Pampagnin), activités d'Airbus sur le model based design
  • Embedded Real Time Software and Systems Conference (ERTS2), Toulouse, Février 2012 : présentation prévue "SoCKET: A HW/SW Co-Design Flow: Presentation and feedbacks from aeronautic and space application domains" (V.Lefftz, P.Moreau)