1
CS269:
HW/SW Engineering of Embedded Systems, Winter02
Introduction
Metropolis
framework
- Methodology
- Meta model of
computation
- Language: Meta model
function specification
design constraints
architecture specification
- Formal methods