Modeling Heterogeneous Real-time Components in BIP
Citations
[...]
7,392 citations
Cites methods from "Modeling Heterogeneous Real-time Co..."
...We need theory, methods, and tools for modeling complex heterogeneous systems [2]....
[...]
278 citations
Cites background from "Modeling Heterogeneous Real-time Co..."
...Interactions, which comprise the following characteristics: a. Interaction style, which describes the main underlying architectural style used. b. Communication type, which details if the communication used is synchronous and/or asynchronous....
[...]
200 citations
Cites background from "Modeling Heterogeneous Real-time Co..."
...Several authors advocate unified MoCs as a binding agent for heterogeneous models [13, 44, 20]....
[...]
163 citations
Cites methods from "Modeling Heterogeneous Real-time Co..."
...Some of them are the Rubus component model [2], Prediction-Enabled Component Technology (PECT) [10], AUTOSAR [3], Koala [9], the Robocop project [8], and BIP [4]....
[...]
162 citations
Cites methods from "Modeling Heterogeneous Real-time Co..."
...The BIP toolset includes an editor and a compiler for generating, from BIP programs, C+ code executable on a dedicated platform [ 6 ], [10]....
[...]
...4T HE ALGEBRA OF CONNECTORS We provide an algebraic formalization of the concept of connector, supported by the BIP language [ 6 ]....
[...]
...It formalizes mechanismsandconceptsthathavebeenimplementedinthe Behavior-Interaction-Priority (BIP) component framework developed at VERIMAG [ 6 ], [7]....
[...]
References
2,091 citations
"Modeling Heterogeneous Real-time Co..." refers background in this paper
...The application code running on a given platform, however, is a dynamic system that can be modeled as a timed or hybrid automaton [3]....
[...]
1,146 citations
"Modeling Heterogeneous Real-time Co..." refers background in this paper
...The BIP framework shares features with existing ones for heterogeneous components, such as [5, 8, 6, 4]....
[...]
..., in Ptolemy [8], for a given model of computation, only particular types of channels can be used....
[...]
...Ptolemy was the first tool to support this by distinguishing between behavior, channels, and directors....
[...]
...Unified frameworks encompassing heterogeneity in systems design have been proposed in [5, 8, 6, 4]....
[...]
...This is not the case for other formalisms e.g., in Ptolemy [8], for a given model of computation, only particular types of channels can be used....
[...]
549 citations
"Modeling Heterogeneous Real-time Co..." refers background in this paper
...The BIP framework shares features with existing ones for heterogeneous components, such as [5, 8, 6, 4]....
[...]
...Unified frameworks encompassing heterogeneity in systems design have been proposed in [5, 8, 6, 4]....
[...]
358 citations
246 citations
"Modeling Heterogeneous Real-time Co..." refers background or methods in this paper
...Following results in [11], we introduce a typing mechanism to specify the feasible interactions of a connector γ, in particular to express the following two basic modes of synchronization:...
[...]
...The characterization of such transformations can provide (sufficient) conditions for correctness by constructions such as compositionality and composability results for deadlock-freedom [11]....
[...]
...Parameters are used to define new interactions as well as new priority rules between the composed components [11, 13]....
[...]