Skip to content

Specification and formal verification of traffic light control system.

Notifications You must be signed in to change notification settings

isabelleysseric/Synchronisation_feux_circulation

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

39 Commits
 
 
 
 
 
 
 
 

Repository files navigation

Système de contrôle de lumières


Isabelle Eysseric (GitHub)   •  Elida MELO (GitHub)   •  Slim BEN YAHIA (GitHub)
Synchronisation_feux_circulation (GitHub)   •  Synchronisation_feux_circulation (Wiki)   •  Isabelle Eysseric




Etape 1 : Spécification en FSP : Synchronisation de feux de circulation

Carrefour_16_mouvements.jpg


AUTEURS:

===============

Elida MELO

Ermine WANKPO

Isabelle EYSSERIC

Slim BEN YAHIA



DESCRIPTION:

===========

Ce système contrôle les lumières d'une intersection en T et sur une intersection ordinaire.



Repertoire

Dans le dossier FSP, il y a deux fichiers dont un sur les lumières Projet1_Equipe33_Lumieres.lts et l'autre sur la synchronisation de ces lumières fsp_synchronisation.lts.

Dans le dossier JAVA, il y a le code du programme en Java.

Dans le dossier FSP, il y a dix images représentant les diagrammes.

Dans le dossier images, il y a les images utilisées dans le wiki pour visualiser les résultats de l'analyse de données.

  • FSP

    • Projet1_Equipe33_Lumieres.lts
    • fsp_synchronisation.lts
  • JAVA

    • ... (Vide)
  • LST

    • Q1_Processus_Voiture.PNG
    • ...
    • Q5_Processus_Parallele_Intersection.PNG
  • images

    • circulation.PNG

About

Specification and formal verification of traffic light control system.

Topics

Resources

Stars

Watchers

Forks

Languages