B événementiel pour la modélisation du domaine: application au transportReport as inadecuate




B événementiel pour la modélisation du domaine: application au transport - Download this document for free, or read online. Document in PDF available to download.

1 DEDALE - Development of specifications LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications

Résumé : Ce papier rapporte sur l-utilisation de B événementiel pour la modélisation du domaine dans le cas particulier des transports. Le développement de nouveaux systèmes de transports urbains, tels que les véhicules autonomes en libre-service, pose des problèmes difficiles d-homologation, d-acceptabilité, de sécurisation et de certification. La spécification formelle de ces systèmes comme de leur environnement ou domaine est incontournable. Nous rapportons les premières observations réalisées lors de la modélisation d-un domaine complexe en utilisant un langage formel non spécifiquement conçu pour cet usage. Au delà des observations techniques sur l-outillage, Rodin en l-occurrence, nous mettons en évidence des points d-ordre méthodologique, en particulier la nécessite de distinguer la notion de raffinement de celle de niveaux d-observation.

Mots-clés : B événementiel domaine du transport propriétés vérification





Author: Atif Mashkoor - Jean-Pierre Jacquot - Jeanine Souquières -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents