search

saeaadl / aadlv2.2

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

Whether Runtime Executive Services Should Be Used by Application Developers #12

Open brlarson opened 7 years ago

brlarson commented 7 years ago

"The following are subprograms may be explicitly called by application source code, or they may be called by an AADL runtime system that is generated from an AADL model."

contradicts

"The second set declares service subprograms that are intended to be called by an AADL runtime executive that can be generated from an AADL model, thus is not expected to be used directly by application component developers."

"may be" and "not expected to be" are not strict, but the text should be consistent.

Suggest "should not be" be used in both cases.

jjhugues commented 3 years ago

From email exchange: AADL runtime services can be divided between services required by the user to implement his software, and "others" required to define some portability layer. We should clarify this list

jjhugues commented 3 years ago

Reflected in the first paragraph of A.9