FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W78879268> ?p ?o ?g. }

• W78879268 abstract "Une idee centrale en ingenierie des systemes est de construire les systemes complexes par assemblage de composants. Chaque composant a ses propres caracteristiques, suivant differents points de vue, chacun mettant en evidence differentes dimensions d'un systeme. Un probleme central est de definir le sens la composition de composants heterogenes afin d'assurer leur interoperabilite correcte. Une source fondamentale d'heterogeneite est la composition de sous-systemes qui ont des differentes semantiques d'execution et d' interaction. A un extreme du spectre semantique on trouve des composants parfaitement synchronises par une horloge globale, qui interagissent par transactions atomiques. A l'autre extreme, on a des composants completement asynchrones, qui s'executent a des vitesses independantes et interagissent nonatomiquement. Entre ces deux extremes, il existe une variete de modeles intermediaires (par exemple, les modeles globalement asynchrones et localement synchrones). Dans ce travail, on etudie la combinaison des systemes synchrones et asynchrones. A ce fin, on utilise BIP (Behavior-Interaction-Priority), un cadre general a base de composants permettant la conception rigoureuse de systemes. On definit une extension de BIP, appelee BIP synchrone, destine a modeliser les systemes flot de donnees synchrones. Les pas d'execution sont decrites par des reseaux de Petri acycliquemunis de donnees et des priorites. Ces reseaux de Petri sont utilises pour modeliser des flux concurrents de calcul. Les priorites permettent d'assurer la terminaison de chaque pas d'execution. Nous etudions une classe des systemes synchrones ``well-triggered'' qui sont sans blocage par construction et le calcul de chaque pas est confluent. Dans cette classe, le comportement des composants est modelise par des `graphes de flux modaux''. Ce sont des graphes acycliques representant trois differents types de dependances entre deux evenements p et q: forte dependance (p doit suivre q), dependance faible (p peut suivre q) et dependance conditionnelle (si p et q se produisent alors p doit suivre q). On propose une transformation de modeles LUSTRE et MATLAB/Simulink discret a temps discret vers des systemes synchrones ``well-triggered''. Ces transformations sont modulaires et explicitent les connexions entre composants sous forme de flux de donnees ainsi que leur synchronisation en utilisant des horloges. Cela permet d'integrer des modeles synchrones dans les modeles BIP heterogenes. On peut ensuite utiliser la validation et l'implantation automatique deja disponible pour BIP. Ces deux traductions sont actuellement implementees et des resultats experimentaux sont fournis. Pour les modeles BIP synchrones nous parvenons a generer du code efficace. Nous proposons deux methodes: une implementation sequentielle et une implementation distribues. L'implementation sequentielle consiste en une boucle infinie. L'implementation distribuee transforme les graphes de flux modaux vers une classe particulieere de reseaux de Petri, que l'on peut transformer en reseaux de processus de Kahn. Enfin, on etudie la theorie de la conception de modeeles insensibles a la latence (latency-insensitive design, LID) qui traite le probleme de latence des interconnexionsdans les systemes synchrones. En utilisant la conception LID, les systemes synchrones peuvent etre «desynchronises» en des reseaux de processus synchrones qui peuvent fonctionner a plus haute frequence. Nous proposons un modele permettant de construire des modeles insensibles a la latence en BIP synchrone, en representant les mecanismes specifiques d'interconnexion par des composants BIP synchrone." @default.
• W78879268 created "2016-06-24" @default.
• W78879268 creator A5078059490 @default.
• W78879268 date "2011-06-21" @default.
• W78879268 modified "2023-09-23" @default.
• W78879268 title "Modélisation des systèmes synchrones en BIP" @default.
• W78879268 cites W1516826584 @default.
• W78879268 cites W1539123944 @default.
• W78879268 cites W1553693026 @default.
• W78879268 cites W1558483585 @default.
• W78879268 cites W1597755753 @default.
• W78879268 cites W1597824249 @default.
• W78879268 cites W1608626996 @default.
• W78879268 cites W1959890433 @default.
• W78879268 cites W1964587130 @default.
• W78879268 cites W1978955051 @default.
• W78879268 cites W1993742654 @default.
• W78879268 cites W1999767642 @default.
• W78879268 cites W2007527439 @default.
• W78879268 cites W2018779008 @default.
• W78879268 cites W2032758175 @default.
• W78879268 cites W2045740884 @default.
• W78879268 cites W2055295051 @default.
• W78879268 cites W2061616795 @default.
• W78879268 cites W2080136257 @default.
• W78879268 cites W2084638680 @default.
• W78879268 cites W2084772005 @default.
• W78879268 cites W2098346263 @default.
• W78879268 cites W2099529102 @default.
• W78879268 cites W2100500718 @default.
• W78879268 cites W2107558091 @default.
• W78879268 cites W2108085346 @default.
• W78879268 cites W2110699536 @default.
• W78879268 cites W2115803389 @default.
• W78879268 cites W2117120804 @default.
• W78879268 cites W2120383212 @default.
• W78879268 cites W2133038101 @default.
• W78879268 cites W2149377475 @default.
• W78879268 cites W2157341056 @default.
• W78879268 cites W2159542925 @default.
• W78879268 cites W2159773709 @default.
• W78879268 cites W2160566592 @default.
• W78879268 cites W2169180789 @default.
• W78879268 cites W2170064878 @default.
• W78879268 cites W2187864155 @default.
• W78879268 cites W2262960079 @default.
• W78879268 cites W2537902178 @default.
• W78879268 cites W2623132145 @default.
• W78879268 cites W2678984351 @default.
• W78879268 cites W2913242791 @default.
• W78879268 cites W3163904326 @default.
• W78879268 cites W3184710042 @default.
• W78879268 cites W36183573 @default.
• W78879268 cites W641543466 @default.
• W78879268 cites W7495751 @default.
• W78879268 cites W2471720529 @default.
• W78879268 cites W2585473670 @default.
• W78879268 hasPublicationYear "2011" @default.
• W78879268 type Work @default.
• W78879268 sameAs 78879268 @default.
• W78879268 citedByCount "0" @default.
• W78879268 crossrefType "dissertation" @default.
• W78879268 hasAuthorship W78879268A5078059490 @default.
• W78879268 hasConcept C121332964 @default.
• W78879268 hasConcept C138885662 @default.
• W78879268 hasConcept C15708023 @default.
• W78879268 hasConceptScore W78879268C121332964 @default.
• W78879268 hasConceptScore W78879268C138885662 @default.
• W78879268 hasConceptScore W78879268C15708023 @default.
• W78879268 hasOpenAccess W78879268 @default.
• W78879268 isParatext "false" @default.
• W78879268 isRetracted "false" @default.
• W78879268 magId "78879268" @default.
• W78879268 workType "dissertation" @default.