2013 11th IEEE International Conference on Industrial Informatics (INDIN) 2013
DOI: 10.1109/indin.2013.6622868
|View full text |Cite
|
Sign up to set email alerts
|

Composability and compositionality in CAN-based automotive systems based on bus and star topologies

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2014
2014
2018
2018

Publication Types

Select...
1
1

Relationship

1
1

Authors

Journals

citations
Cited by 2 publications
(2 citation statements)
references
References 17 publications
0
2
0
Order By: Relevance
“…We ask whether this large and complex system can be usefully decomposed into smaller, more tractable subsystems, thereby reducing the search space of line switching. Here, we refer the ease of building a system out of subsystems as composability, and the ease of validation of system properties by using the related subsystems as composationality [13]. Shuai A transmission network can be modeled as a graph G = (V, E) such each node in V is either a substation bus, or simply a bus connecting several transmission lines.…”
Section: Composability and Compositionalitymentioning
confidence: 99%
“…We ask whether this large and complex system can be usefully decomposed into smaller, more tractable subsystems, thereby reducing the search space of line switching. Here, we refer the ease of building a system out of subsystems as composability, and the ease of validation of system properties by using the related subsystems as composationality [13]. Shuai A transmission network can be modeled as a graph G = (V, E) such each node in V is either a substation bus, or simply a bus connecting several transmission lines.…”
Section: Composability and Compositionalitymentioning
confidence: 99%
“…Selective multicasting forwards a message to nodes interested in that particular message. On one hand this allows to use the existing bandwidth more efficiently and on the other hand this separation increases composability (see Kammerer et al (2013)). • Identifier validation and translation: The router checks for every CAN message that arrives at a CIS, if its Identifier (ID) is in a (re)configurable set of allowed IDs.…”
Section: Fault-tolerant Can Routermentioning
confidence: 99%