Return to Collaborations

Cooperative projects

Current grants

International cooperative projects

  • AD-AUTO : adaptive software architectures for autonomic computing
  • ProSA-RAES : formal language and framework for reference architectures for embedded systems

National cooperative projects

  • PEPS API : control theory for autonomic computing
  • UBISOA : description of self-evolving service-oriented architectures

Past projects

International cooperative projects

  • STAFF : training in emerging practices and methodologies in Computer Science
  • S-CUBE : Network of Excellence on Software Services and Systems

National cooperative projects

  • SAFECODE : safety requirements and traceability for critical applications
  • MOPCOM-I : MDA to ensure a good dependability of system development processes
  • AMADEUS : relationshops between design by contract and model refinment, and formal projections of UML

Permanent link to this article: https://www-archware.irisa.fr/collaborations/cooperative-projects/