106documents trouvés
Formal verification of secure group communications using AVISPA and TURTLE
B.FONTAN, P.DE SAQUI SANNES, S.MOTA GONZALEZ , T.VILLEMUR, M.S.BOUASSIDA, N.CHRIDI, I.CHRISMENT, S.VIGNERON
OLC, LORIA
Rapport LAAS N°07552, Octobre 2007, 24p.
Diffusable
111663L4.4: bilan des contributions originales du projet SAFECAST et perspectives de recherches ouvertes
P.OWEZARSKI, P.DE SAQUI SANNES, T.VILLEMUR, S.MOTA GONZALEZ , B.FONTAN, M.CHALAND, I.CHRISMENT, M.SALAH BOUASSIDA, A.BOUABDALLAH, H.RAGAB HASSAN, Y.CHALLAL
OLC, EADS AIRBUS SA, LORIA, Université Compiègne, UTC
Rapport de Contrat : Projet RNRT SAFECAST, Juillet 2007, 14p. , N° 07375
Non diffusable
110980Génération des séquences de test temporisées à partir des réseaux de Petri temporels à chronomètres
N.ADJIR, P.DE SAQUI SANNES, M.K.RAHMOUNI
OLC, Oran
Manifestation avec acte : Conférence Internationale sur les NOvelles TEchnologies de la REpartition (NOTERE 2007), Marrakech (Maroc), 4-8 Juin 2007, pp.313-327 , N° 07063
Diffusable
110462Génération automatique d'observateurs pour la vérification formelle d'exigences temporelles
B.FONTAN, P.DE SAQUI SANNES, L.APVRILLE
OLC, ENST Sophia
Manifestation avec acte : Nouvelles Technologies de la Répartition (NOTERE'2007), Marrakech (Maroc), 4-8 Juin 2007, pp.541-542 , N° 07062
Diffusable
110422Extended real-time LOTOS for preemptive systems verification
T.SADANI, P.DE SAQUI SANNES, J.P.COURTIAT
OLC
Manifestation avec acte : 15th Conference on Real-Time and Network Systems (RTNS'07), Nancy (France), 29-30 Mars 2007, pp.25-34 , N° 06766
Diffusable
109647Real-time system formal verification based on timing requirement description diagrams
B.FONTAN, P.DE SAQUI SANNES
OLC
Manifestations avec acte à diffusion limitée : Junior Researcher Workshop on Real-Time Computing 2007 (JRWRTC'07), Nancy (France), 29-30 Mars 2007, pp.27-30 , N° 07101
Diffusable
109804L3.4: Evaluation des performances pour la validation du facteur d'échelle
A.BOUABDALLAH, M.S.BOUASSIDA, I.CHRISMENT, H.RAGAB HASSAN, S.MOTA GONZALEZ , B.FONTAN, P.DE SAQUI SANNES, T.VILLEMUR, P.OWEZARSKI
OLC, LORIA, UTC
Rapport de Contrat : Projet RNRT SAFECAST, Janvier 2007, 44p. , N° 07153
Diffusion restreinte
109702TURTLE-P: a UML profile for the formal validation of critical and distributed applications
L.APVRILLE, P.DE SAQUI SANNES, F.KHENDEK
Concordia, OLC
Revue Scientifique : Journal on Software and Systems Modeling, Vol.5, N°4, pp.449-466, Décembre 2006 , N° 03429
Diffusable
108785Un environnement de conception de systèmes distribués basé sur UML
L.APVRILLE, P.DE SAQUI SANNES, R.PACALET, A.APVRILLE
ENST Sophia, OLC, MISC
Revue Scientifique : Annales des Télécommunications, Vol.61, N°11-12, pp.1395-1416, 2006 , N° 06765
Diffusable
Plus d'informations
Résumé
Cet article propose un nouvel environnement de développement des systèmes distribués, basé sur le profil UML TURTLE. Aux étapes d'analyse et de conception qui firent l'objet de précédents articles, nous ajoutons une étape de déploiement. Il s'agit en l'occurrence de déployer des composants TURTLE sur des noeuds matériels d'exécution et de modéliser les liens entre ces noeuds d'exécution. À l'exemple des diagrammes TURTLE utilisés en analyse et conception, les diagrammes de déploiement se voient dotés d'une sémantique formelle par traduction vers le langage RT-LOTOS. L'outil TTool (TURTLE Toolkit) est enrichi d'un générateur de code exécutable Java capable de prendre en compte les composants TURTLE déployés sur des noeuds et les liens entre les noeuds d'exécution. TTool génère maintenant du code réseau qui utilise les protocoles de type UDP ou RMI pour assurer les communications entre composants. L'intrusion d'un pirate dans une session HTTP sécurisée sert d'exemple illustratif de l'environnement proposé.
Mots-Clés / Keywords
Système réparti; Conception système; Méthode formelle; Description système; Langage UML; Sémantiques; Programmation; Sécurité Internet; Déploiement informatique;
L4.2: rapport sur l'identification des points durs. V.2
M.ADIB, M.S.BOUASSIBA, I.CHRISMENT, B.FONTAN, S.MOTA GONZALEZ , P.DE SAQUI SANNES, A.SERHROUCHNI, T.VILLEMUR
ENST, LORIA, OLC
Rapport de Contrat : Projet RNRT SAFECAST, Novembre 2006, 33p. , N° 06873
Diffusion restreinte
108924