Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements