Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Jemni Ben Ayed, Leila"'
Publikováno v:
In Journal of King Saud University - Computer and Information Sciences January 2014 26(1) Supplement:29-45
Publikováno v:
In Information and Software Technology 2011 53(1):14-33
Autor:
Jemni Ben Ayed, Leila, Hamdi, Najet
Publikováno v:
In IFAC Proceedings Volumes 2009 42(4):420-425
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
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
https://hal.inria.fr/inria-00102229
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
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
https://inria.hal.science/inria-00000801
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
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
https://hal.inria.fr/inria-00102208
Autor:
Mosbahi, Olfa, Jemni Ben Ayed, Leila
Publikováno v:
Premières Rencontres des Jeunes Chercheurs en Informatique Temps Réel 2005-RJCITR'05
Premières Rencontres des Jeunes Chercheurs en Informatique Temps Réel 2005-RJCITR'05, Sep 2005, Nancy, France. pp.31-34
Premières Rencontres des Jeunes Chercheurs en Informatique Temps Réel 2005-RJCITR'05, Sep 2005, Nancy, France. pp.31-34
conjointement à l'Ecole d'Eté Temps Réel 2005 - ETR 2005; National audience; La méthode B fournit un cadre rigoureux de développement de systèmes mais sa limitation concerne le type des propriétés exprimées car seuls les invariants sont cons
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::542088a4d2b6ae009e424e198b6c33ba
https://hal.inria.fr/inria-00000800
https://hal.inria.fr/inria-00000800
Publikováno v:
Third International Conference on Informatics and Systems-INFOS'2005
Third International Conference on Informatics and Systems-INFOS'2005, Mar 2005, Caire, Egypte
Third International Conference on Informatics and Systems-INFOS'2005, Mar 2005, Caire, Egypte
In this paper we present a way to specify reactive systems with the event based B method and a solution for the description of time using the interleaving concept from Esterel. We focus on the refinement process used for the development of a control
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3a94714fcacd021d7fd82057f0af1289
https://inria.hal.science/inria-00000799
https://inria.hal.science/inria-00000799
Publikováno v:
Quatrième conférence francophone de Modélisation et Simulation-MOSIM'03
Quatrième conférence francophone de Modélisation et Simulation-MOSIM'03, Apr 2003, Toulouse, France
Quatrième conférence francophone de Modélisation et Simulation-MOSIM'03, Apr 2003, Toulouse, France
National audience; Le papier présente une technique de spécification et de validation empruntant les avantages de deux classes de méthodes de spécification, formelles et semi-formelles. Il s'inscrit dans le cadre d'intégration de méthodes pour
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::662293723b4b2a923a5274565db7a0c0
https://hal.inria.fr/inria-00000809
https://hal.inria.fr/inria-00000809
Autor:
Jemni Ben Ayed, Leila
Publikováno v:
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2000. Français. ⟨NNT : 2000INPL023N⟩
Our aim is the use of formal techniques for the development of control-command system, which constitutes the program component of real-time systems. Generally, using a formal method for program development first consists in formally specifying the ex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a3da61d76bca9472fd3b5b7cf3c2e947
https://hal.univ-lorraine.fr/tel-01750490
https://hal.univ-lorraine.fr/tel-01750490