136documents trouvés
Modèles pivots pour la représentation des processus concurrents asynchrones
M.FILALI, F.LANG, F.PERES, J.STOECKER, F.VERNADAT
IRIT-UPS, INRIA Rhône-Alpes, OLC
Rapport de Contrat : Projet ANR05RNTL03101 OpenEmbeDD, Février 2007, 9p. , N° 07073
Diffusable
109322Vérification des applications temps réel
F.SIMONOT-LION, Y.Q.SONG, B.BERTHOMIEU, F.VERNADAT
LORIA, OLC
Ouvrage (contribution) : Encyclopédie de l'Informatique et des Systèmes d'Information, Vuibert (Ed.), J.Akoka, I.Comyn-Wattiau (Eds), N°ISBN 978-2-7117-4846, 2006, pp.761-773 , N° 05578
Diffusable
109727Réseaux de Petri temporels : méthodes d'analyse et vérification avec TINA
B.BERTHOMIEU, F.VERNADAT
OLC
Ouvrage (contribution) : Systèmes temps réel 1. Techniques de description et de vérification, Traité Information-Commande-Communication. Informatique et Systèmes d'Information, Ed. Lavoisier, N°ISBN 2-7462-1303-6, 2006, Chapitre 1, pp.25-57 , N° 06354
Diffusable
108332Bridging the gap between timed automata and bounded time Petri nets
B.BERTHOMIEU, F.PERES, F.VERNADAT
OLC
Manifestation avec acte : 4th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'2006), Paris (France), 25-27 Septembre 2006 , N° 06355
Diffusable
107760Time Petri nets analysis with TINA
B.BERTHOMIEU, F.VERNADAT
OLC
Manifestation avec acte : 3rd International Conference on the Quantitative Evaluation of Systems (QEST'2006), Riverside (USA), 11-14 Septembre 2006, pp.123-124 , N° 06382
Diffusable
107761Behavioural descriptions in architecture description languages. Application to AADL
J.P.BODEVEIX, P.DISSAUX, M.FILALI, P.GAUFILLET, F.VERNADAT
IRIT-UPS, TNI, EADS AIRBUS SA, OLC
Manifestation avec acte : 3rd European Congress on Embedded Real Time Software (ERTS'06), Toulouse (France), 25-27 Janvier 2006, 2p. (Résumé) , N° 05436
Diffusable
106404Problèmes d'accessibilité et espaces d'états abstraits des réseaux de Petri temporels à chronomètres
B.BERTHOMIEU, D.LIME, O.H.ROUX, F.VERNADAT
OLC, Aalborg, IRCCYN
Manifestation avec acte : 5ème Colloque "Modélisation des Systèmes Réactifs" (MSR'05), Grenoble (France), 5-7 Octobre 2005 , N° 05242
Diffusable
104411Problèmes d'accessibilité et espaces d'états abstraits des réseaux de Petri temporels à chronomètres
B.BERTHOMIEU, D.LIME, O.H.ROUX, F.VERNADAT
OLC, Aalborg, IRCCYN
Revue Scientifique : Journal Européen des Systèmes Automatisés, Vol.39, N°1-2-3, pp.223-238, 2005 , N° 05242
Diffusable
105527Vérification de propriétés invariantes par surapproximation
F.PERES, P.O.RIBET, F.VERNADAT, B.BERTHOMIEU
OLC
Manifestation sans acte : Journées "Formalisation des Activités Concurrentes" (FAC'2005), Toulouse (France), 9-10 Mars 2005, 12p. , N° 05081
Diffusable
103355Vérification de systèmes temporels par sur-approximation
P.O.RIBET, F.VERNADAT, B.BERTHOMIEU
OLC
Manifestation sans acte : Journées "Formalisation des Activités Concurrentes" (FAC'2005), Toulouse (France), 9-10 Mars 2005, 12p. , N° 05080
Diffusable
103353