Retour au site du LAAS-CNRS

Validating RT-LOTOS specifications using the TINA tool

T.SADANI, J.P.COURTIAT, P.DE SAQUI SANNES

OLC

Manifestation sans acte : Journées "Formalisation des Activités Concurrentes" (FAC'2005), Toulouse (France), 9-10 Mars 2005, 10p. , N° 05006

Diffusable

Ajouter au panier 103356

Formal validation of RT-LOTOS specifications: new directions and preliminary results

T.SADANI, P.DE SAQUI SANNES, J.P.COURTIAT

ENSICA, OLC

Manifestations avec acte à diffusion limitée : RTSS'2004. Work in Progress Session, Lisbonne (Portugal), 6-8 Décembre 2004, 4p. , N° 04455

Diffusable

Ajouter au panier 103102

Validation formelle et ordonnancement en contexte UML temps réel : l'approche TURTLE

P.DE SAQUI SANNES, L.APVRILLE, J.P.COURTIAT

ENST Sophia, OLC

Rapport LAAS N°04538, Octobre 2004, 20p.

Diffusable

Ajouter au panier 102820

Validation d'une architecture de communication hybride satellite-terrestre

F.DE BELEVILLE, L.DAIRAINE, P.DE SAQUI SANNES, C.FRABOUL

ENSICA, OLC, ENSEEIHT

Rapport LAAS N°04584, Octobre 2004, 16p.

Diffusable

Ajouter au panier 102884

Towards the formal validation of UML models complying with the OMG profile for schedulability, performance and time specification

L.APVRILLE, P.DE SAQUI SANNES, J.P.COURTIAT

ENST Sophia, OLC

Rapport LAAS N°04407, Juillet 2004, 16p.

Diffusable

Ajouter au panier 102515

TURTLE: a real-time UML profile supported by a formal validation toolkit

L.APVRILLE, J.P.COURTIAT, C.LOHR, P.DE SAQUI SANNES

OLC, ENST Sophia

Revue Scientifique : IEEE Transactions on Software Engineering, Vol.30, N°7, pp.473-487, Juillet 2004 , N° 03571

Diffusable

Ajouter au panier 102285

TURTLE : un pont entre UML et RT-LOTOS

P.DE SAQUI SANNES, L.APVRILLE, C.LOHR, J.P.COURTIAT

OLC, ENST Sophia, Concordia

Manifestations avec acte à diffusion limitée : Conference AFADL'2004. Approches Formelles dans l'Assistance au Développement de Logiciels, Besancon (France), 16-18 Juin 2004, 4p. , N° 04159

Diffusable

Ajouter au panier 102434

RT-LOTOS to time Petri nets translation patterns

T.SADANI, J.P.COURTIAT, P.DE SAQUI SANNES

OLC, ENSICA

Rapport LAAS N°04325, Juin 2004, 15p.

Diffusable

Ajouter au panier 102337

A UML 2.0-based evolution of the TURTLE profile

L.APVRILLE, P.DE SAQUI SANNES, J.P.COURTIAT

ENST Sophia, OLC

Rapport LAAS N°04271, Mai 2004, 15p.

Diffusable

Ajouter au panier 102215

Verifying service continuity in a satellite reconfiguration procedure

L.APVRILLE, P.DE SAQUI SANNES, P.SENAC, C.LOHR

OLC

Revue Scientifique : Automated Software Engineering, Issue 2, Vol.11, pp.167-192, Avril 2004 , N° 03184

Diffusable

Ajouter au panier 102028