B événementiel pour la modélisation du domaine: application au transport
| Autor: | Mashkoor, Atif, Jacquot, Jean-Pierre, Souquières, Jeanine |
|---|---|
| Přispěvatelé: | Development of specifications (DEDALE), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Mashkoor, Atif |
| Jazyk: | francouzština |
| Rok vydání: | 2009 |
| Předmět: | |
| Zdroj: | Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009) Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), Jan 2009, Toulouse, France. pp.19 |
| Popis: | National audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|