search

saeaadl / aadlv2.1

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

virtual bus access support #9

Open reteprelief opened 8 years ago

reteprelief commented 8 years ago

Issue: AADL specification does not allow to use BUS and VIRTUAL BUS to describe interactions between ARINC-653 partitions (virtual processor), e.g. throughput of messages between partitions.

Proposed correction: Provide the ability to declare Requires Bus Access and Requires Virtual Bus Access in components of category VIRTUAL PROCESSOR

reteprelief commented 8 years ago

The following component categories can have virtual bus access features: bus, virtual bus, memory, device, processor, virtual processor, system, and abstract. Access connections for virtual buses can be directional or bi-directional.

reteprelief commented 8 years ago

see osate/osate2-core#674 for implementation.