B événementiel pour la modélisation du domaine: application au transport

Atif Mashkoor 1 Jean-Pierre Jacquot 1 Jeanine Souquières 1
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.
Type de document :
Communication dans un congrès
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), Jan 2009, Toulouse, France. pp.19, 2009
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00326355
Contributeur : Atif Mashkoor <>
Soumis le : lundi 2 février 2009 - 17:48:46
Dernière modification le : jeudi 11 janvier 2018 - 06:20:08
Document(s) archivé(s) le : samedi 26 novembre 2016 - 05:11:31

Fichier

AFADL2009.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00326355, version 2

Collections

Citation

Atif Mashkoor, Jean-Pierre Jacquot, Jeanine Souquières. B événementiel pour la modélisation du domaine: application au transport. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), Jan 2009, Toulouse, France. pp.19, 2009. 〈inria-00326355v2〉

Partager

Métriques

Consultations de la notice

399

Téléchargements de fichiers

863