Modeling AADL Data Communication with BIP

Authors:
Lei Pi;Jean-Paul Bodeveix;Mamoun Filali
Affiliations:
IRIT - University of Toulouse, Toulouse, F-31062;IRIT - University of Toulouse, Toulouse, F-31062;IRIT - University of Toulouse, Toulouse, F-31062
Venue:
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Year:
2009

Citing 6
Cited 1

Timed Transition Systems

Proceedings of the Real-Time: Theory in Practice, REX Workshop
Modeling Heterogeneous Real-time Components in BIP

SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
The AADL behaviour annex -- experiments and roadmap

ICECCS '07 Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems
Efficient Embedded Runtime Systems through Port Communication Optimization

ICECCS '08 Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems
Compositional Verification for Component-Based Systems and Application

ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Towards a formal semantics for the AADL behavior annex

Proceedings of the Conference on Design, Automation and Test in Europe

Event B Development of a Synchronous AADL Scheduler

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents translation schemas for some constructs of the Architecture Analysis & Design Language (AADL) in the formal language BIP(Behavior, Interaction, Priority). We focus here on deterministic data communications and show how BIP can support them. BIP provides a language and a theory for incremental composition of heterogeneous components. As a full-size exercise, we deal here with the modeling of immediate and delayed data communications supporting undersampling and oversampling of AADL.