26
CS269: HW/SW Engineering of Embedded Systems, Winter02
Metropolis Project
•Participants:
–UC Berkeley (USA): methodologies, modeling, formal methods
–CMU (USA): formal methods
–Politecnico di Torino (Italy): modeling, formal methods
–Universita Politecnica de Catalunya (Spain): modeling, formal methods
–Cadence Berkeley Labs (USA): methodologies, modeling, formal methods
–Philips (Netherlands): methodologies (multi-media)
–Nokia (USA, Finland): methodologies (wireless communication)
–BWRC (USA): methodologies (wireless communication)
–BMW (USA): methodologies (fault-tolerant automotive controls)
–Intel (USA): methodologies (microprocessors)
–
–UC Riverside?
etropolis