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...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings of the ninth ACM International Conference on Embedded Software pp. 59 - 68
Main Authors: Bonakdarpour, Borzoo, Bozga, Marius, Quilbeuf, Jean
Format: Conference Proceeding
Language:English
Published: New York, NY, USA ACM 09.10.2011
IEEE
Series:ACM Conferences
Subjects:
Automated transformation
BIP
Bismuth
Committee coordination
Component-based modeling
Computational modeling
Computing methodologies > Distributed computing methodologies > Distributed programming languages
Computing methodologies > Parallel computing methodologies > Parallel programming languages
Concurrent computing
Conflict resolution
Context
Correctness-by-construction
Distributed systems
Educational institutions
Semantics
Software and its engineering > Software creation and management > Designing software
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
Software and its engineering > Software organization and properties > Software system structures > Distributed systems organizing principles > Organizing principles for web applications
Synchronization
Theory of computation > Logic > Programming logic
Theory of computation > Semantics and reasoning > Program reasoning
conflict resolution
committee coordination
bip
automated transformation
distributed systems
component-based modeling
correctness-by-construction
ISBN:1450307140, 9781450307147
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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