Zobrazeno 1 - 10 of 24 pro vyhledávání: '"B événementiel"'
1
Vérification formelle de la relation de raffinement des diagrammes de séquences d'UML2.X avec la méthode formelle B événementiel
Autor: Dhaou, Fatma
The main research topic of this thesis revolves around the use of sequence diagrams for the modeling of behaviours of distributed systems deemed as a complex problem. We especially address the application of refinement process for UML2.X sequence dia
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______166::653fd9fca586293fa2cd65c9650cdb1a
https://theses.hal.science/tel-01834778
Zobrazit plný text záznamu
2
First lessons on the specification of a landing-system in Event-B
Autor: Jacquot, Jean-Pierre
Publikováno v: Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, Lavoisier, 2016, 34 (5), pp.549-573. ⟨10.3166/TSI.34.547-571⟩
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, 2016, 34 (5), pp.549-573. ⟨10.3166/TSI.34.547-571⟩
International audience; This article presents the preliminary lessons gained from developing in Event-B the case-study proposed for the ABZ2014 conference. The case is the modeling of the software control for the landing-gears system of a plane. The
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7d6bea59ce9b6465e274fe8f612bc4a8
https://hal.inria.fr/hal-01262077
Zobrazit plný text záznamu
3
Vers une modélisation formelle basée sur le raffinement des systèmes multi-agents auto-organisateurs
Autor: Frédéric Migeon, Ahmed Hadj Kacem, Zeineb Graja, Marie-Pierre Gleizes, Christine Maurel
Publikováno v: Revue des Sciences et Technologies de l'Information-Série RIA : Revue d'Intelligence Artificielle
Revue des Sciences et Technologies de l'Information-Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2016, Des modèles théoriques aux applications multi-agents, 30 (1-2), pp.159--183. ⟨10.3166/RIA.30.159-183⟩
International audience; The development of self-organizing MAS still lacks rigorous verification methods to ensure the convergence and resilience of the designed system. Such insurances can be obtained through the application of formal methods. Howev
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::244be175df777ab0b5c91004e038c414
https://hal.archives-ouvertes.fr/hal-03159079
Zobrazit plný text záznamu
4
Dissertation/ Thesis
Vérification formelle des systèmes multi-agents auto-adaptatifs
Autor: Graja, Zaineb
Un des défis majeurs pour le développement des Systèmes Multi-Agents (SMA) auto-organisateurs est de garantir la convergence du système vers la fonction globale attendue par un observateur externe et de garantir que les agents sont capables de s'
Externí odkaz: http://www.theses.fr/2015TOU30105/document
Zobrazit plný text záznamu
5
Formal verification of self-adaptive multi-agent systems
Autor: Graja, Zeineb
Publikováno v: Système multi-agents [cs.MA]. Université Paul Sabatier-Toulouse III, 2015. Français. ⟨NNT : 2015TOU30105⟩
A major challenge for the development of self-organizing MAS is to guarantee the convergence of the system to the overall function expected by an external observer and to ensure that agents are able to adapt to changes. In the literature, several wor
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::afa2cb367d45c33ac8123f81d88ceae2
https://tel.archives-ouvertes.fr/tel-01320778/document
Zobrazit plný text záznamu
6
Dissertation/ Thesis
Un environnement de simulation pour la validation de spécifications B événementiel
Autor: Yang, Faqing
Cette thèse porte sur la spécification, la vérification et la validation de systèmes critiques à l'aide de méthodes formelles, en particulier, B événementiel. Nous avons travaillé sur l'utilisation de B événementiel pour étudier des algor
Externí odkaz: http://www.theses.fr/2013LORR0158/document
Zobrazit plný text záznamu
7
A Simulation Framework for the Validation of Event-B Specifications
Autor: Yang, Faqing
Publikováno v: Formal Languages and Automata Theory [cs.FL]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0158⟩
This thesis aims at the specification, verification and validation of safety-critical systems with formal methods, in particular, with Event-B. We assessed the usability of Event-B by the development of platooning control algorithms, specially how it
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::392aa8bcf735a47e3b743d4e32cb8351
https://tel.archives-ouvertes.fr/tel-01750224v2/file/DDOC_T_2013_0158_YANG.pdf
Zobrazit plný text záznamu
8
Dissertation/ Thesis
Ingénierie Formelle de Domaine: Des Spécifications à la Validation
Autor: Mashkoor, Atif
Le thème principal de cette recherche est d'étudier et développer des techniques pour la modélisation des systèmes où la sécurité est critique. Cette thèse est focalisé sur l'étape de la spécification du domaine où de tels systèmes vont
Externí odkaz: http://tel.archives-ouvertes.fr/tel-00614269
http://tel.archives-ouvertes.fr/docs/00/63/56/88/PDF/Thesis.pdf
Zobrazit plný text záznamu
9
Formal Domain Engineering: From Specification to Validation
Autor: Mashkoor, Atif
Publikováno v: Software Engineering [cs.SE]. Université Nancy II, 2011. English
Software Engineering [cs.SE]. Université Nancy II, 2011. English. ⟨NNT : ⟩
The main theme of this research is to study and develop techniques for modeling of software-controlled safety-critical systems. The area we focus in this thesis is the specification of a domain, where such systems are supposed to operate, and its val
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5d110797c850a232234f72028c57a376
https://theses.hal.science/tel-00614269v2
Zobrazit plný text záznamu
10
B événementiel pour la modélisation du domaine: application au transport
Autor: Mashkoor, Atif, Jacquot, Jean-Pierre, Souquières, Jeanine
Publikováno v: 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
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 l
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5441d5cac388ec956c12dfb7de8136b9
https://inria.hal.science/inria-00326355
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje