Memory -- Runtime Verification of Component-Based Embedded Software -- Model-Based