Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems

Keyphrases

• Early Design Phases 100%
• Timing Verification 100%
• Verification of Cyber-physical Systems 100%
• Function Architecture 100%
• Co-simulation Framework 100%
• Co-simulation 100%
• System Analysis 50%
• Performance Requirements 50%
• Cyber-physical Systems 50%
• Design Representation 50%
• System Modeling 50%
• System Functionality 50%
• Design Analysis 50%
• Design Space Exploration 50%
• High-level Abstraction 50%
• Time Design 50%
• Contract Theory 50%
• Design Complexity 50%
• Functional Modeling 50%
• Architectural Model 50%
• High-resolution Printing 50%
• Printing Press 50%
• Design Verification 50%
• Electrical Power System 50%
• Formal Models of Computation 50%
• Ptolemy 50%

Computer Science

• Timing Verification 100%
• Cyber Physical Systems 100%
• Architecture Function 100%
• Design-Space Exploration 50%
• Model of Computation 50%
• Early Design Stage 50%
• Printing Press 50%
• Ptolemy 50%
• Interface Mapping 50%
• Case Study 50%
• System Functionality 50%
• Performance Requirement 50%
• Design Complexity 50%
• Design Verification 50%

Material Science

• Functional Modeling 100%