Retour au site du LAAS-CNRS

Vérification de transformations. Quarteft T42-4

N.ABID, B.BERTHOMIEU, J.P.BODEVEIX, S.DAL ZILIO, DDOOSE, M.FILALI, D.LE BOTLAN, M.PANTEL, F.VERNADAT

VERTICS, IRIT-UPS, ONERA, IRIT-ENSEEIHT

Rapport de Contrat : Projet QUARTEFT (FNRAE), Décembre 2012, 28p. , N° 12756

Diffusion restreinte

Ajouter au panier 129017

Rapport final

N.ABID, J.C.BACH, B.BERTHOMIEU, J.P.BODEVEIX, S.DAL ZILIO, N.DISSAUX, DDOOSE, M.FILALI, M.GARNACHO, D.LE BOTLAN, P.MICHEL, M.PANTEL, P.E.MOREAU, A.SCHACH, F.VERNADAT

VERTICS, LORIA, IRIT-UPS, Ellidiss Technologi, ONERA, ONERA-CERT, ONERA/DTIM, IRIT-ENSEEIHT

Rapport de Contrat : Projet QUARTEFT (FNRAE), Décembre 2012, 41p. , N° 12757

Diffusion restreinte

Ajouter au panier 129019

Définition du langage de propriétés RT - FIACRE. Quarteft T2-12-B

N.ABID, B.BERTHOMIEU, J.P.BODEVEIX, S.DAL ZILIO, M.FILALI, D.LE BOTLAN, F.VERNADAT

VERTICS, IRIT-UPS

Rapport de Contrat : Projet QUARTEFT (FNRAE), Septembre 2012, 17p. , N° 12755

Diffusion restreinte

Ajouter au panier 129015

Définition formelle du langage de comportement RT- FIACRE V3. Quarteft T12-12-A

B.BERTHOMIEU, J.P.BODEVEIX, S.DAL ZILIO, M.FILALI, D.LE BOTLAN, R.SPADOTTI, G.VERDIER, F.VERNADAT

VERTICS, IRIT-UPS

Rapport de Contrat : Projet QUARTEFT (FNRAE), Août 2012, 35p. , N° 12754

Diffusion restreinte

Ajouter au panier 129013

Model-checking support for AADL

S.DAL ZILIO, F.VERNADAT, B.BERTHOMIEU, M.FILALI, J.P.BODEVEIX

VERTICS, IRIT-UPS

Rapport LAAS N°12758,

Diffusable

Ajouter au panier 129022

La traduction AADL-FIACRE. L'expérience TOPCASED

B.BERTHOMIEU, J.P.BODEVEIX, S.DAL ZILIO, P.FARAIL, M.FILALI, P.GAUFILLET, F.VERNADAT

VERTICS, IRIT-UPS, EADS AIRBUS SA

Manifestation sans acte : Approches Formelles dans l'Assistance au Développement de Logiciels ( AFADL ) 2012 du 11 janvier au 13 janvier 2012, Grenoble (France), Janvier 2012, 51p. , N° 12773

Diffusable

Ajouter au panier 129066

A model driven engineering approach to formal verification of PLC programs

J.M.FARINES, M.H.DE QUEIROZ, V.G.DA ROCHA, A.M.M.CARPES, F.VERNADAT, X.CREGUT

DAS/UFSC, OLC, ENSEEIHT

Manifestation avec acte : Emerging Technologies and Factory Automation (ETFA'2011), Toulouse (France), 5-9 Septembre 2011, 8p. , N° 11681

Diffusable

Ajouter au panier 126059

Specification and verification of real-time systems using the POLA

F.PERES, P.E.HLADIK, F.VERNADAT

IFSTTAR, OLC

Revue Scientifique : International Journal of Critical Computer Based Systems, Vol.2, N°3-4 , pp.332-351, Septembre 2011 , N° 11688

Diffusable

Ajouter au panier 126075

On the composition of time Petri nets

F.PERES, B.BERTHOMIEU, F.VERNADAT

OLC, IFSTTAR

Revue Scientifique : Discrete Event Dynamic Systems, Vol.21, N°3, pp.395-424, Septembre 2011 , N° 11687

Diffusable

Ajouter au panier 126073

Vérification formelle de spécifications AADL via FIACRE

B.BERTHOMIEU, J.P.BODEVEIX, S.DAL ZILIO, M.FILALI, F.VERNADAT

IRIT-UPS, OLC

Manifestation sans acte : Ecole d'Eté Temps Réel (ETR'11), Brest (France), 29 Août - 2 Septembre 2011, 9p. , N° 11446

Diffusable

Ajouter au panier 125705