Voir la source de Discrete Event System Specification

{{homonyme|Devs}}
{{langue du titre|en}}
'''DEVS''' (de l'anglais ''{{lang|en|Discrete Event System Specification}}'') est un [[formalisme]] modulaire et [[hiérarchique]] pour la [[Modèle mathématique|modélisation]], la [[Simulation informatique|simulation]] et l'analyse de [[systèmes complexes]] qui peuvent être des systèmes à événements discrets décrits par des fonctions de transitions d'états et des systèmes continus décrits par des [[équations différentielles]], par exemple et des systèmes hybrides (continus et discrets). 

==Histoire==

DEVS (pour Discrete Event System Specification) est un formalisme de spécification des systèmes à événements discrets. Il a été proposé par {{Lien |langue=en |trad=Bernard P. Zeigler|fr=Bernard P. Zeigler| texte= Bernard P. Zeigler}} en 1976 dans la première version de son ouvrage [http://acims.asu.edu/publications/books-proceedings-and-manuscripts/theory-of-modeling-and-simulation-2nd-edition-academic-press "Theory of modelling and simulation"]{{Référence non conforme}}.

==Formalisme==
==Extensions de DEVS==
=== Parallel-DEVS ===

Cette extension, développée par Zeigler et Alex C. H. Chow<ref>Alex C. H. Chow et Bernard P. Zeigler, 1994, "Parallel DEVS: a parallel, hierarchical, modular, modeling formalism", in ''Proceedings of Winter Simulation Conference ’94'', Society for Computer Simulation International, pages 716–722</ref> a pour rôle de fournir une technique simple de [[parallélisation|parallélisation des calculs]]. Les extensions traditionnelles utilisent des techniques où des branches de la hiérarchie de modèles sont répartis sur des calculateurs. Un point de [[synchronisation]] est alors nécessaire pour effectuer un test sur la [[Causalité|causalité des événements]]. Les techniques de synchronisation sont décrites dans {{Référence à confirmer|[zeigler00]}} avec des techniques optimistes, de type Time Warp, et pessimistes.

La méthode DEVS parallèle utilise une méthode simple de parallélisation des calculs en utilisant une parallélisation des modèles lorsqu'au dépilement d'une date dans l'[[échéancier]], toutes les fonctions de transition internes ou externes des modèles sont  effectuées en parallèle.

B. P. Zeigler définit DEVS parallèle à partir de DEVS classique. Nous utilisons DEVS classique avec ports. Le modèle atomique
utilisant DEVS parallèle avec ports se définit comme suit :

<math>DEVS = \langle X, Y, S, \delta_{ext}, \delta_{int}, \delta_{con}, \lambda,ta \rangle</math>

Où :
*<math>X = \{(p,v)|p \in IPorts, v \in V_X</math> est l'ensemble des valeurs d'entrée avec :
**<math>IPorts</math> l'ensemble des ports d'entrée,
**<math>V_X</math> l'ensemble des valeurs possibles sur les ports d'entrée,
*<math>Y = \{(p,v)|p \in OPorts, v \in V_Y</math> est l'ensemble des valeurs de sortie avec :
**<math>OPorts</math> l'ensemble des ports de sortie,
**<math>V_Y</math> l'ensemble des valeurs possibles sur les ports de sortie,
*<math>S</math> est l'ensemble des états,
*<math>\delta_{int} : S \rightarrow S</math> la fonction de transition interne,
*<math>\delta_{ext} : Q \times X^b \rightarrow</math> la fonction de transition externe où :
**<math>X^b</math> est un ensemble du sac d'éléments finis de <math>X</math>
*<math>\delta_{con} : S \times X^b \rightarrow </math> la fonction de conflit où :
** <math>\delta_{con}(s, \emptyset) = \delta_{int}(s)</math>
*<math>\lambda : S \rightarrow Y^b </math> la fonction de sortie
*<math>ta : S \rightarrow \mathbb{R}_0^+ \cup \infty </math> la fonction d'avancée du temps où :
**<math>Q = {(s,e)|s \in S,0 < e < ta(s)}</math>
**<math>e</math> est le temps écoulé depuis le dernier changement d'état.

La différence entre DEVS parallèle et le DEVS classique est l'utilisation de sac d'événements en entrée sur la fonction de transition externe. Un sac, ou ''bag'' dans la terminologie de B. P. Zeigler, est un ensemble d'événements non trié provenant d'une ou plusieurs sources différentes.

La fonction de conflit (B. P. Zeigler, dans {{Référence à confirmer|[zeigler00]}}, utilise le terme ''confluent transition function'' que nous traduisons ici par ''fonction de conflit''), <math>\delta_{con}</math>, introduite par DEVS parallèle, donne la possibilité au modélisateur de choisir, pour un modèle, entre ses événements externes et interne s'ils ont lieu à la même date. Cette fonction remplace la fonction de sélection de DEVS classique.

La structure d'un modèle couplé dans DEVS parallèle est identique à celle définie précédemment. Les ensembles <math>EIC</math> et <math>EOC</math>, respectivement les ensembles de connexions entre le modèle couplé et les sous-modèles, et les sous-modèles vers le modèle couplé, n'existent plus en raison de la mise à plat de la hiérarchie de modèle DEVS.
De la même manière, la fonction de sortie, <math>\lambda</math>, du modèle couplé n'a plus lieu d'exister. La définition du modèle couplé est la suivante :

<math>N = \langle D, \{M_d\}, IC \rangle</math>

Où pour chaque <math>d \in D</math> :
*<math>M_d</math> est un modèle atomique DEVS parallèle

La différence entre DEVS parallèle et DEVS classique intervient surtout dans
la définition des fonctions de transitions. Pour simplifier la définition de
ces fonctions, nous définissons les ensembles suivants :
*Les modèles imminents, <math>IMM(s)</math> dont des sorties vont être générées juste avant la prochaine transition :
<math>IMM(s) = \{d|\sigma_d = ta(s)\}</math>
*Ensemble des modèles recevant au moins un message en entrée :
<math>INF(s) = \{d|i \in IC_{i,d}, i \in IMM(s) \wedge x^b_d \notin \emptyset \}</math>
avec <math>x^b</math> un sac d'événement en entrée :
<math>x^b_d = \{IC_{i,d}(\lambda_i(s_i))|i \in IMM(s) \cap IC_{i,d}\}</math>
*Un sous-ensemble des modèles de <math>IMM(s)</math> recevant au moins une entrée et effectuant une transition interne :
<math>CONF(s) = IMM(s) \cap INF(s)</math>
*Un sous-ensemble des modèles de <math>IMM(s)</math> qui n'ont pas de messages d'entrée :
<math>INT(s) = IMM(s) - INF(s)</math>
*Un sous-ensemble des modèles de <math>IMM(s)</math> recevant un événement en entrée mais n'effectuant de transition interne :
<math>EXT(s) = INF(s) - IMM(s)</math>

La fonction d'avancée du temps se traduit alors :
<math>ta(s) = minimum\{\sigma_d|d \in D\}</math>
Où :
*<math>s \in S</math>
*<math>\sigma_d = ta(s_d) - e_d</math>

La fonction de transition interne résultante est le compromis des quatre
types de transition, transition internes <math>INT(s)</math>, externes <math>EXT(s)</math> et en conflit <math>CONF(s)</math>. Nous définissons : <math>\delta_{int}(s) = (\ldots,(s'_d,e'_d), \ldots)</math> , où :
*<math>(s'_d,e'_d) = (\delta_{int,d}(s_d),0) pour d \in INT(s)</math>
*<math>(s'_d,e'_d) = (\delta_{ext,d}(s_d,e_d + ta(s),x^b_d),0)</math> pour <math>d \in EXT(s)</math>
*<math>(s'_d,e'_d) = (\delta_{con,d}(s_d,x^b_d),0)</math> pour <math>d \in CONF(s)</math>
*<math>(s'_d,e'_d) = (s_d,e_d + ta(s))</math> dans les autres cas

La fonction de transition externe découpe le sac d'événements <math>x^b</math> vers les modèles influencés par l'événement <math>x^b_d</math>. Elle est définie comme :

<math>\delta_{ext}(s,e,x^b) = (\ldots,(s'_d,e'_d), \ldots)</math>
Où :
*<math>0 < e < ta(s)</math>
*<math>(s'_d,e'_d) = (\delta_{ext,d}(s_d,e_d + e, x^b_d),0)</math> pour <math>d \in EIC</math>
*<math>(s'_d,e'_d) = (s_d,e_d + e)(s))</math> dans les autres cas

Enfin, la fonction de conflit est appelée quand un modèle possède un événement interne et au moins un événement externe à la même date. À la différence de DEVS classique qui doit prendre en compte les événements des connexions de l'ensemble <math>EIC</math>, la fonction de conflit, dans un environnement à plat de la hiérarchie, se traduit de la même manière que la fonction de transition interne :
<math>\delta_{inf}(s,x^b) = (\ldots, (s'_d,e'_d),\ldots)</math>
Où :
*<math>(s'_d,e'_d) = (\delta_{int,d}(s_d),0)</math> pour <math>d \in INT(s)</math>
*<math>(s'_d,e'_d) = (\delta_{ext,d}(s_d,e_d + ta(s),x^b_d),0)</math> pour <math>d \in EXT(s)</math>
*<math>(s'_d,e'_d) = (\delta_{con,d}s_d,x^b_d),0)</math> pour <math>d \in CONF(s)</math>
*<math>(s'_d,e'_d) = (s_d,e_d + ta(s))</math> dans les autres cas

==Plates-formes==
* {{lien brisé|consulté le=2013-04-07|url=http://www.ece.arizona.edu/~nutaro/|titre=adevs}}
* [[CD++]]
* [http://www.acims.arizona.edu/SOFTWARE/software.shtml#DevsC++ DEVS/C++]
* [http://www.acims.arizona.edu/SOFTWARE/software.shtml#DEVS/HLA DEVS/HLA]
* [http://www.acims.arizona.edu/SOFTWARE/software.shtml#DEVSJAVA DEVSJAVA]
* {{lien brisé|consulté le=2013-04-07|url=http://sim.kaist.ac.kr/DES/devsim_download.htm|titre=DEVSSim++}}
* [http://cesimo.ing.ula.ve/galatea/Principal.htm GALATEA]
* GK-DEVS
* [http://odevspp.sourceforge.net/ DEVS++]
* [http://xsy-csharp.sourceforge.net/DEVSsharp/ DEVS#]
* [https://pageperso.lis-lab.fr/maamar-el-amine.hamri/fwkdevs.html fwkDEVS]
* [http://spe.univ-corse.fr/filippiweb/ JDEVS]
* PF3S
* [http://moncs.cs.mcgill.ca/MSDL/research/projects/DEVS/ Python DEVS]
* [http://www.swe.uni-linz.ac.at/research/simbeans/simbeans_home.htm SimBeans]
* [http://perchta.fit.vutbr.cz:8000/projekty/10 SmallDEVS]
* [http://www.vle-project.org VLE]
* [https://code.google.com/p/devsimpy/ DEVSimPy]
* [https://www.laas.fr/projects/prodevs/summary ProjectDEVS]

==Références==
<references />
{{Sources à lier|date=avril 2023}}
* [Cellier91] {{Ouvrage|langue=en|auteur1=François E. Cellier|titre=Continuous System Modeling|éditeur=Springer|année=1991|numéro d'édition=1|pages totales=755|isbn=978-0-387-97502-3|lccn=90025286|lire en ligne=https://books.google.com/books?id=c8pODAtyEUAC&printsec=frontcover}}
* [CK06] {{Ouvrage|langue=en|auteurs=François E. Cellier and Ernesto Kofman|titre=Continuous System Simulation|éditeur=Springer|lieu=New York|année=2006|numéro d'édition=1|pages totales=643|isbn=978-0-387-26102-7|lccn=2005936516|lire en ligne=https://books.google.com/books?id=e-bXlpb0zPcC&printsec=frontcover}}
* [Zeigler68] {{Ouvrage|langue=en|auteur1=Bernard Zeigler|titre=On the Feedback Complexity of Automata|sous-titre=Thèse de doctorat|éditeur=University of Michigan|année=1968}}
* [Zeigler76] {{Ouvrage|langue=en|auteur1=Bernard Zeigler|titre=Theory of Modeling and Simulation|éditeur=Wiley Interscience, New York|année=1976|numéro d'édition=1|isbn=}}
* [Zeigler84] {{Ouvrage|langue=en|auteur1=Bernard Zeigler|titre=Multifacetted Modeling and Discrete Event Simulation|éditeur=Academic Press, London; Orlando|année=1984|pages totales=372|isbn=978-0-12-778450-2|lccn=83072316}}
* [Zeigler87] {{article|langue=en|auteur = Bernard Zeigler|année =1987| titre= Hierarchical, modular discrete-event modelling in an object-oriented environment | journal = SIMULATION | volume = 49 | pages=219–230}}
* [ZKP00] {{Ouvrage|langue=en|auteurs=Bernard Zeigler, Tag Gon Kim, Herbert Praehofer|titre=Http : //acims.eas.asu.edu/PUBLICATIONS/HTML/tms2e.html Theory of Modeling and Simulation|éditeur=Academic Press, New York|année=2000|numéro d'édition=2|pages totales=510|isbn=978-0-12-778455-7|lccn=99064635|lire en ligne=https://books.google.com/books?id=REzmYOQmHuQC&printsec=frontcover}}

== Voir aussi ==
* [[QSS]], méthode d'intégration à événements discrets

{{Portail|mathématiques|informatique théorique}}

[[Catégorie:Informatique théorique]]
[[Catégorie:Mathématiques interdisciplinaires]]
[[Catégorie:Méthode informatique]]