Automated distributed implementation of component-based models with priorities
In this paper, we introduce a novel model-based approach for constructing correct distributed implementation of component-based models constrained by priorities. We argue that model-based methods are especially of interest in the context of distributed embedded system due to their inherent complexit...
Uloženo v:
| Vydáno v: | Proceedings of the ninth ACM International Conference on Embedded Software s. 59 - 68 |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Konferenční příspěvek |
| Jazyk: | angličtina |
| Vydáno: |
New York, NY, USA
ACM
09.10.2011
IEEE |
| Edice: | ACM Conferences |
| Témata: |
Software and its engineering
> Software creation and management
> Software development techniques
> Reusability
Software and its engineering
> Software notations and tools
> General programming languages
> Language types
> Distributed programming languages
Software and its engineering
> Software notations and tools
> General programming languages
> Language types
> Parallel programming languages
Software and its engineering
> Software organization and properties
> Contextual software domains
> Operating systems
|
| ISBN: | 1450307140, 9781450307147 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Shrnutí: | In this paper, we introduce a novel model-based approach for constructing correct distributed implementation of component-based models constrained by priorities. We argue that model-based methods are especially of interest in the context of distributed embedded system due to their inherent complexity. Our three-phase method's input is a model specified in terms of a set of behavioural components that interact through a set of high-level synchronization primitives (e.g., rendezvous and broadcasts) and priority rules for scheduling purposes. Our technique, first, transforms the input model into a model that has no priorities. Then, it transforms the deprioritized model into another model that resolves distributed conflicts by incorporating a solution to the committee coordination problem. Finally, it generates distributed code using asynchronous point-to-point send/receive primitives. All transformations preserve the properties of their input model by ensuring observational equivalence. The transformations are implemented and our experiments validate their effectiveness. |
|---|---|
| ISBN: | 1450307140 9781450307147 |
| DOI: | 10.1145/2038642.2038654 |