3012022 Valid deployment of Modelsofthephysics using Validity Frames
- Slides: 11
3/01/2022
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?
What? (oplossing) … Optimizer Properties Interface Model-of-the physics Calibration Accuracy Reductions Solver … WCET Memory 9
Ca pt u re Validity frame Experi mente ocesse s r proce Integr sses ation p rocess 10 rif tion pr Ve Calibra y Usage es Component (re-)usability
Roadmap (evolution 5 j. ) Future focus Current focus 11
Criterion validity
Efficient video classification using fewer frames
A building bent deflects in the way same as a:
Pediatric occupational therapy frames of reference
How many reading frames in dna
Postmodern frame art
Depth and complexity frame
The four frames of kindergarten
Cookies frames and frame busting
Sue palmer skeletons
Brief intervention frames
Bracing connection design
