search

KhronosGroup / KSCAF_DocRequirements

Khronos Safety Critical Advisory Forum’s minimum requirements for developing a safety critical technology specification.
3 stars 1 forks source link

Parallel execution of threads: conformance testing shall be discussed #32

Open bnaodovic opened 6 years ago

bnaodovic commented 6 years ago

Current conformance tests for API implementations do not mention verification of requirements for parallel execution of threads. Since proven absence of thread-related issues is crucial in the safety environment, some form of this verification should be part of conformance process in the safety environment. This can be done as simply as making it mandatory for implementers to include API’s thread-related requirements in their safety plan. An alternative would be to request formal-verification results from implementers before conformance would be approved. Examples of this type of verification in industry can be found on the web site spinroot.com.

For reference, general issue "Parallel execution of threads" is defined as issue #29.

irudkin commented 6 years ago

The same designers of the SC API should be required to write test specifications to show absence of thread-related issues.