Valid deployment of Models-of-the-physics using Validity Frames Bert Van Acker
Why? (What is the need) Pushing the boundaries of Cyber-physical systems 3
Why? (What is the need) Embedded target 4
Why? (What is the need) Utopia Reality Embedded target
Why? (What is the need) High-fidelity model topia 6 Reductions/approximations Reality or Constraint system -> [MEMmin, MEMmax] -> [COMPmin, COMPmax] -> Hard real-time! -> … or Or …
Why? (What is the need) High-fidelity model Reductions/approximations topia 7 Reality Discretization/fixed-pointing/… Constraint system -> [MEMmin, MEMmax] -> [COMPmin, COMPmax] -> Hard real-time! -> …
Why? (What is the need) High-fidelity model Reductions/approximations topia 8 Properties? Valid range? Verify? Reality Discretization/fixed-pointing/… Constraint system -> [MEMmin, MEMmax] -> [COMPmin, COMPmax] -> Hard real-time! -> … Properties? Valid range? Verify?