search

saeaadl / aadlv2.1

For managing AADL V2.1 errata
0 stars 0 forks source link

Cycles in binding declarations #4

Open reteprelief opened 8 years ago

reteprelief commented 8 years ago

Currently the standard is silent about possible cycles in binding declarations via properties. This issue primarily exists because virtual buses and virtual processors can be both the source and target of a binding.

reteprelief commented 8 years ago

Added consistency rule to virtual bus and to virtual processor: There must not be cycles in bindings between virtual processors. (same for virtual bus).

buzden commented 8 years ago

Actually, this issue also touches devices and systems which can be also bound cyclically now (at least using processor binding). That's why your solution of adding consistency rules only for virtual buses and virtual processes may be not enough.

By the way, this issue probably touches other properties with intersecting sets of categories of applies to and references, e.g. for Provided_Virtual_Bus_Class or Required_Virtual_Bus_Class property.