TRISKELL Research team

Reliable and efficient component based software engineering

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)
  • COTE(RNTL)
  • QCCS (IST)
  • CAFE (ITEA)
  • Artist (IST)
  • AS Test (CNRS)
  • ARC FISC (Inria)
  • Programme Telecom (CNRS)