Výsledky vyhledávání - "Jaray, Jacques"

B événementiel et les propriétés de vivacité

Publikováno v: Journal Européen des Systèmes Automatisés (JESA)
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2010, 44 (9-10), pp.1119-1163. ⟨10.3166/jesa.44.1119-1163⟩
Journal Européen des Systèmes Automatisés (JESA), 2010, 44 (9-10), pp.1119-1163. ⟨10.3166/jesa.44.1119-1163⟩

International audience; This paper deals with the verification of liveness properties on reactive systems. We are based on the event B method to specify and validate such systems. By considering the limitation of the B to invariance properties, we pr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::08315fd035187a06828badce5667df8e
https://hal.inria.fr/inria-00580131

Zobrazit plný text záznamu

Développement formel de systèmes automatisés

Autor: Mosbahi-Khalgui, Olfa Jaray, Jacques Ben Ahmed, Samir

Thèse de doctorat : Informatique : INPL : 2008.
Titre provenant de l'écran-titre.

Externí odkaz: http://www.scd.inpl-nancy.fr/theses/2008_MOSBAHI_O.pdf

Zobrazit plný text záznamu

Spécification et vérification des propriétés de vivacité en B événementiel

Autor: Mosbahi, Olfa, Jaray, Jacques, Ben Ahmed, Samir

Publikováno v: 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs-MSR 2007
6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs-MSR 2007, Oct 2007, Lyon, France. 16 p

National audience; Dans ce papier, nous nous intéressons à la vérification de propriétés de vivacité sur des systèmes réactifs. Nous nous basons sur le B événementiel pour la spécification et la validation de tels systèmes. En considéran

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bb58f84a174e5addfecc5d23f6d0013f
https://hal.inria.fr/inria-00172417/document

Zobrazit plný text záznamu

Specification and Proof of Liveness Properties in B Event Systems

Autor: Mosbahi, Olfa, Jaray, Jacques

Publikováno v: 2nd International Conference on Software and Data Technologies-ICSOFT 2007
2nd International Conference on Software and Data Technologies-ICSOFT 2007, INSTICC-Institute for Systems and Technologies of Information, Control and Communication, Jul 2007, Barcelone, Spain. pp.25-34

International audience; In this paper, we give a framework for defining an extension to the event B method. The event B method allows us to state only invariance properties, but in some applications such as automated or distributed systems, fairness

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a0d6d1fc1deb4b151f1044a5ef08704b
https://hal.inria.fr/inria-00158906/document

Zobrazit plný text záznamu

A Formal Approach for the Development of Automated Systems

Autor: Mosbahi, Olfa, Jemni, Leila, Jaray, Jacques

International audience; This paper deals with the use of two verification approaches : theorem proving and model checking. We focus on the event B method by using its associated theorem proving tool (Click n Prove), and on the language TLA+ by using

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6641571e2fffab6f77599eba89fc7c89
https://hal.inria.fr/inria-00158908/document

Zobrazit plný text záznamu

Formal Development Method of Automated Systems using the Temporal Logic of Actions TLA

Autor: Mosbahi, Olfa, Jemni Ben Ayed, Leila, Jaray, Jacques

Publikováno v: MOSIM'06 6ième Conférence Francophone de Modélisation et Simulation des Systèmes
MOSIM'06 6ième Conférence Francophone de Modélisation et Simulation des Systèmes, Apr 2006, Rabat, Morocco

International audience; The paper presents a method for control systems formal development. We focus on the refinement process used for the development of a control part controlling an operative part of an automated (controlled) system satisfying req

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7b7a892a414642652abd3f802e443266
https://hal.inria.fr/inria-00102229

Zobrazit plný text záznamu

A formal development approach of control systems using the event based B approch, Case study : A parcel sorting device

Autor: Mosbahi, Olfa, Jaray, Jacques, Jemni Ben Ayed, Leila

Publikováno v: The 4th ACS/IEEE International Conference on Computer Systems and Applications-AICCSA'2006
The 4th ACS/IEEE International Conference on Computer Systems and Applications-AICCSA'2006, Mar 2006, Dubai/Sharjah, UAE

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::eb78fd3d92e8d08f88f35de44f5a840e
https://inria.hal.science/inria-00000801

Zobrazit plný text záznamu

A Formal Development Method of Control Systems using Event B Approach

Autor: Mosbahi, Olfa, Jaray, Jacques, Jemni Ben Ayed, Leila

Publikováno v: 4th ACS/IEEE International Conference on Computer Systems and Applications
4th ACS/IEEE International Conference on Computer Systems and Applications, Mar 2006, DUBAI

This paper presents a formal method for the development of control systems. We aim at developing a program controlling the operative part of a control system. We first build an abstract model of the operative part and complete this model to get a mod

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1b51f982b082bc1e1993dc29008bd8dd
https://hal.inria.fr/inria-00102208

Zobrazit plný text záznamu

Développement formel de systèmes de contrôle-commande

Autor: Mosbahi, Olfa, Jaray, Jacques

Publikováno v: Approches Formelles dans l'Assistance au Développement de Logiciels-AFADL 2004
Approches Formelles dans l'Assistance au Développement de Logiciels-AFADL 2004, Jun 2004, Besançon/France

présenté en poster

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b92671f518c88a69b76994ee9d8cdd2f
https://inria.hal.science/inria-00000796

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání