Ecole d'ingénieur et centre de recherche en télécommunications

Seminar: TURTLE: un environnement UML de conception et de validation des protocoles et des systèmes temps-réel.

Ludovic Apvrille - Ludovic.apvrille@enst.fr - Assistant Professeur, ENST à Institut Eurecom - Sophia-Antipolis

Communications Mobiles

Date: 8 avril 2004

Lieu: Eurecom - Institut Eurecom

Les solutions UML disponibles sur la marché partagent les mêmes limitations, à savoir une absence de sémantique formelle, des opérateurs temporels à l’expression réduite, et enfin une validation qui se limite à de la simulation sur une conception de bas n

Document

TURTLE: un environnement UML de conception et de validation des protocoles et des systèmes temps-réel.

Rechercher