Sites Inria

Version française

TRISKELL Research team

Reliable and efficient component based software engineering

  • Leader : Benoit Baudry
  • Research center(s) : CRI Rennes - Bretagne Atlantique
  • Field : Networks, Systems and Services, Distributed Computing
  • Theme : Distributed programming and Software engineering
  • Partner(s) : Université Rennes 1,Institut national des sciences appliquées de Rennes
  • Collaborator(s) : Institut de recherche en informatique et systèmes aléatoires (IRISA) (UMR6074)

Team presentation

The aim of the TRISKELL project-team is the reliable and efficient design of applications by assembling software components described with the UML. TRISKELL is particularly interested in reactive and distributed systems with quality of service constraints.

Research themes

  • Formal manipulation of UML models with patterns, frameworks and components
  • Design with contract aware components
  • Intra-component and inter-components V&V (testing)

International and industrial relations

  • SCOT (ITR)
  • QCCS (IST)
  • Artist (IST)
  • AS Test (CNRS)
  • ARC FISC (Inria)
  • Programme Telecom (CNRS)