saeaadl / aadlv2.2

SAE AADL core language, version 2.2
1 stars 0 forks source link

*_swap_execution_time description inconsistency #9

Closed buzden closed 7 years ago

buzden commented 7 years ago

process_swap_execution_time and thread_swap_execution_time properties are in standard properties sections both for processors and virtual processors (sections 6.1 and 6.2 respectively). But definition of these properties at A.3(3) contain only processor in the applies to clause. These two appearings must be consistent.

reteprelief commented 7 years ago

Add "virtual processor" to the applies to of the definition of both properties. Also add it to the "implementation" i.e., the definition in OSATE.