19
CS269: HW/SW Engineering of Embedded Systems, Winter02
Metropolis Framework
Design
Constraints
Function
Specification
Architecture
Specification
Metropolis Infrastructure
 
• Design methodology
• Meta model of computation
• Base tools
   - Design imports
   - Meta model compiler
   - Simulation
Metropolis: Synthesis/Refinement
• Compile-time scheduling of concurrency
• Communication-driven hardware synthesis
• Protocol interface generation
Metropolis: Analysis/Verification
• Static timing analysis of reactive systems
• Invariant analysis of sequential programs
• Refinement verification
• Formal verification of embedded software