Message d'erreur

  • Warning : DOMDocument::load(https://ose.imag.fr/local/api/get/people/?api_key=fa45Fjur58L4599fgBkriopBazex1124&laboratoire=lig&projet_service=spades): failed to open stream: HTTP request failed! HTTP/1.0 500 Internal Server Error dans lig_ose_annuaire_xml_request_equipe() (ligne 1928 dans /etc/drupal7/www.liglab.fr/modules/lig_ose/lig_ose.module).
  • Warning : DOMDocument::load(): I/O warning : failed to load external entity "https://ose.imag.fr/local/api/get/people/?api_key=fa45Fjur58L4599fgBkriopBazex1124&laboratoire=lig&projet_service=spades" dans lig_ose_annuaire_xml_request_equipe() (ligne 1928 dans /etc/drupal7/www.liglab.fr/modules/lig_ose/lig_ose.module).
SPADES - Sound Programming of Adaptable Dependable Embedded Systems
Equipe-projet de recherche commune INRIA et CNRS, Grenoble INP, UGA
Responsable : 
Téléphone/Fax : 
04 76 61 54 76
Bâtiment : 
The SPADES project-team aims at mastering the complexity and dependability of networked embedded computing systems by focusing on three key questions:
  • How to build networked embedded systems as adaptive modular structures?
  • How to program systems with resource and behavioral constraints on multicore architectures?
  • How to program reliable and fault-tolerant embedded systems with different levels of criticality?
Research Themes:
  • (1) Components and contracts
    • Semantical foundations for embedded component-based design
    • Composition and contracts for embedded component-based design
  • (2) Real-time energy-efficient multicore programming
    •     GALS programming languages
    •     High-level programming languages for Precision-Timed machines
    •     Specialized programming models and languages.
  • (3) Language-based fault tolerance
    •     Composable abstractions for fault-tolerant programming
    •     Separating fault-tolerance concerns
    •     Tracking and exploiting causality for fault-tolerance
S'abonner à RSS - SPADES