Introduction
Il s’agit d’étudier la conception d’un logiciel pour le contrôle et la commande de plusieurs ascenseurs d’un immeuble. Donc il s’agit d’une part d’un logiciel distribué et d’autre part d’un logiciel qu’on peut le considérer comme critique puisqu’il peut mettre la vie des êtres humains en danger. L’ascenseur est utilisé par l’homme donc en cas d’accident les dégâts sont principalement humains. Alors il faut une bonne modélisation du système pour pouvoir construire un logiciel sûr ; dont son comportement est prévisible et surtout essayer de le vérifier et de le valider avant de le mettre en service.
Objectif
Le but et de pouvoir contrôler plusieurs ascenseurs d’un immeuble, je vais essayer au début d’analyser le comportement d’un seul ascenseur, ensuite je vais modéliser en FSP le fonctionnement toujours d’un seul ascenseur et enfin essayer, par composition parallèle, je vais faire modéliser deux ou plusieurs ascenseurs. Notre système fait intervenir plusieurs mécanismes divers, par exemple une partie mécanique, une autre électrique et à ne pas oublier la partie logicielle qui va commander efficacement tous les dispositifs.
Télécharger le document complet dans le format pdf
Télécharger les sources du projet dans le format zip
Télécharger le logiciel LTSA
Bulletins (RSS)