Operational SoS Process Models & Specification of Properties

Documentation of the modelling for the safe implementation of mixedcriticality applications in SoSs including the identification of those safetycritical components that require realtime attestation and verification coupled with the detailed specification of the attestation properties of interest