System Modeling and Design for Smart Devices