- Presentation
- HAL publications
- Activity reports
TRISKELL Research team
Reliable and efficient component based software engineering
- Leader : Benoit Baudry
- Type : Project team
- Research center(s) : Rennes
- Field : Networks, Systems and Services, Distributed Computing
- Theme : Distributed Systems and Services
- Université Rennes 1, Institut national des sciences appliquées de Rennes, CNRS, 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)
- COTE(RNTL)
- QCCS (IST)
- CAFE (ITEA)
- Artist (IST)
- AS Test (CNRS)
- ARC FISC (Inria)
- Programme Telecom (CNRS)
Research teams of the same theme :
- ACES - Ambient computing and embedded systems
- ADAM - Adaptive Distributed Applications and Middleware
- ARLES - Software architectures and distributed systems
- ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
- ASCOLA - Aspect and composition languages
- ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
- CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
- FOCUS - Foundations of Component-based Ubiquitous Systems
- INDES - Secure Diffuse Programming
- LOGNET - Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems
- MYRIADS - Design and Implementation of Autonomous Distributed Systems
- OASIS - Active objects, semantics, Internet and security
- PHOENIX - Programming Language Technology For Communication Services
- POPS - System and Networking for Portable Objects Proved to be Safe
- REGAL - Large-Scale Distributed Systems and Applications
- RMOD - Analyses and Languages Constructs for Object-Oriented Application Evolution
- SARDES - System architecture for reflective distributed computing environments
- SCORE - Services and Cooperation
Contact
Team leader
Benoit Baudry
Tel.: +33 2 99 84 71 92
Secretariat
Tel.: +33 2 99 84 74 03
Inria
Inria.fr
Inria Channel

Find out more
See also