Embedded Systems Requirements

• Write/Generate
• Analysis and Partitioning