Retour au site du LAAS-CNRS

L'outil TINA. Construction d'espaces d'états abstraits pour les réseaux de Petri et réseaux temporels

B.BERTHOMIEU, P.O.RIBET, F.VERNADAT

OLC

Manifestation avec acte : 4ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'03), Metz (France), 6-8 Octobre 2003, pp.295-310 , N° 03071

Diffusable

Ajouter au panier 101249

Réseaux de Petri temporels

B.BERTHOMIEU

OLC

Manifestations avec acte à diffusion limitée : Ecole d'Eté Temps Réel (ETR'2003), Toulouse (France), 9-12 Septembre 2003, pp.123-136 , N° 03260

Diffusable

Ajouter au panier 101118

Langage pour la vérification V-Cotre : la prise en compte du scheduling et la traduction vers les réseaux de Petri temporels

A.NASPOLINI, J.M.FARINES, P.O.RIBET, F.VERNADAT, B.BERTHOMIEU

OLC

Rapport LAAS N°03431, Septembre 2003, 78p.

Diffusable

Ajouter au panier 101320

Towards the verification of real-time systems in avionics: the Cotre approach

B.BERTHOMIEU, P.O.RIBET, F.VERNADAT, J.BERNARTT, J.M.FARINES, J.P.BODEVEIX, M.FILALI, G.PADIOU, P.MICHEL, P.FARAIL, P.GAUFFILET, P.DISSAUX, J.L.LAMBERT

EADS AIRBUS SA, OLC, ONERA-CERT, IRIT-UPS, TNI

Manifestation avec acte : 8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'2003), Roros (Norvège), 5-7 Juin 2003, pp.201-216 , N° 03185

Diffusable

Ajouter au panier 100866

Expérimentation sur l'étude de cas : validation de fragments

J.BERNARTT, B.BERTHOMIEU, J.P.BODEVEIX, J.M.FARINES, M.FILALI, P.GAUFILLET, P.MICHEL, A.NASPOLINI, G.PADIOU, P.O.RIBET, F.VERNADAT

OLC, IRIT-UPS, EADS AIRBUS SA, ONERA-CERT

Rapport de Contrat : Contrat RNTL COTRE, Juin 2003, 41p. , N° 03277

Diffusable

Ajouter au panier 100922

Choix des techniques et outils de vérification

J.BERNARTT, B.BERTHOMIEU, J.P.BODEVEIX, S.DEVULDER, J.M.FARINES, M.FILALI, P.GAUFILLET, J.L.LAMBERT, P.MICHEL, A.NASPOLINI, G.PADIOU, P.O.RIBET, F.VERNADAT

OLC, IRIT-UPS, TNI, EADS AIRBUS SA, ONERA-CERT

Rapport de Contrat : Contrat RNTL COTRE, Juin 2003, 37p. , N° 03320

Diffusable

Ajouter au panier 100992

Présentation des techniques et outils de vérification

B.BERTHOMIEU, J.P.BODEVEIX, S.DEVULDER, J.M.FARINES, M.FILALI, J.L.LAMBERT, P.MICHEL, P.O.RIBET, F.VERNADAT

OLC, IRIT-UPS, TNI, ONERA-CERT

Rapport de Contrat : Contrat RNTL COTRE, Juin 2003, 45p. , N° 03276

Diffusable

Ajouter au panier 100920

The COTRE project: rigorous software development for real time systems in avionics

J.M.FARINES, B.BERTHOMIEU, J.P.BODEVEIX, P.FARAIL, M.FILALI, P.GAUFILLET, H.HAFIDI, J.L.LAMBERT, P.MICHEL, F.VERNADAT

OLC, IRIT-UPS, Aérospatiale, UFSC, TNI, ONERA-CERT

Manifestation avec acte : 27th IFAC/IFIP/IEEE Workshop on Real-Time Programming (WRTP'03), Lagow (Pologne), 14-17 Mai 2003, pp.51-56 , N° 02505

Diffusable

Ajouter au panier 100767

State class constructions for branching analysis of Time Petri nets

B.BERTHOMIEU, F.VERNADAT

OLC

Manifestation avec acte : 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2003), Varsovie (Pologne), 7-11 Avril 2003 , N° 02130

Diffusable

Ajouter au panier 100694

Graphe de pas couvrant préservant LTL-X LGPC

P.O.RIBET, F.VERNADAT, B.BERTHOMIEU

OLC

Manifestation sans acte : Journées "Formalisation des Activités Concurrentes" (FAC'2003), Toulouse (France), 12-13 Mars 2003, 18p. , N° 03053

Diffusable

Ajouter au panier 100570