Matches in SemOpenAlex for { <https://semopenalex.org/work/W576630148> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W576630148 abstract "This thesis is concerned with the modeling and the analysis of distributedreal-time systems. In distributed systems, components evolve partlyindependently: concurrent actions may be performed in any order, withoutinfluencing each other and the state reached after these actions does notdepends on the order of execution. The time constraints in distributed real-timesystems create complex dependencies between the components and the events thatoccur. So far, distributed real-time systems have not been deeply studied, andin particular the distributed aspect of these systems is often left aside. Thisthesis explores distributed real-time systems. Our work on distributed real-timesystems is based on two formalisms: time Petri nets and networks of timedautomata, and is divided into two parts.In the first part, we highlight the differences between centralized anddistributed timed systems. We compare the main formalisms and their extensions,with a novel approach that focuses on the preservation of concurrency. Inparticular, we show how to translate a time Petri net into a network of timedautomata with the same distributed behavior. We then study a concurrency relatedproblem: shared clocks in networks of timed automata can be problematic when oneconsiders the implementation of a model on a multi-core architecture. We showhow to avoid shared clocks while preserving the distributed behavior, when thisis possible.In the second part, we focus on formalizing the dependencies between events inpartial order representations of the executions of Petri nets and time Petrinets. Occurrence nets is one of these partial order representations, and theirstructure directly provides the causality, conflict and concurrency relationsbetween events. However, we show that, even in the untimed case, some logicaldependencies between event occurrences are not directly described by thesestructural relations. After having formalized these logical dependencies, wesolve the following synthesis problem: from a formula that describes a set ofruns, we build an associated occurrence net. Then we study the logicalrelations in a simplified timed setting and show that time creates complexdependencies between event occurrences. These dependencies can be used to definea canonical unfolding, for this particular timed setting." @default.
- W576630148 created "2016-06-24" @default.
- W576630148 creator A5043658351 @default.
- W576630148 date "2012-12-13" @default.
- W576630148 modified "2023-10-18" @default.
- W576630148 title "Study of concurrency in real-time distributed systems" @default.
- W576630148 cites W2137467159 @default.
- W576630148 cites W3023424425 @default.
- W576630148 hasPublicationYear "2012" @default.
- W576630148 type Work @default.
- W576630148 sameAs 576630148 @default.
- W576630148 citedByCount "0" @default.
- W576630148 crossrefType "dissertation" @default.
- W576630148 hasAuthorship W576630148A5043658351 @default.
- W576630148 hasConcept C120314980 @default.
- W576630148 hasConcept C130120984 @default.
- W576630148 hasConcept C171018156 @default.
- W576630148 hasConcept C193702766 @default.
- W576630148 hasConcept C199360897 @default.
- W576630148 hasConcept C208087996 @default.
- W576630148 hasConcept C2524010 @default.
- W576630148 hasConcept C2775941552 @default.
- W576630148 hasConcept C33923547 @default.
- W576630148 hasConcept C38677869 @default.
- W576630148 hasConcept C41008148 @default.
- W576630148 hasConcept C56348326 @default.
- W576630148 hasConcept C75949130 @default.
- W576630148 hasConcept C80444323 @default.
- W576630148 hasConcept C84511453 @default.
- W576630148 hasConcept C86803240 @default.
- W576630148 hasConcept C89423630 @default.
- W576630148 hasConceptScore W576630148C120314980 @default.
- W576630148 hasConceptScore W576630148C130120984 @default.
- W576630148 hasConceptScore W576630148C171018156 @default.
- W576630148 hasConceptScore W576630148C193702766 @default.
- W576630148 hasConceptScore W576630148C199360897 @default.
- W576630148 hasConceptScore W576630148C208087996 @default.
- W576630148 hasConceptScore W576630148C2524010 @default.
- W576630148 hasConceptScore W576630148C2775941552 @default.
- W576630148 hasConceptScore W576630148C33923547 @default.
- W576630148 hasConceptScore W576630148C38677869 @default.
- W576630148 hasConceptScore W576630148C41008148 @default.
- W576630148 hasConceptScore W576630148C56348326 @default.
- W576630148 hasConceptScore W576630148C75949130 @default.
- W576630148 hasConceptScore W576630148C80444323 @default.
- W576630148 hasConceptScore W576630148C84511453 @default.
- W576630148 hasConceptScore W576630148C86803240 @default.
- W576630148 hasConceptScore W576630148C89423630 @default.
- W576630148 hasLocation W5766301481 @default.
- W576630148 hasOpenAccess W576630148 @default.
- W576630148 hasPrimaryLocation W5766301481 @default.
- W576630148 hasRelatedWork W1488218540 @default.
- W576630148 hasRelatedWork W1489220439 @default.
- W576630148 hasRelatedWork W1495170383 @default.
- W576630148 hasRelatedWork W152523404 @default.
- W576630148 hasRelatedWork W1596935793 @default.
- W576630148 hasRelatedWork W1607281498 @default.
- W576630148 hasRelatedWork W1659060819 @default.
- W576630148 hasRelatedWork W1793691888 @default.
- W576630148 hasRelatedWork W1796174165 @default.
- W576630148 hasRelatedWork W1889014638 @default.
- W576630148 hasRelatedWork W1977678422 @default.
- W576630148 hasRelatedWork W2011694130 @default.
- W576630148 hasRelatedWork W2024356058 @default.
- W576630148 hasRelatedWork W2042600536 @default.
- W576630148 hasRelatedWork W2119107183 @default.
- W576630148 hasRelatedWork W2144814330 @default.
- W576630148 hasRelatedWork W2151277984 @default.
- W576630148 hasRelatedWork W2158100094 @default.
- W576630148 hasRelatedWork W2584849835 @default.
- W576630148 hasRelatedWork W2730096359 @default.
- W576630148 isParatext "false" @default.
- W576630148 isRetracted "false" @default.
- W576630148 magId "576630148" @default.
- W576630148 workType "dissertation" @default.